P006 Principy programovacích jazyků

Fakulta informatiky
podzim 2000
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
RNDr. Libor Škarvada (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Libor Škarvada
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 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ě.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích léto 1996, léto 1997, zima 1997, podzim 1998, podzim 1999, podzim 2001.