UWAGA: pierwsze zadanie domowe jest juz dostepne ponizej
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.
Zaliczenie i dopuszczenie do egzaminu
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.
-
zadanie pierwsze (semantyka operacyjna):
tresc zadania
termin oddania nie pozniej niz 14 listopada
(prowadzacy cwiczenia moga ustalic termin wczesniejszy)
Wszelkie pytania i uwagi dotyczace tego zadania nalezy kierowac do
dr. Ewy Madalinskeij-Bugaj
(ewama@mimuw.edu.pl)
po sprawdzeniu aktualnej
listy uwag i odpowiedzi.
-
zadanie drugie (semantyka denotacyjna):
-
zadanie trzecie (weryfikacja).
Do zaliczenia cwiczen i dopuszczenia do pierwszego terminu egzaminu
niezbedne jest uzyskanie nie mniej niz 2 punktow z trzech prac
domowych.
EGZAMIN
...odbedzie sie.
Egzamin bedzie pisemny, zlozony z 3 zadan, kazde oceniane w zasadzie
na skali 0-10. Liczba zadan bedzie nieprzypadkowo zbiezna z liczba
prac domowych.
Najprawdopodobniej nie uda sie zorganizowac egzaminu w terminie
zerowym; pierwszy termin w sesji egzamnacyjnej w styczniu/lutym; drugi
termin w sesji poprawkowej w marcu; po tych terminach nie bedzie
mozliwosci zaliczenia przedmiotu.
Materialy do wykladu:
- Przezrocza do wykladow:
UWAGA: przezrocza moga ulegac zmianie tuz przed wykladem; terminy wykladow
z pewnoscia ulegna przesunieciu...
- Przykladowa literatura:
- P. Dembinski, J. Maluszynski.
Matematyczne metody definiowania jezykow programowania. WNT, 1981.
- M. Gordon.
Denotacyjny opis jezykow programowania. WNT, 1983.
- D. Gries. The Science of Programming. Springer-Verlag, 1981.
- E. Dijkstra. Umiejetnosc programowania. WNT, 1978.
- Moze jeszcze cos tu sie pojawi...
AT
(tarlecki@mimuw.edu.pl)