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

PB006 Principy programovacích jazyků

Fakulta informatiky
podzim 2003

Rozsah

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

Vyučující

Garance

Rozvrh

Pá 16:00–17:50 VC423

Předpoklady

! P006 Principy progr. jazyků
Přepokládá se znalost základů imperativního a funkcionálního programování (např.I015, IB015, I001, I065).

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

Cíle předmětu

Kurs podává informace o programovacích paradigmatech a programovacích jazycích.

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.
Typy a typové systémy. Základní typy a typové konstruktory. Polymorfní typy, parametrický a inklusní polymorfismus, přetížení, typové třídy.
Podtypy, dědičnost. Typy jako sorty, signatury, teorie.
Dynamická sémantika, model, výpočet.
Imperativní paradigma. Příkazy, přepisovatelné proměnné. Stav, stavové transformátory.
Funkcionální paradigma. Výrazy, funkce, parametry. Aplikace, abstrakce, lambda kalkul, redukční strategie.
Logické paradigma. Formule, predikát, splnitelnost. Hornovy klausule, resoluce, unifikace.
Souběžné zpracování. Komunikace, uváznutí, Přerušení, události, semafory, výlučný přístup, kritické oblasti.
Volání funkcí a předávání parametrů. Volání hodnotou a jménem. Volání výsledkem, hodnotou-výsledkem.

Literatura

WATT, Alan H. a Muffy THOMAS. Programming language syntax and semantics. New York: Prentice Hall, 1991, xvi, 389 s. ISBN 0-13-726266-3. info
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/PB006/

Další komentáře

Předmět je vyučován každoročně.

Nachází se v prerekvizitách jiných předmětů