Course at
Faculty of Mathematics, Informatics and Mechnics
The University of Warsaw

Program Semantics and Verification


Sorry, no English version...
...i brak polskich znakow...

Semantyka i weryfikacja programow

W roku akademickim 2016/17 wyklad ten prowadzi
Bartek Klin

wyklad w roku akademickim 2015/16, semestr zimowy
poniedzialki, godz. 12.15-14.00, sala 5440


Egzamin poprawkowy odbedzie sie zgodnie z planem sesji poprawkowej semestru zimowego
(piatek, 19 lutego, godz. 10.00, sala 3320)




Celem wykladu jest pokazanie roli i najwazniejszych problemow i technik formalizacji opisu programow. Omawiane beda metody definiowania semantyki programow, z ich matematycznymi podstawami i praktycznymi technikami. Wprowadzone zostana pojecia poprawnosci programow oraz techniki i formalizmy dla ich dowodzenia. Przedstawione tez beda najwazniejsze idee systematycznego konstruowania poprawnych programow.

Warunki zaliczenia i egzaminu

Prace domowe: Zaliczenie cwiczen i dopuszczenie do egzaminu odbedzie sie na podstawie prac domowych. Beda trzy prace domowe, kazde zlozone z jednego zadania, oceniane na sklali 0-1. Zadania beda wspolne dla wszystkich grup, ale sprawdzane i omawiane przez prowadzacych poszczegolnych grupy cwiczeniowe.

Do zaliczenia cwiczen i dopuszczenia do pierwszego terminu egzaminu niezbedne jest uzyskanie nie mniej niz 1.8 punktow z trzech prac domowych.


Egzamin: odbyl sie zgodnie z planem sesji zimowej (poniedzialek, 1 lutego, godz. 14.00, sale 3150 (A-D) i 3180 (G-Z)).
Mial forme pisemna, beda trzy zadania punktowane na skali 0-10.0 kazde, do zaliczenia z pewnoscia wystarczy uzyskanie 18 punktow (ale prog ten ulegl zmianie).

Wyniki egzaminu zostaly ogloszone.


Egzamin poprawkowy: tez sie odbedzie, zgodnie z planem sesji poprawkowej (piatek, 19 lutego, 10.00, s. 3320).

Mozna przystapic do egzaminu poprawkowego bez zaliczenia prac domowych.

Egzamin bedzie mial forme pisemna, beda trzy zadania punktowane na skali 0-10.0 kazde, do zaliczenia z pewnoscia wystarczy uzyskanie 18 punktow (ale prog ten moze ulec zmianie).

Wynikow egzaminu mozna spodziewac sie w USOSie w niedziele, 21 lutego, w nocy, albo i w poniedzialek rano.

W poniedzialek, 22 lutego, w godz. 12.00-14.00 beda dostepne osoby sprawdzajace zadania. Wszelkie uwagi do ocen poszczegolnych zadan mozna im przedstawiac tylko w tym czasie. Tylko wtedy mozna tez u nich uzyskac ewentualna modyfikacje wyniku. W poniedzialek, 22 lutego, po 14.30 zostanie wypelniony protokol egzaminu; pozniejsze uwagi nie beda uwzgledniane.



Materialy do wykladu:


AT (tarlecki@mimuw.edu.pl)