FI:P006 Principy progr. jazyků - Informace o předmětu

P006 Principy programovacích jazyků

Fakulta informatiky
podzim 1999

Rozsah

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

Vyučující

Garance

Předpoklady

I015 Úvod do funkc. progr. && I065 Seminář z návrhu algoritmů I
Doporučuje se zapsat až po absolvování I015 Úvod do funkcionálního programování a I001 Úvod do programování.

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

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.

Literatura

TENNENT, R. D. Principles of programming languages. Englewood Cliffs: Prentice-Hall International, 1981, xiv, 271 s. ISBN 0-13-709873-1. info

Metody hodnocení

Kurs probíhá formou přednášek a je ukončen písemnou zkouškou.

Informace učitele

http://www.fi.muni.cz/usr/skarvada/vyuka/P006/

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.