Matemaatilise loogika elemendid
Kevadsemestril 2000
Aine kood: MTAT.05.001
Eeldusained: -
Aine maht: 3
ap.
Loengud
2 t. nädalas R.Prank
K 8.15-10 Van. 137
Praktikumid 2 t. nädalas
A.Peder T 10.15-12,
K14.15-16 Van.106
R.Prank
R 8.15-10
Van.106
O.Kislitsina N 8.15-10 (vene k.)
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-83.
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 (esialgne
variant)
Testifailid
Testide tulemuste tabel
Kontrolltööde tulemuste tabelid: O.Kislitsina
rühm A.Pederi
rühmad R.Prangi rühm
Predikaatloogika järeltöö tulemused
15. mail
Koondtabel (punktid kontrolltööde ja testide eest)
Teated
Eksamite ja konsultatsioonide ajad