Logiikka I

Kurssikoodi

57274

Tyyppi

Aineopintoja.

Kurssisivut

Logiikka I, kevät 2009
Logiikka I, kevät 2010
Logiikka I, kevät 2011
Logiikka I, kevät 2012
Logic I, spring 2011

Sisältö

Ydinaines

Propositio- ja predikaattilogiikka
Totuusmääritelmät (erityisesti Tarskin totuusmääritelmä)
Formaalin todistuksen käsite (luonnollinen päättely)
Semanttiset puut
Propositiologiikan täydellisyyslause
Predikaattilogiikan täydellisyyslause erikoistapauksessa (relationaalinen kieli, ei identiteettiä)

Täydentävä tietous

Perustietoja määriteltävyydestä

Erityistietämys

Predikaattilogiikan laajennukset
Ei-klassinen logiikka

Laajuus

10 op.

Esitietovaatimukset

Esitietoja ei tarvita