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.