Matematik III - Logik
Matematik III - Logik ges på engelska och du hittar mer information om kursen på den engelska versionen av denna sida - klicka på det lilla jordklotet till höger om kursnamnet.
Du hittar även den engelska versionen av sidan här
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.