460-6002/02 – Teorie formálních systémů (TFS)

Garantující katedraKatedra informatikyKredity10
Garant předmětuprof. RNDr. Marie Duží, CSc.Garant verze předmětuprof. RNDr. Marie Duží, CSc.
Úroveň studiapostgraduálníPovinnostpovinně volitelný typu B
RočníkSemestrzimní + letní
Jazyk výukyangličtina
Rok zavedení2015/2016Rok zrušení
Určeno pro fakultyFEIUrčeno pro typy studiadoktorské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
DUZ48 prof. RNDr. Marie Duží, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zkouška 28+0
kombinovaná Zkouška 28+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

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ými kalkuly a teoriemi, které logiku 1.řádu obsahují jako svou nedílnou část. Tento aparát a metody jsou běžně používány v 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.

Vyučovací metody

Semináře
Individuální konzultace

Anotace

Předmět rekapituluje, rozšiřuje a prohlubuje obsah předmětu Matematická logika přednášeného v magisterském studiu. Důraz se přenáší z výkladu čisté matematické logiky na studium libovolných formálních systémů obsahujících formální matematickou logiku jako svou nedílnou část. Studenti se seznámí zejména s jednotlivými formálními teoriemi užitečnými v mnoha disciplínách, jako např. znalostní systémy, umělá inteligence, multi-agentní systémy, apod.

Povinná literatura:

M. Duží: Matematická logika. Skripta VŠB v elektronické podobě: http://www.cs.vsb.cz/duzi/Matlogika.pdf A.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

Doporučená literatura:

T Richards: Clausal form logic /An Introduction to the logic of computer reasoning/ Addison-Wesley, 1989 W.Bibel: Deduction /Automated Logic/. Academic Press, San Diego, 1993 Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science. Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, Graduate texts in computer science. F.Kroeger: Temporal Logic of Programs. Springer-Verlag,

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Schopnost samostatného studia doporučených pramenů.

E-learning

Další požadavky na studenta

Žádné další požadavky na studenta nejsou kladeny.

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

Důkazové kalkuly; Přirozená dedukce; Hilbertův kalkul; Axiomatická teorie relací; uspořádání a ekvivalence Axiomatická teorie funkcí; zobrazení, isomorfismy a homomorfismy Algebraické teorie; grupy, okruhy, tělesa Teorie svazů; Teorie aritmetiky, Gödelovy výsledky o neúplnosti

Podmínky absolvování předmětu

Kombinovaná forma (platnost od: 2015/2016 zimní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodů
Zkouška Zkouška  
Rozsah povinné účasti:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2020/2021 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku