Matematisk Logik


Kursusbeskrivelse

Faglige forudsætninger 
Dette kursus kræver ikke formelt nogle andre kurser men forudsætter at man har arbejdet med matematik tækning før og det kræves derfor at man har gennemført Matematik Intro, Matematiske metoder samt Analyse I før man kan tage dette kursus.

Indhold
I dette kurser arbejder vi med matematisk logik og mere specifikt med første ordens logik. Første ordens logikken er en af de mest basale grundsten i den moderne matematik og ligger til grund for al bevis teknik. I kurset arbejder vi med de følgende emner:

  • De grundlæggende logiske regler.
  • Sandhedstabeller. 
  • Formel logiks bevisførelse.
  • Forskellen på syntax og semantik.
  • Sundhed og fuldstændighed af første ordens logik.

Alle enmner introduceres ved tavleundervisning men meget af kursus er fokuseret på at lære at fører korrekte logiske bevis og der er derfor masser af opgaveregning.

Målsætning
Når kurser er overstået vil eleverne være i stand til at læse, forstå og lave formelle logiske bevise i første ordens logik. De vil have en forståelse på forskellen mellem syntaks og semantik samt sundhed og fuldstændighed.


Forberedelse


Materialer