FI:I000 Úvod do informatiky - Informace o předmětu

I000 Úvod do informatiky

Rozsah

0/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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

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í.

• Statistika zápisu (zima 1995, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1995/I000