Předmět Cvičení z logiky (ALG110005)
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 ALG110005 - Cvičení z logiky, Filozofická fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
Probíraná témata:1. Logické paradoxy, příklady matematických teorií, rozdíl mezi jazykem a metajazykem, Booleova algebra, typy důkazů, polská prefixová notace2. Výroková logikaSyntax - výrokové proměnné, logické spojky, formule a jejich vlastnostiSémantika - tabulky pravdivostních hodnot, vyplývání z množiny předpokladů, disjunktivní a konjunktivní normální formy, pojmy tautologie a kontradikceKalkuly - hilbertovský, gentzenovský a přirozené dedukcePoužití vět o dedukci, korektnosti, úplnosti, kompaktnosti Vlastnosti sporných množin a maximálních bezesporných množin3. Predikátová logika (letní semestr)Syntax - termy, formule, volné a vázané proměnné, substituceSémantika - vyplývání, normální formy, prenexacePravidla pro kvantifikátoryKalkuly - hilbertovský, gentzenovský, přirozená dedukcePoužití vět o dedukci, korektnosti, úplnosti, kompaktnostiZákladní literatura:Švejdar, Logika: neúplnost, složitost a nutnost, Academia, Praha, 2002.van Dalen, Logic and Structure, Springer, 1994.Další literatura:Sochor, Klasická matematická logika, Karolinum, Praha 2001.
Garant
Mgr. Marta Bílková, Ph.D.Mgr. Adam PřenosilBc. Tomáš Lávička
Vyučující
Bc. Tomáš Lávička