Předmět Logiky a automaty (KIV / LA)
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 KIV / LA - Logiky a automaty, Fakulta aplikovaných věd, Západočeská univerzita v Plzni (ZČU).
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
1.Konečný automat,redukované chování,událost.2.Nerodeho věta,regulární jazyk.3.Kleeneho věta,analýza a szntéza akceptoru.4.Petriho sítě.5.Generativní a rekurzivní gramatika,Chomského klasifikace jazyků.6.Markovův algoritmus.Turingův stroj,rekurzivní funkce.7.Základy lambda-kalkulu,Fregeho princip,semantika jazyků.8.Hoareova,algebraická,denotativní a operační semantika,aproximační uspořádání.9.Algebraický model datových typů.Kalkul a jeho vlastnosti.10.Výroková logika,testování formulí,úsudek a jeho správnost,rekurzivní úsudek.11.Kalkul výrokové logiky.Predikátová logika 1.řádu,testování formulí,monadické predikátové formule.12.Kalkul predikátové logiky 1.řádu,úsudek a jeho správnost,identita.13.Modální výroková logika,časová logika.
Získané způsobilosti
Student se orientuje v základních pojmech informatiky a výpočetní techniky.
Literatura
Bokr, Josef. Logiky a automaty. Plzeň : Západočeská univerzita, 2003.
Požadavky
Požadavky k zápočtu: fungující zapojení úlohMezní termín pro udělení zápočtu :24.6.2010 do 12:hod.
Garant
Doc. Ing. Josef Bokr, CSc.
Vyučující
Doc. Ing. Josef Bokr, CSc.Doc. Ing. Josef Bokr, CSc.