Předmět Teorie formálních systémů (TFS)
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 TFS - Teorie formálních systémů, Vysoká škola báňská - Technická univerzita Ostrava (VŠB-TU).
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 je seznámit studenty s pojmovým aparátem a metodami predikátové logiky 1.řádu a zejména pak s důkazovýmikalkuly a teoriemi, které logiku 1.řádu obsahují jako svou nedílnou část. Tento aparát a metody jsou běžně používányv různých oblastech informatiky jako formalní specifikace informačních systémů, automatizace dokazování a vyvozování,dotazovací jazyky, deklarativní programování, umělá inteligence a mnoha dalších oborech.
Osnova
Důkazové kalkuly; Přirozená dedukce;Hilbertův kalkul;Axiomatická teorie relací; uspořádání a ekvivalenceAxiomatická teorie funkcí; zobrazení, isomorfismy a homomorfismyAlgebraické teorie; grupy, okruhy, tělesaTeorie svazů; Teorie aritmetiky, Gödelovy výsledky o neúplnosti
Literatura
M. Duží: Matematická logika. Skripta VŠB v elektronické podobě: http://www.cs.vsb.cz/duzi/Matlogika.pdfA.Thayse et al.: From standard logic to logic programming /Introducing a logic based approach to arificial intelligence/.John Wiley and Sons, 1989 Kolář, J.-Štěpánková¨, O -Chytil, M.: Logika, algebra, grafy. Praha, SNTL 1989. Lukasová, A.: Logické základy umělé inteligence, skripta PF Ostravské univerzity, 1999
Požadavky
Žádné
Garant
doc. RNDr. Marie Duží, CSc.
Vyučující
doc. RNDr. Marie Duží, CSc.