Programming Language Theory
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| AE4M36TPJ | Z,ZK | 6 | 2P+2C | English |
- Course guarantor:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Computer Science
- Synopsis:
-
This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.
- Requirements:
-
Familiarity with the basic notions of predicate logic and set theory.
- Syllabus of lectures:
-
Operational Semantics
Denotational Semantics
Fixed Points
State
Data
Types
Polymorphism
Type Reconstruction
- Syllabus of tutorials:
-
Operational Semantics
Denotational Semantics
Fixed Points
State
Data
Types
Polymorphism
Type Reconstruction
- Study Objective:
-
Familiarity with the basic concepts of programming language theory; ability to formally define a (reasonably simple) programming language.
- Study materials:
-
F. Turbak et al.: Design Concepts in Programming Languages
- Note:
- Further information:
- https://edux.feld.cvut.cz/courses/A4M36TPJ/
- No time-table has been prepared for this course
- The course is a part of the following study plans: