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

PB006 Principy programovacích jazyků

Fakulta informatiky
podzim 2007

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

Čt 18:00–19:50 D1

Předpoklady

Výhodou je znalost jednoho nebo dvou programovacích jazyků, pokud možno různých paradigmat.

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

předmět má 24 mateřských oborů, zobrazit

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, 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/~libor/vyuka/PB006/

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

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