En komplett genomgång av matematisk logik anpassad för högskolestudenter. Från grundläggande propositionslogik till avancerade system som modallogik och automatisk bevisföring.
Grundläggande logiska operatorer, sanningstabeller och logiska ekvivalenser.
De Morgans lagar, distributivitet och andra viktiga logiska ekvivalenser.
Kvantifikatorer, predikat och logisk slutledning i första ordningens logik.
Modus ponens, modus tollens och andra formella slutledningsregler.
Formella bevis med naturlig deduktion och bevisträd.
Booleska funktioner, förenkling av uttryck och digitala kretsar.
Bevistekniker med matematisk induktion och stark induktion.
Rekursiva definitioner och strukturell induktion.
Modaloperatorer för nödvändighet och möjlighet, Kripke-semantik.
Logiska system för kunskapsrepresentation och ontologier.
Konstruktiv logik utan lagen om uteslutet tredje.
Prolog, Horn-klausuler och logikbaserad programmering.
Resolution, tableauxmetoden och automatiserade bevisverktyg.
Verifiering av programkorrekthet med logiska metoder.
