Deze cursus behandelt de elementaire beginselen van de logica en hun relatie met de wiskunde en informatica. Aan bod komen syntax en semantiek van de propositie- en predictatenlogica. De syntax beschrijft de structuur van redeneringen, en de semantiek geeft aan hoe logische formules te interpreteren. Belangrijke resultaten in dit verband zijn: de Compactheidsstelling, de Volledigheidsstelling van G? en de Onvolledigheidsstelling van G?.
Prerequisite
Caleidoscoop, Wiskundige Structuren
Literature
Wordt via Blackboard bekend gemaakt. Vorig jaar was het: Stanley N. Burris, Logic for mathematics and Computer Science, Prentice Hall 1998, ISBN 0-13-285974-2.
Methods of instruction
College en instructie, 4 uur per week.
Examination
Schriftelijk tentamen plus huiswerk
Coursecode TUD
WI3607