FI:PB006 Principy progr. jazyků - Informace o předmětu
PB006 Principy programovacích jazyků
Fakulta informatikypodzim 2004
- 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 - Rozvrh
- St 18:00–19:50 D1
- Předpoklady
- ! P006 Principy progr. jazyků
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
- Aplikovaná informatika (program FI, B-AP)
- Informatika a druhý obor (program FI, B-BI)
- Informatika a druhý obor (program FI, B-FY)
- Informatika a druhý obor (program FI, B-GE)
- Informatika a druhý obor (program FI, B-GK)
- Informatika a druhý obor (program FI, B-CH)
- Informatika a druhý obor (program FI, B-IO)
- Informatika a druhý obor (program FI, B-MA)
- Informatika a druhý obor (program FI, B-SO)
- Informatika a druhý obor (program FI, B-TV)
- Informatika (program FI, B-IN)
- 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
- 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ů
- Statistika zápisu (podzim 2004, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2004/PB006