Popis předmětu - A4M36TPJ
Přehled studia |
Přehled oborů |
Všechny skupiny předmětů |
Všechny předměty |
Seznam rolí |
Vysvětlivky
Návod
Webová stránka:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
Anotace:
Úvod do teorie programovacích jazyků, především do formální sémantiky a typových systémů.
Výsledek studentské ankety předmětu je zde:
A4M36TPJ
Osnovy přednášek:
| 1. | | Úvod do operační sémantiky |
| 2. | | Úvod do typování |
| 3. | | Sémantika a typování jednoduchého imperativního jazyka |
| 4. | | Vlastnosti sémantik a přepisovacích relací |
| 5. | | Důkazy vlastností |
| 6. | | Jednoduché typy |
| 7. | | Rekurzivní typy, podtypový a parametrický polymorfismus |
| 8. | | Featherweight Java |
| 9. | | Lambda kalkulus |
| 10. | | Lambda kalkulus 2 |
| 11. | | Denotační sémantika, relační algebra |
| 12. | | Jména a stav |
| 13. | | Tok programu a data |
| 14. | | Abstraktní typy, monády |
Osnovy cvičení:
Literatura:
| F. | | Turbak et al.: Design Concepts in Programming Languages |
Web předmětu:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
Požadavky:
| 1. | | Matematické myšlení a pracovní znalost základních pojmů diskrétní matematiky |
| 2. | | Pracovní znalost objektového programování |
Klíčová slova:
Semantics, types, pragmatics.
Předmět je zahrnut do těchto studijních plánů:
| Plán |
Obor |
Role |
Dop. semestr |
| Stránka vytvořena 15.3.2026 09:51:43, semestry: Z/2025-6, Z/2027-8, L/2026-7, L/2027-8, L/2025-6, Z/2026-7, připomínky k informační náplni zasílejte správci studijních plánů |
Návrh a realizace: I. Halaška (K336), J. Novák (K336) |