Předmět Vyčíslitelnost a matematická logika (01VYML)
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 01VYML - Vyčíslitelnost a matematická logika, Fakulta jaderná a fyzikálně inženýrská, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Znalosti:Teorie rekurze jakožto matematické precizace intuitivního pojmu algoritmu a s používanými finitními a konstruktivními metodami. Základní výsledky klasické logiky. Schopnosti:Orientace ve specifické oblasti finitního popisu funkcí a množin a v klasické výrokové a predikátové logice.
Literatura
Povinná literatura:[1] J. Mareš: Teorie vyčíslitelnosti. Skripta. Vydavatelství ČVUT, Praha 2008.[2] J. Mareš: Matematická logika. Skripta. Vydavatelství ČVUT, Praha 2009.Doporučená literatura:[3] A. Sochor: Klasická matematická logika. Karolinum, Praha 2001.[4] V. Švejdar: Logika - neúplnost, složitost a nutnost. Academia, Praha 2002.[5] Z. Manna: Matematická teorie programů. SNTL, Praha 1981.
Garant
Jan Mareš
Vyučující
Jan Mareš