Předmět Matematická logika (BIK-MLO)
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 BIK-MLO - Matematická logika, Fakulta informačních technologií, Č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
Cílem předmětu je ukázat, proč je v matematice užitečné namísto přirozeného jazyka používat formule výrokového a predikátového kalkulu, jakým způsobem se formalizuje pojem pravdivosti a dokazatelnosti a jak se pracuje s axiomatickými systémy. Booleova algebra je předvedena jako příklad matematické teorie a zároveň jako nástroj sloužící popisu číslicových systémů, přitom se rovněž vyloží standardní postupy sloužící minimalizaci vyjádření Booleovských funkcí.
Literatura
M. Demlová, B. Pondělíček: "Matematická logika." ČVUT Praha, 1997.J. Kolář, O. Štěpánková, M. Chytil: "Logika, algebry a grafy." SNTL Praha 1989.V. Švejdar: "Logika - neúplnost, složitost a nutnost." Academia Praha, 2002.A. Sochor: "Klasická matematická logika." Karolinum Praha, 2001.
Požadavky
Předpokládá se schopnost práce s matematickou abstrakcí na úrovni získané středoškolským studiem matematiky.
Garant
Alena Šolcová
Vyučující
Alena Šolcová