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