Johann A. Makowsky

Sets and Logic for CS: How to teach what is useful

VCLA hosted a RiSE talk by Johann A. Makowsky on October 9, 2014.

DATE:Thursday, October 9, 2014
VENUE:Seminar room Gödel, (Favoritenstrasse 9-11, ground floor)


Many courses of Sets and/or Logic teach the old narrative of paradoxes, compactness, (in)completeness of logical systems etc. In this talk we examine what we think should be the topics of Sets and Logics so as to form a basis and toolbox for other courses such as automata and formal languages, databases, verification, formal methods, AI, etc.

Comments are closed.