Předmět Základy matematické logiky (UMB / 583)
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 UMB / 583 - Základy matematické logiky, Přírodovědecká fakulta, Jihočeská univerzita v Českých Budějovicích (JU).
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
Obsah přednášky:Výroková logika, jazyk a jeho sémantika, pravdivostní ohodnocení formulí, axiomatický systém a odvozovací pravidla.Predikátová logika, jazyk a jeho sémantika, formule, axiomatický systém a odvozovací pravidla.Booleova algebra, vlastnosti booleovských spojek a jejich interpretace.Základní pojmy teorie množin, korespondence mezi množinami, kartézský součin, relace a jejich vlastnosti, zobrazení, uspořádané množiny, ekvivalence a rozklady, mohutnost množin, axiomatický systém.Obsah cvičení:Procvičování probrané látky na příkladech
Literatura
Kolář, J., Štěpánková, O., Chytil, M. : Logika, algebry a grafy, STNL, Praha, 1989. Strach, J. Logika. Brno, 2009. ISBN 978-80-210-5025-9.Štěpánek , P. : Matematická logika, SPN Praha 1982. Švejdar, V. : Logika - neúplnost, složitost a nutnost, Academia, Praha 2002.
Požadavky
Periodicita: v každém akademickém roce.
Garant
RNDr. Ing. Jana Kalová, Ph.D.
Vyučující
RNDr. Ing. Jana Kalová, Ph.D.RNDr. Ing. Jana Kalová, Ph.D.