IB101 Úvod do logiky

Fakulta informatiky
jaro 2018
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í)
RNDr. Karel Vaculík, Ph.D. (cvičící)
Mgr. Martin Víta, Ph.D. (cvičící)
Dr. rer. nat. Achim Blumensath (cvičící)
Bc. Peter Gábor (cvičící)
Mgr. Lukáš Gryga (cvičící)
Mgr. Michal Jankovič (cvičící)
Mgr. Simona Katkinová (cvičící)
Mgr. Veronika Krejčířová (cvičící)
Mgr. Markéta Kučerová (cvičící)
Mgr. Jakub Lédl (cvičící)
Mgr. Vincent Mihalkovič (cvičící)
Mgr. Henrieta Micheľová (cvičící)
Mgr. Markéta Naušová (cvičící)
Kristýna Pokorná (cvičící)
Mgr. Jakub Ryšavý (cvičící)
Mgr. Bc. Roman Solař (cvičící)
RNDr. Viktória Spišaková (cvičící)
Mgr. Alena Zahradníčková (cvičící)
Mgr. Lukáš Zaoral (cvičící)
RNDr. Aleš Zlámal (cvičící)
Mgr. Ondřej Nečas (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/01: Čt 10:00–11:50 B411, A. Zlámal
IB101/02: Po 10:00–11:50 C416, A. Zlámal
IB101/03: Po 14:00–15:50 C416, A. Zlámal
IB101/04: St 10:00–11:50 A319, A. Zlámal
IB101/05: St 14:00–15:50 C511, A. Zahradníčková
IB101/06: Čt 16:00–17:50 C416, A. Zahradníčková
IB101/07: Čt 10:00–11:50 A217, P. Gábor
IB101/08: St 12:00–13:50 C525, P. Gábor
IB101/09: Út 18:00–19:50 A218, H. Micheľová
IB101/10: Čt 12:00–13:50 C525, J. Ryšavý
IB101/11: Út 14:00–15:50 C416, K. Pokorná
IB101/12: St 8:00–9:50 B411, L. Zaoral
IB101/13: Čt 14:00–15:50 A218, M. Kučerová
IB101/14: St 10:00–11:50 C525, M. Naušová
IB101/15: Čt 8:00–9:50 C525, M. Jankovič
IB101/16: Pá 8:00–9:50 C525, R. Solař
IB101/17: Po 16:00–17:50 C416, S. Katkinová
IB101/18: Čt 18:00–19:50 B411, V. Spišaková
IB101/19: Út 10:00–11:50 C511, V. Mihalkovič
IB101/20: Út 10:00–11:50 C416, L. Gryga
IB101/21: St 18:00–19:50 B411, J. Lédl
IB101/22: Po 12:00–13:50 B411, A. Blumensath
IB101/23: Pá 10:00–11:50 C525, M. Víta
IB101/25: Út 18:00–19:50 C525, L. Zaoral
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
předmět má 18 mateřských oborů, zobrazit
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.
Výstupy z učení
Na konci tohoto kurzu budou studenti
- rozumět principům výrokové a predikátové logiky 1. řádu a umět je používat;
- znát základy deduktivních důkazových metod;
- schopni dokazovat v různých variantách rezoluční metody.
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
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2019, jaro 2020.