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?.
Voorkennis
Caleidoscoop, Wiskundige Structuren
Literatuur
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.
Onderwijsvormen
College en instructie, 4 uur per week.
Toetsing
Schriftelijk tentamen plus huiswerk
Vakcode TUD
WI3607
Links
<table>
<tbody>
<tr>
<td colspan="2"><font color="#810081">Blackboard TUD</font></td></tr>
<tr>
<td colspan="2"><font color="#810081">Course Base TUD</font></td></tr></tbody></table>