Subject description - A4M36TPJ
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
| A4M36TPJ |
Programming Language Theory |
| Roles: | |
Extent of teaching: | 2P+2C |
| Department: | 13136 |
Language of teaching: | CS |
| Guarantors: | |
Completion: | Z,ZK |
| Lecturers: | |
Credits: | 6 |
| Tutors: | |
Semester: | Z |
Web page:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
Anotation:
Ú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
Course outlines:
| 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 |
Exercises outline:
Literature:
| F. | | Turbak et al.: Design Concepts in Programming Languages |
Web předmětu:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
Requirements:
| 1. | | Matematické myšlení a pracovní znalost základních pojmů diskrétní matematiky |
| 2. | | Pracovní znalost objektového programování |
Keywords:
Semantics, types, pragmatics.
Subject is included into these academic programs:
| Program |
Branch |
Role |
Recommended semester |
| Page updated 20.4.2026 17:52:37, semester: L/2025-6, L/2028-9, L/2026-7, Z/2027-8, L/2029-30, Z/2025-6, Z/2028-9, Z/2026-7, L/2027-8, Send comments about the content to the Administrators of the Academic Programs |
Proposal and Realization: I. Halaška (K336), J. Novák (K336) |