IB110 Základy informatiky

Fakulta informatiky
jaro 2026
Rozsah
2/2/0. 3 kr. (plus ukončení). Ukončení: zk.
Vyučováno kontaktně
Vyučující
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
Mgr. Paulína Ayaziová (cvičící)
RNDr. Mgr. Jana Dražanová, Ph.D. (cvičící)
RNDr. Jakub Gajarský, Ph.D. (cvičící)
RNDr. Martin Macák, Ph.D. (cvičící)
RNDr. Vít Musil, Ph.D. (cvičící)
Jozef Sabo (cvičící)
Bc. Dávid Smolka (cvičící)
Mgr. Adéla Štěpková (cvičící)
Garance
doc. RNDr. Petr Novotný, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Po 16. 2. až Po 11. 5. Po 16:00–17:50 KOM 200
  • Rozvrh seminárních/paralelních skupin:
IB110/01: Po 16. 2. až Po 11. 5. Po 12:00–13:50 A218, P. Novotný
IB110/02: St 18. 2. až St 13. 5. St 14:00–15:50 A218, J. Gajarský
IB110/03: St 18. 2. až St 13. 5. St 18:00–19:50 A218, J. Gajarský
IB110/04: St 18. 2. až St 13. 5. St 8:00–9:50 A218, J. Sabo
IB110/05: St 18. 2. až St 13. 5. St 10:00–11:50 A320, V. Musil
IB110/06: St 18. 2. až St 13. 5. St 12:00–13:50 C408, V. Musil
IB110/07: St 18. 2. až St 13. 5. St 10:00–11:50 A218, A. Štěpková
IB110/08: Út 17. 2. až Út 12. 5. Út 8:00–9:50 A319, D. Smolka
IB110/09: Po 16. 2. až Po 11. 5. Po 8:00–9:50 A319, D. Smolka
IB110/10: Po 16. 2. až Po 11. 5. Po 10:00–11:50 C408, J. Dražanová
IB110/11: Po 16. 2. až Po 11. 5. Po 8:00–9:50 A218, J. Dražanová
IB110/12: Po 16. 2. až Po 11. 5. Po 10:00–11:50 FAST/A138, M. Macák
IB110/13: Pá 20. 2. až Pá 15. 5. Pá 10:00–11:50 C408, M. Macák
Předpoklady
! IB005 FJA || ! IB107 Vyčíslitelnost a složitost
Předmět je určen studentům mateřských programů. Studenti programu Informatika si zapisují plné předměty IB005 a IB107. Studenti, kteří absolvovali oba plné předměty, si mohou nechat IB110 uznat.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 12 mateřských oborů, zobrazit
Anotace
Cílem kurzu je seznámit studenty se základními abstraktními výpočetními modely a jejich využitím v analýze algoritmů a výpočetních problémů. Absolventi kurzu budou chápat základní koncepty z oblastí konečných automatů, rozhodnutelnosti a složitosti. Získané dovednosti budou schopni využít k hlubšímu pochopení konceptů vyskytujích se v programátorské praxi.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- vysvětlit koncept konečného automatu a sestrojit konečný automat pro jednoduché regulární jazyky
- vysvětlit koncept regulárního výrazu a sestrojit regulární výraz pro jednoduché regulární jazyky
- vysvětlit pojem nedetriminismu a využít jej při konstrukci konečných automatů
- použít základní algoritmy pro úpravu konečných automatů (determinizace apod.)
- chápat pojem (ne)rozhodnutelného problému a být schopen vysvětlit existenci nerozhodnutelných problémů
- vysvětlit koncept Turingova stroje a navrhnout TS pro jednoduché problémy
- chápat pojem redukce mezi výpočetními problémy
- znát pojem výpočetní složitost a základní složitostní třídy, včetně vztahů mezi nimi
Klíčová témata
  • Konečné automaty a regulární jazyky. Konstrukce konečných automatů.
  • Nedeterministické automaty, použití nedeterminismu, determinizace, minimalizace.
  • Regulární výrazy a gramatiky. Příklady neregulárních jazyků.
  • Výpočetní problémy a algoritmy. Turingovy stroje. Rozhodnutelné a nerozhodnutelné problémy, diagonalizace.
  • Redukce mezi výpočetními problémy.
  • Časová a prostorová složitost algoritmů a problémů. Třídy P a NP. NP-úplné problémy. Příklady složitostních tříd a vztahy mezi nimi.
Studijní zdroje a literatura
    doporučená literatura
  • JANČAR, Petr. Teoretická informatika. 2010. URL info
  • HOPCROFT, John E.; Rajeev MOTWANI a Jeffrey D. ULLMAN. Introduction to automata theory, languages, and computation. 3rd ed. Boston: Pearson/Addison Wesley, 2007, xvii, 535. ISBN 0321455363. info
  • ČERNÁ, Ivana; Mojmír KŘETÍNSKÝ a Antonín KUČERA. Formální jazyky a automaty I. Brno: Masarykova univerzita, 2006, 159 s. Elportal. ISSN 1802-128X. URL info
    neurčeno
  • HROMKOVIČ, Juraj. Sedem divov informatiky. Ružomberok: Verbum, 2012, xi, 336. ISBN 9788080849580. info
Přístupy, postupy a metody používané ve výuce
přednášky a cvičení
Způsob ověření výstupů z učení a požadavky na ukončení
Výsledná známka bude určena na základě výsledků průběžného a závěrečného testu. K přihlášení ke zkoušce bude zapotřebí splnění podmínek na aktivitu v průběhu semestru (vypracování domácích odpovědníků).
Odkaz a informace vyučujících
https://is.muni.cz/auth/el/1433/jaro2023/IB110/index.qwarp
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019, jaro 2020, jaro 2021, jaro 2022, jaro 2023, jaro 2024, jaro 2025.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2026/IB110