Program Semantics - NSWI162

• Title: Sémantika programů
• Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2024
• Semester: winter
• E-Credits: 1
• Hours per week, examination: winter s.:0/1, C [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Additional information: http://d3s.mff.cuni.cz/teaching/program_semantics/
• Guarantor: doc. RNDr. Jan Kofroň, Ph.D.
• Class: Informatika Bc.
• Classification: Informatics > Software Engineering
• Incompatibility : NSWE002
• Interchangeability : NSWE002, NSWI183
• Is interchangeable with: NSWI183

Annotation

English

The course replaced by NSWI183. The goal of the course is to introduce the foundation of program semantics, especially those of imperative programmning languages. A tool for verification of program properties will be introduced. The credits will be given for making two small homeworks.

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.04.2024)

Czech

Kurz nahrazen kurzem NSWI183. Cílem kurzu je seznámit studenty se základy sémantiky imperativních programovacích jazyků. Studenti budou seznámeni s nástrojem pro verifikaci vlastností programů. Zápočet bude udělen za vypracování dvou domácích úloh malého rozsahu.

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.04.2024)

Course completion requirements

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu. Z povahy věci tedy není možné zápočet opakovat.

Last update: Kofroň Jan, doc. RNDr., Ph.D. (06.10.2017)

Literature

English

A. R. Bradley, Z. Manna: The Calculus of Computation, Springer-Verlag, 2007

E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999

Last update: Katedry Tajemník (03.05.2017)

Requirements to the exam

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu.

Last update: Kofroň Jan, doc. RNDr., Ph.D. (03.10.2017)

Syllabus

English

1) Introduction to program semantics

2) Methods for property specification

3) Mathematical means for specification

4) Proving of program properties

Last update: Katedry Tajemník (03.05.2017)

Czech

1) Představení pojmu sémantiky programů

2) Metody specifikace vlastností imperativních programů

3) Matematické základy specifikace

4) Dokazování vlastností programů

Last update: Katedry Tajemník (03.05.2017)