Předmět Matematická logika (KMA / MALXG)
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 / MALXG - 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. Historický vývoj (matematické) logiky, aristotelská logika, vznik moderní matematické logiky.3. Sémantika klasické výrokové logiky: výrokové spojky, pravdivost, splnitelnost, vyplývání.4. Axiomatika klasické výrokové logiky: axiomy a odvozovací pravidla, dokazatelnost, kalkuly.5. Vlastnosti klasické výrokové logiky: úplnost, rozhodnutelnost.6. Neklasické logiky: příklady, význam, vztah ke klasické logice.7. Klasická predikátová logika: syntax, sémantika, axiomatizace.8. Formální teorie: bezespornost, modely, úplnost.9. Diskuse hlavních výsledků klasické matematické logiky: Gödelovy věty, axiomatizovatelnost, definovatelnost, rozhodnutelnost, složitost.10. Aplikace matematické logiky: základy matematiky (a informatiky), syntaktické interpretace, teorie rekurze a složitosti.
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
Novák, V., Dvořák, A. Matematická logika. učební text OU, Ostrava, 2006. Sochor, A. Klasická matematická logika. Karolinum, Praha, 2001. Peregrin, J. Logika a logiky. Praha, 2004. ŠVEJDAR, V. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. Academia, Praha, 2002.
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í
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.