Stockholms universitet
Go to this page on our english site

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.