I000 Úvod do informatiky

Fakulta informatiky
podzim 2001
Rozsah
2/0. 3 kr. (plus ukončení). 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í)
Mgr. Pavel Krčál (cvičící)
Mgr. Jitka Žídková (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
Přemysl Kala (pomocník)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Jiří Zlatuška, CSc.
Rozvrh
Po 9:00–10:50 D1, Po 9:00–10:50 D2, Pá 14:00–15:50 D1, Pá 14:00–15:50 D2
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í.
Literatura
  • WAND, Mitchell. Induction, recursion, and programming. New York: North Holland, 1980, 202 s. ISBN 0444003223. info
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, podzim 1998, podzim 1999, podzim 2000.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2001/I000