Matemaatilise loogika elemendid
rakendusinformaatika I kursusele 1999 sügissemestril

Aine kood:         MTAT.05.001
Eeldusained:      -
Aine maht:         3 ap.
Loengud            2 t. nädalas    R.Prank            T 12.15-14   Van. 108
Praktikumid      2 t. nädalas    O.Kislitsina     T 14.15-16, K10.15-12, N12.15-14  Van.106
Hindamine:        eksam

Sisu lühikirjeldus
I. Lausearvutus. Põhimõisted: laused, tõeväärtused, tehted, valemid, tõeväärtustabelid.
Samaselt tõesed, kehtestatavad, samaselt väärad valemid. Samaväärsused. Tehete avaldamine teiste kaudu. Normaalkujud.
II. Predikaatarvutus. Predikaadid ja kvantorid. I järku keeled (signatuur). Interpretatsioonid.  Valemi tõesus mudelil. Samaselt tõesus ja loogiline samaväärsus. Predikaatloogika põhisamaväärsused. Tehete ja kvantoritega seotud tõestusvõtted. Näiteid tõestuse konstrueerimisest väite struktuuri järgi.
III. Turingi masinad. Turingi masin. Arvuliste funktsioonide arvutamine Turingi masinal. Näiteid. Turingi masinate numeratsioon.Turingi mõttes mittearvutatavad funktsioonid.

Kirjandus

1. R.Prank. Matemaatiline loogika ja diskreetne matemaatika I - III. TÜ rotaprint, 1978-82.
2. T.Tamme, T.Tammet, R.Prank. Loogika. Tartu Ülikooli Kirjastus, 1997.
3. Matemaatilise loogika elemendid. Kserokoopiatena ja elektrooniliselt jagatav loengukonspekt.
4. R.Palmi loetud kursuse materjalid sügissemestrist 1998.
5. Artiklid matemaatilise loogika kohta Eesti Entsüklopeedias ja Matemaatikaleksikonis.

Töö korraldus, hindamine
Kordamisküsimused  (lõplik variant)
Testide tulemuste tabel  (viimase peatüki resultaate saab esitada kuni 19. detsembrini)
Kontrolltööde tulemuste tabel
Koondtabel (punktid kontrolltööde ja testide eest)
Teated
Negatiivne näide testi tulemuste saatmise kirjast
Eksamite ja konsultatsioonide ajad