I000 Úvod do informatiky

Fakulta informatiky
zima 1997
Rozsah
3/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Jiří Zlatuška, CSc. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Jiří Zlatuška, CSc.
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
Osnova
  • Úvod do matematických konstrukcí relevantních ke studiu programů jako matematických objektů: indukce a rekurze v netriviálních doménách, vztah formálního jazyka k jeho sémantice, operační sémantika rekurzívních programů, univerzální stroj a problém zastavení.
  • Základní pojmy: funkce, grafy, relace ekvivalence, stromy.
  • Indukce a její aplikace: definice množin a funkcí pomocí indukce, parametrizace definic.
  • Matematické datové typy, typ seznamů a implementace obecných datových typů pomocí seznamů.
  • Jazyk nad datovými typy a jejich sémantika: termy, podmíněné příkazy, podprogramy; sémantika volání jménem a volání hodnotou.
  • Programování pomocí indukce, důkazy správnosti rekurzívních programů.
  • Univerzální stroj pro jazyk rekurzívních programů, nerozhodnutelnost problému zastavení.
Předmět je zařazen také v obdobích zima 1995, zima 1996, podzim 1998, podzim 1999, podzim 2000, podzim 2001.