FI:IB101 Úvod do logiky - Informace o předmětu
IB101 Úvod do logiky
Fakulta informatikyjaro 2013
- Rozsah
- 2/2. 4 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Eva Mráková, Ph.D. (cvičící)
RNDr. Libor Škarvada (cvičící)
RNDr. Aleš Zlámal (cvičící)
Mgr. Juraj Jurčo (cvičící)
RNDr. Matej Pivoluska, Ph.D. (cvičící)
Mgr. Jan Fikejs (pomocník)
Mgr. Lukáš Másilko (pomocník)
Mgr. Ondřej Nečas (pomocník)
Mgr. Jan Popelínský (pomocník)
RNDr. Karel Vaculík, Ph.D. (pomocník) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Út 8:00–9:50 D1
- Rozvrh seminárních/paralelních skupin:
IB101/T02: Po 18. 2. až Ne 19. 5. Po 9:00–10:50 Učebna S11 (58), O. Nečas, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
IB101/01: Út 18:00–19:50 D2, L. Škarvada
IB101/02: St 14:00–15:50 D3, A. Zlámal
IB101/03: Čt 16:00–17:50 G125, J. Jurčo
IB101/04: Čt 10:00–11:50 D2, L. Škarvada
IB101/05: Út 10:00–11:50 B410, E. Mráková
IB101/06: Út 12:00–13:50 B410, L. Škarvada
IB101/07: Po 8:00–9:50 G123, M. Pivoluska
IB101/08: Po 10:00–11:50 G123, M. Pivoluska - Předpoklady
- ( IB000 Mat. základy informatiky || IB112 Matematické základy ) && ! IA008 Computational Logic
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Aplikovaná informatika (program FI, B-AP)
- Bioinformatika (program FI, B-AP)
- Informatika a druhý obor (program FI, B-EB)
- Informatika a druhý obor (program FI, B-FY)
- Informatika a druhý obor (program FI, B-IO)
- Informatika a druhý obor (program FI, B-MA)
- Informatika a druhý obor (program FI, B-TV)
- Informatika ve veřejné správě (program FI, B-AP)
- Matematická informatika (program FI, B-IN)
- Paralelní a distribuované systémy (program FI, B-IN)
- Počítačová grafika a zpracování obrazu (program FI, B-IN)
- Počítačové sítě a komunikace (program FI, B-IN)
- Počítačové systémy a zpracování dat (program FI, B-IN)
- Programovatelné technické struktury (program FI, B-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Sociální informatika (program FI, B-AP)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
- Cíle předmětu
- Cílem předmětu je osvojení základů logického myšlení a úvod do použití logik v computer science. Velký důraz proto je položen na odvozování v logických kalkulech, především výrokové a též v predikátové logice, včetně formulace problému a jeho přepisu do logického kalkulu. Na konci tohoto kurzu budou studenti rozumět principům výrokové a predikátové logiky 1. řádu.
- Osnova
- Kurs je úvodem do výrokového a predikátového počtu.
- Motivace, příklady využití logiky v informatice. Logika v matematice.
- Výroková logika, logické spojky, logické vyplývání, pravdivostní tabulky, množiny, hradla.
- Přirozený jazyk a formalizace ve výrokové logice
- Dokazatelnost, normální formy. Věty o dedukci, formulace a praktické využití.
- Základy teorie důkazů ve výrokové logice, axiomatické systémy, metoda Davise-Putnama, úvod do rezoluce.
- Predikátový počet 1. řádu, predikátové formule, sémantika, axiomy.
- Dokazatelnost. Normální formy predikátové logiky. Přirozený jazyk a formalizace v predikátové logice.
- Rezoluce v predikátové logice.
- Úvod do výpočtové logiky. Použití logik v informatice. Formulace složitějších problémů pomocí logiky.
- Literatura
- doporučená literatura
- DUŽÍ, Marie. Logika pro informatiky (a příbuzné obory) : učební text. 1. vyd. Ostrava: VŠB-TU Ostrava, 2012, 179 s. ISBN 9788024826622. info
- NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info
- PRIEST, Graham. Logic : a very short introduction. 1st pub. Oxford: Oxford University Press, 2000, xii, 140. ISBN 9780192893208. info
- ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
- Výukové metody
- Přednášky, cvičení.
- Metody hodnocení
- Součástí hodnocení jsou domácí a semestrální testy a semestrální písemná zkouška. Předmět je ukončen písemnou zkouškou formou testu, není povoleno používat žádné pomocné materiály.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/~popel/lectures/bak_logika/
- Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2013, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2013/IB101