Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod

---

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 Reconstruction

Osnovy cvičení:

Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type Reconstruction

Literatura:

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 19.4.2024 17:53:33, semestry: Z,L/2023-4, Z/2024-5, 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)