Předmět Matematická logika (KMA / MALOG)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / MALOG - Matematická logika, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Úvod do logiky: typy úsudků, dedukce, formalizace.2. Sémantika klasické výrokové logiky: výrokové spojky, pravdivost, splnitelnost, vyplývání.3. Axiomatika klasické výrokové logiky: axiomy a odvozovací pravidla, dokazatelnost, kalkuly.4. Vlastnosti klasické výrokové logiky: úplnost, rozhodnutelnost.5. Neklasické logiky: příklady, význam, vztah ke klasické logice.6. Klasická predikátová logika: syntax, sémantika, axiomatizace.7. Formální teorie: bezespornost, modely, úplnost.8. Teorie typů: syntax, sémantika, aplikace.9. Diskuse hlavních výsledků matematické logiky: Goedelovy věty, axiomatizovatelnost, definovatelnost, rozhodnutelnost, složitost.10. Aplikace matematické logiky: základy matematiky a informatiky, teorie rekurze a složitosti, automatické dokazování.
Získané způsobilosti
zná základní pojmy a formální aparát klasické výrokové a predikátové logikyzná význam základních výsledků matematické logikyzískává schopnost studia a orientace v odpovídající odborné literatuře o matematické logiceovládá základní postupy formálního dokazování v logice
Literatura
Štěpánek, P. Matematická logika. skriptum MFF UK Praha, 1982. Novák, V., Dvořák A.. Matematická logika. učební text OU, Ostrava, 2006. Sochor, A. Klasická matematická logika. Karolinum, Praha, 2001. Švejdar, V. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. ISBN 80-200-1005-X.Shoenfield, A. S. Mathematical Logic. Addison Wesley, MA, 1967.
Požadavky
Zkouška kombinovaná. Podmínka pro zkoušku je napsat 1 písemku, body budou připočteny ve prospěch ústní zkoušky. Výborně - student předmětu rozumí, zná všechny definice a věty včetně důkazů. Velmi dobře - student předmětu rozumí, zná všechny definice a věty, zná hlavní myšlenky jejich důkazů. Dobře - student předmětu rozumí, zná hlavní definice a věty.Hodnocení probíhá v souladu s ustanoveními článku 31 až 33 Studijního a zkušebního řádu OU.
Garant
prof. Ing. Vilém Novák, DrSc.
Vyučující
Mgr. Libor Běhounek, Ph.D.doc. Ing. Antonín Dvořák, Ph.D.prof. Ing. Vilém Novák, DrSc.Mgr. Libor Běhounek, Ph.D.doc. Ing. Antonín Dvořák, Ph.D.