FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
Applications of logic	How to teach logic for CS-undergraduate? Step-by-step!
artificial intelligence	My Experience Teaching Logic in Undergraduate AI at NYU}
automated reasoning	Teaching Logic for Computer Science Students: Proof Assistants and Related Tools
C
Calculus	Possible Desiderata for Logic in the CS Curriculum
causality	Logic for Students of Modern Artificial Intelligence
Computability	Logic for Students of Modern Artificial Intelligence
Computer Science	How to be an ethical computer scientist (Joint with Vardi Fest)
Computer Science specialist	How to teach logic for CS-undergraduate? Step-by-step!
computing	Undergraduate Logic Teaching in Computing: Why, What, How?
Constructivity	Possible Desiderata for Logic in the CS Curriculum
curriculum	Whom to teach logic?
D
Discrete mathematics	Introducing Logic by Stealth to Computer Science Students
E
Ethics	How to be an ethical computer scientist (Joint with Vardi Fest)
F
FOL=	Logic for CS Undergraduates: A Sketch
formal methods	Introducing Logic by Stealth to Computer Science Students
Foundations	Why and how to teach logic for CS undergraduates
Foundations of Mathematics	How to teach logic for CS-undergraduate? Step-by-step!
Foundations of Programming	How to teach logic for CS-undergraduate? Step-by-step!
G
Goals	What Should Students of a Course in Logic Know at Its End?
Godel's Completeness Theorem	Position Paper: Mathematical Logic through Python
H
Herbrand Semantics	The Herbrand Manifesto: Thinking Inside the Box
Hybrid AI	Logic for Students of Modern Artificial Intelligence
I
interpretations	Logic for CS Undergraduates: A Sketch
Isabelle Proof Assistant	Teaching Logic for Computer Science Students: Proof Assistants and Related Tools
L
Logic	Possible Desiderata for Logic in the CS Curriculum Undergraduate Logic Teaching in Computing: Why, What, How? The Herbrand Manifesto: Thinking Inside the Box Logic for CS Undergraduates: A Sketch Introducing Logic by Stealth to Computer Science Students Why and how to teach logic for CS undergraduates Teaching Logic for Computer Science Students: Proof Assistants and Related Tools
logic at school	Logic for computer science: starting earlier, at school
logic course	Teaching logic to CS undergraduates
logic curricula	Teaching logic to CS undergraduates
logic for beginners	Teaching Logic
Logic for CS	What Should Students of a Course in Logic Know at Its End?
logic in computer science	Logic for computer science: starting earlier, at school
logic programming	The Herbrand Manifesto: Thinking Inside the Box
M
mathematical logic	My Experience Teaching Logic in Undergraduate AI at NYU} Position Paper: Mathematical Logic through Python Whom to teach logic?
Modern AI	Logic for Students of Modern Artificial Intelligence
N
Natural Deduction	Possible Desiderata for Logic in the CS Curriculum
Nonstandard Logic	Possible Desiderata for Logic in the CS Curriculum
P
pedagogy	Introducing Logic by Stealth to Computer Science Students
Professionalism	How to be an ethical computer scientist (Joint with Vardi Fest)
Python	Position Paper: Mathematical Logic through Python
S
structure	Logic for CS Undergraduates: A Sketch
T
teaching	Undergraduate Logic Teaching in Computing: Why, What, How? What Should Students of a Course in Logic Know at Its End? Whom to teach logic? Why and how to teach logic for CS undergraduates
Teaching Logic	Teaching Logic
teaching support systems for logic	Teaching logic to CS undergraduates
Topics	What Should Students of a Course in Logic Know at Its End?
U
undergraduate	My Experience Teaching Logic in Undergraduate AI at NYU}
undergraduate mathematics	Logic for computer science: starting earlier, at school
W
Wittgenstein	Teaching Logic

Disclaimer | Powered by EasyChair Smart Program