FI:PB006 Principy progr. jazyků - Informace o předmětu
PB006 Principy programovacích jazyků
Fakulta informatikypodzim 2009
- 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
- Út 18:00–19:50 D3
- 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
- Aplikovaná informatika (program FI, B-AP)
- Bioinformatika (program FI, B-AP)
- Ekonomické informační systémy (program ESF, B-SI)
- 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)
- Matematická informatika (program FI, B-IN)
- Matematika s informatikou (program PřF, N-MA)
- Paralelní a distribuované systémy (program FI, B-IN)
- Pedagogické asistentství technické a informační výchovy pro základní školy (program PdF, B-SPE)
- Počítačová grafika a zpracování obrazu (program FI, B-IN)
- Počítačové sítě a komunikace (program FI, B-IN)
- Počítačové systémy a zpracování dat (program FI, B-IN)
- Programovatelné technické struktury (program FI, B-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
- Cíle předmětu
- Kurs podává informace o programovacích paradigmatech a programovacích jazycích. Cíl kursu: sjednotit pohled na programovací jazyky z hlediska paradigmat a systematizovat principy v jazycích používané.
- 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.
- 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
- Výukové metody
- Kurs probíhá formou přednášek.
- Metody hodnocení
- Kurs je ukončen písemnou zkouškou na konci semestru.
- 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 2009, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2009/PB006