Go to this page on our english site

Matematik III - Logik

  • 7,5 hp

Kursen behandlar sats- och predikatlogik, induktivt definierade mängder, formella språk, substitution, semantik, naturlig deduktion. Systemets sundhet och fullständighet med avseende på semantiken bevisas och tillämpas på olika problem.

Inom kort kommer mer information om utbildningen att finnas på den här sidan. Fram till dess finns informationen på ansvarig institutions egen webbplats.
Hitta fler utbildningar

Vet du vad du vill läsa?

Sök kurser och program

Vad finns att läsa på SU?

Alla våra ämnen