Popis předmětu - AE4M36TPJ
AE4M36TPJ | Programming Language Theory | ||
---|---|---|---|
Role: | Rozsah výuky: | 2P+2C | |
Katedra: | 13136 | Jazyk výuky: | EN |
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:
This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.Výsledek studentské ankety předmětu je zde: AE4M36TPJ
Cíle studia:
Familiarity with the basic concepts of programming language theory; ability to formally define a (reasonably simple) programming language.Osnovy přednášek:
Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type ReconstructionOsnovy cvičení:
Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type ReconstructionLiteratura:
F. | Turbak et al.: Design Concepts in Programming Languages |
Požadavky:
Familiarity with the basic notions of predicate logic and set theory.Klíčová slova:
Formal semantics, type theory.Předmět je zahrnut do těchto studijních plánů:
Plán | Obor | Role | Dop. semestr |
Stránka vytvořena 14.5.2024 17:50:50, semestry: Z/2024-5, Z,L/2023-4, 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) |