460-4034/01 – Vybrané partie z logiky (VPL)

Garantující katedraKatedra informatikyKredity4
Garant předmětuprof. RNDr. Marie Duží, CSc.Garant verze předmětuprof. RNDr. Marie Duží, CSc.
Úroveň studiapregraduální nebo graduálníPovinnostvolitelný odborný
Ročník1Semestrletní
Jazyk výukyčeština
Rok zavedení2010/2011Rok zrušení2015/2016
Určeno pro fakultyFEIUrčeno pro typy studianavazující magisterské
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í Zápočet a zkouška 2+2
kombinovaná Zápočet a zkouška 10+0

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

Cílem předmětu je seznámení s různými metodami usuzování a automatického dokazování teorémů. Důraz je kladen na rozvinutí těchto metod v oblasti relačních a algebraických teorií a ve filosofii matematiky. Kurs je zaměřen rovněž na využití získaných poznatků v různých oblastech teoretické informatiky.

Vyučovací metody

Přednášky
Semináře
Individuální konzultace
Cvičení (v učebně)

Anotace

Cílem předmětu je seznámit studenty s pokročilými metodami logického usuzování a dokazování a jejich využití v teoretické informatice. Důraz je kladen na rozvinutí těchto metod v oblasti relačních a algebraických teorií a ve filosofii matematiky. Kurs je zaměřen rovněž na využití získaných poznatků v různých oblastech teoretické informatiky.

Povinná literatura:

1. M. Duží. Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava, 2012. ISBN 978-80-248-2662-2 2. M.Duží: Matematická logika. Učební texty VŠB Ostrava. http://www.cs.vsb.cz/duzi/Mat-logika.html 3. Z. Manna: Matematická teorie programů. McGraw-Hill, 1974, SNTL Praha 1981. 4. Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.

Doporučená literatura:

P. Hájek: Metamathematics of Fuzzy Logic. Kluwer, 1998.

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

dva zápočtové testy

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

Logické kalkuly, korektnost a úplnost Formální kalkuly Hilbertova typu Logické teorie (úplnost / neúplnost, rozhodnutelnost) Teorie relací (typy relací, teorie ekvivalence a uspořádání). Algebraické teorie, grupy, okruhy, tělesa. Teorie svazů, konceptuální svazy Formalizované teorie aritmetiky Gödelovy výsledky (věty o neúplnosti) Teorie rekurzivních funkcí Intensionální logiky a Kripkeho sémantika

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

Prezenční forma (platnost od: 2012/2013 letní semestr, platnost do: 2015/2016 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodů
Zápočet a zkouška Zápočet a zkouška 100 (100) 51
        Zápočet Zápočet  
        Zkouška Zkouška 100  51
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
2014/2015 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 volitelný odborný stu. plán
2014/2015 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie P čeština Ostrava 1 volitelný odborný stu. plán
2014/2015 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 volitelný odborný stu. plán
2014/2015 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie K čeština Ostrava 1 volitelný odborný stu. plán
2013/2014 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 volitelný odborný stu. plán
2013/2014 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 volitelný odborný stu. plán
2013/2014 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie P čeština Ostrava 1 volitelný odborný stu. plán
2013/2014 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie K čeština Ostrava 1 volitelný odborný stu. plán
2012/2013 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 volitelný odborný stu. plán
2012/2013 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 volitelný odborný stu. plán
2012/2013 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie P čeština Ostrava 1 volitelný odborný stu. plán
2012/2013 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie K čeština Ostrava 1 volitelný odborný stu. plán
2011/2012 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 volitelný odborný stu. plán
2011/2012 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 volitelný odborný stu. plán
2011/2012 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie P čeština Ostrava 1 volitelný odborný stu. plán
2011/2012 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie K čeština Ostrava 1 volitelný odborný stu. plán
2010/2011 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 1 volitelný odborný stu. plán
2010/2011 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 1 volitelný odborný stu. plán
2010/2011 (N2647) Informační a komunikační technologie (2612T059) Mobilní technologie P čeština Ostrava 1 volitelný odborný stu. plán

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

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