IB110 Základy informatiky

Fakulta informatiky
podzim 2009
Rozsah
2/2. 4 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. RNDr. Ivana Černá, CSc. (přednášející)
RNDr. Nikola Beneš, Ph.D. (cvičící)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Rozvrh
Čt 10:00–11:50 B410, Pá 12:00–13:50 B411
Předpoklady
! IB102 Automaty a gramatiky && ! IB005 FJA I
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
Cíle předmětu
Cílem kurzu je seznámit studenty se základními koncepty, myšlenkami, metodami a výsledky informatiky. Úspěšní absolventi kurzu by měli získat základní představu a problémech spojených s teoretickou informatikou, algoritmizací a výpočetní složitostí.
Osnova
  • Pojem algoritmického problému a algoritmu. Struktura algoritmu. jeho korektnost a složitost. Efektivní algoritmy a meze efektivity. Složitostní třídy, problém P vs NP. Algoritmicky neřešitelné problémy. Rozhodnutelné a nerozhodnutelné problémy.
Literatura
  • HAREL, David a Yishai A FELDMAN. Algorithmics :the spirit of computing. 3rd ed. Harlow: Addison-Wesley, 2004, xviii, 514. ISBN 0-321-11784-0. info
Výukové metody
přednášky a cvičení
Metody hodnocení
Přednášky a cvičení s domácími úkoly v průběhu semestru. Závěrečný písemný test.
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 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.