Nr.
|
Kuupäev
|
Teemad
|
Ülesanded
|
1.
|
31.VIII
|
Lausearvutuse
põhimõisted. Valemite samaväärsus.
|
|
2.
|
7.IX
|
Järeldumine lausearvutuses.
Normaalkujud.
|
1.-3.
|
3.
|
14.IX
|
Indiviidid ja predikaadid.
Tõesuspiirkonnad. Kvantorid.
|
4.
|
4.
|
21.IX
|
Esimest järku keeled.
Interpretatsioonid.
|
|
5.
|
28.IX
|
Predikaatloogika
põhiseadused.
|
|
6.
|
5.X
|
Predikaatloogika
põhiseadused.
|
|
7.
|
12.X
|
Lausearvutuse aksioomid
|
|
8.
|
19.X
|
Kontrolltöö nr. 1:
Predikaatloogika
|
|
9.
|
26.X
|
Kontrolltöö
analüüs. Lausearvutuse korrektsus,
mittevasturääkivus.
|
|
10.
|
2.XI
|
Lausearvutuse täielikkuse
teoreemi põhilemma.
Predikaatarvutuse reeglid.
|
|
11.
|
9.XI
|
Lausearvutuse
täielikkus. Predikaatarvutuse korrektsus.
|
|
12.
|
16.XI
|
Võrdusega
predikaatarvutus. I j. aksiomaatilised teoooriad.
Formaalne aritmeetika.
|
|
13.
|
23.XI
|
Turingi masinad . Arvutatavad
funktsioonid.
|
|
14.
|
30.XI
|
Konstruktsioonid Turingi
masinatega.
|
|
15.
|
7.XII
|
TM numeratsioon.
Mittearvutuatavus.
|
|
16.
|
14.XII
|
Mittearvutatavus ja
programmeerimine.
|
|