Syfte

Kursen skall ge grundläggande kunskaper om den formella logikens metoder och resultat, särskilt de som är viktiga för förståelsen av strukturen hos konstruerade språk och formella system i allmänhet. Stor vikt kommer att läggas vid färdighetsträning i form av problemlösning.

Innehåll

Satslogik satslogikens språk formalisering tautologibegreppet satslogik konsekvens naturlig deduktion Predikatlogik predikatlogikens språk formalisering rudimentär mängdteori modeller logisk sanning och konsekvens naturlig deduktion sambandet mellan logisk konsekvens och deduktion

Undervisning

Undervisningen består av föreläsningar och lektioner med räkneövningar

Examination

Skriftlig tentamen. Inlämningsuppgifter. Som betyg på kursen används något av uttrycken underkänd, godkänd och väl godkänd.