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

PB006 Principy programovacích jazyků

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

• 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ů

• PB161 Programování v jazyce C++
  PB006  
• PB162 Programování v jazyce Java
  PB006 && ! PB112 && ! NOW(PB112)  
• PB175 Správa projektu a projekt
  PB006  
• PB176 Základy kvality a správy kódu
  PB006 || PB071 || now(PB071)  
• PV178 Úvod do vývoje v C#/.NET
  PB006  
• PV281 Programování v jazyce Rust
  PB006  

• Statistika zápisu (podzim 2005, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2005/PB006