INDEX
Obiekty sa wydajnym narzedziem programowania.
Programowanie obiektowe umozliwie realizacje wszelkich innych metod: programowanie funkcyjne, programowanie poprzez reguly etc. wynikaja w naturalny sposobz technologii obiektow.
Programowanie obiektowe moze i powinno wykorzystywac rachunek formalny programowania: logike algorytmiczna. Tworzenie klas powinno sie rozpoczynac od ich specyfikacji, a te nie sa niczym innym niz teoriami algorytmicznymi.[zob. AL ]
Dzis, nie umiem (na razie) zapewni'c tego by na Pa'nstwa ekranach
pojawi'ly si'e polskie litery.
Twierdzimy, ze po wysluchaniu tego wykladu zdolny student potrafi zaadoptowac sie do pracy z kazdym jezykiem programowania obiektowego w ciagu paru dni.
| lp. | data | Temat wykladu | Materia?y | Uwagi |
| 1 | 1-03 | Wspó?programy.
Skladnia. Operacje: attach i detach. Scenariusz wspólprogramu. Przyklady |
coroutinesI.html
coroutines.sdd coroutines.doc |
|
| 2 | 8-03 | Wspólprogramy II
Pojecie lancucha dynamicznego. Procedury rekurencyjne wspólpracuja z coroutinami. Przyklad scalanie drzew binarnych poszukiwa?. |
coroutinesII.html
coroutinesII.sdd merge.log |
|
| 3 | 15-03 | Wspólprogramy III
Dowód poprawnosci programu z hierarchia wspólprogramów dziedziczacych z wspólprogramu: wyrazenie regularne - regexp przez indukcje wzgledem hierarchii. |
coroutinesIII.html
coroutinesIII.sdd treegen.log |
|
| 4 | 22-03 | Sygnaly i sytuacje wyjatkowe oraz ich obsluga. | signals.htm | |
| 5 | 29-03 | Programowanie kontraktowe. Dynamiczna weryfikacja warunków
poczatkowych i koncowych dla procedur przy zastosowaniu sygnalówi dziedziczenia.
Uwagi o weryfikacji statycznej.
O dynamicznej weryfikacji klas. Sygnaly w Javie, C++ i Adzie. Sygnaly predefiniowane w Loglanie. |
||
| 6 | 3-04 | Typy jako parametry modulu. | Gsort.log | |
| 7 | 12-04 | O dynamicznym i statycznym wiazaniu wystaoien aplikacyjnych i deklaracji. Loglan i Java | javaLog.sdd
javaLog.html javalog.ppt chartres.log chartre2.log kolorbind.html semistatic.html |
|
| 8 | 19-04 | O symulacji I | PTSK99.ppt bank2.doc |
|
| 9 | 26-04 | O poprawnoci klasy priority queue | poprawnosc.ppt | |
| 10 | 10-05 | O symulacji II | ||
| 11 | 15-05 | studenci nie przyszli | za dzień
13-06 |
|
| 12 | 17-05 | Typy jako parametry modułu II
Porównanie |
porownan.sdw
porownan3.sdc |
|
| 13 | 24-05 | |||
| 14 | 31-05 | |||
| 15 | 7-06 |
Jak przygotowac dokumentacje