FI:P006 Struktury programovacích jazyk - Informace o předmětu

P006 Struktury programovacích jazyků

Rozsah

2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Antonín Kučera, Ph.D. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.

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

• Stručná historie vývoje programovacích jazyků, přehled základních paradigmat.
• Syntax, jazyk, program. Abstraktní a konkrétní syntax.
• Statická sémantika. Otypování, validační funkce.
• Prostor jmen, viditelnost. Bloková a modulární struktura jazyka.
• Typové systémy. Typy a typové konstruktory. Polymorfní typy, parametrický a inklusní polymorfismus, přetížení, typové třídy. Podtypy, dědičnost. Typy jako sorty (množiny), signatury (heterogenní algebry), teorie (modely teorií).
• Dynamická sémantika, model, výpočet.
• Imperativní paradigma. Příkazy, přepisovatelné proměnné. Stav, operátory pro změnu stavu.
• Funkcionální paradigma. Výrazy, funkce, parametry. Aplikace, abstrakce, lambda kalkul, redukční strategie, nekonečné datové struktury.
• Logické paradigma. Formule, predikát, splnitelnost. Hornovy klausule, resoluce, unifikace.
• Volání funkcí a předávání parametrů. Volání hodnotou a jménem. Volání výsledkem, hodnotou-výsledkem.

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