Matemaatilise loogika elemendid
Kevadsemestril 2001
Aine kood: MTAT.05.001
Eeldusained: -
Aine maht: 3
ap.
Loengud
2 t. nädalas R.Prank
N 12.15-14 Van. 137
Praktikumid 2 t. nädalas
A.Peder
E 8.15-10, R 10.15-12 Van.106
R.Prank
T 10.15-12
Van.106
J.Dubrovskaja E 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)
Testide tulemuste tabel
Kontrolltööde tulemuste tabelid: J.Dubrovskaja
rühmad A.Pederi rühmad R.Prangi
rühm
Teated (Testid
8 ja 9. Predikaatloogika kontrolltöö)
Eksamid