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