Popis předmětu - AD4M36TPJ
Přehled studia |
Přehled oborů |
Všechny skupiny předmětů |
Všechny předměty |
Seznam rolí |
Vysvětlivky
Návod
| AD4M36TPJ | Teorie programovacích jazyků | ||
|---|---|---|---|
| Role: | Rozsah výuky: | 14KP+6KC | |
| Katedra: | 13136 | Jazyk výuky: | CS |
| Garanti: | Zakončení: | Z,ZK | |
| Přednášející: | Kreditů: | 6 | |
| Cvičící: | Semestr: | Z | |
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ů.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 |
Požadavky:
Předmět je zahrnut do těchto studijních plánů:
| Plán | Obor | Role | Dop. semestr |
| Stránka vytvořena 13.3.2026 17:52:00, semestry: L/2026-7, Z/2027-8, Z,L/2025-6, L/2027-8, 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) |