Läsanvisningar

Logik

---

Kursbok

Love Ekenberg & Johan Thorbiörnson, Logikens grunder, Natur och Kultur, 2001.

Boken säljs t ex i Akademibokhandeln i Kista centrum.

Innehåll

Denna kurs introducerar sats- och predikatlogik. De inledande delarna behandlar syntaxen och semantiken för det satslogiska språket. Sedan introduceras begreppen logisk följd, bevisbarhet och härledbarhet. Vi tar upp olika typer av härledningar och visar sambanden mellan dessa. Därefter introducerar vi motsvarande komponenter i predikatlogik. En stor del av kursen fokuserar på hur predikatlogik kan användas för att modellera informationssystem och för att visa egenskaper hos sådana.

Kursen kommer att behandla följande moment:

1. Något om logikens historia
2. Grundläggande syntax för satslogik
3. Semantik för satslogik och logisk följd
4. Härledbarhet och bevisbarhet
5. Resolutionsmetoden, axiomatiska system, semantiska tablåer samt naturlig deduktion i satslogik
6. Grundläggande syntax för predikatlogik
7. Översättningar mellan logik och naturliga språk
8. Några centrala metalogiska resultat
9. Resolution i predikatlogik
10. Logikmodellering och verifiering

Kursen fokuserar på förståelsen och tillämpningen av sats- och predikatlogiker. Dessa presenteras såväl informellt som formellt tillsammans med en redogörelse för viktiga egenskaper hos språken. Förutom semantiska slutledningar presenterar vi olika sätt att utföra härledningar i logik. Den största delen av kursen kommer att koncentreras på att träna studenterna i att modellera system i predikatlogik samt i att utföra logiska härledningar.