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

P006 Principy programovacích jazyků

Fakulta informatiky
podzim 2001

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

St 18:00–19:50 D1

Předpoklady

I015 Úvod do funkc. progr. && I065 Seminář z návrhu algoritmů I

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

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