Program owanie Obiektowe

wyklad i cwiczenia, III rok informatyki PB

autor: prof. dr hab. Andrzej Salwicki


Prawa autorskie - Copyright 

INDEX

  • Cele:
  • Streszczenie
  • Program
  • Dlaczego nie po polsku!
  • Metody pracy
  • Notatki z wykladow
  • Notatki z cwiczen
  • Pytania egzaminacyjne
  • Zadania projektowe
  • Literatura

  • Cele:

    Streszczenie

    Trudno przecenic znaczenie programowania obiektowego. Dla inzynierow oprogramowania obiekty stanowia naturalna metode programowania poniewaz latwo wyrazic przy ich pomocy rozne modele systemow:

    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 ]

    Program wykladu

    Ze Polacy nie gensi ...i swoj jenzyk majom

    To prawda! i ja jestem za stosowaniem języka polskiego wszędzie gdzie powinien on być używany. W obecnej wersji materiały dydaktyczne i notatki z wykładów przedstawiam w obcym języku. Różne są tego powody: A zreszt'a łatwo temu zaradzić: jeli Czytelnicy zechcą mogą nam i sobie pomóctłumacząc te strony HTML na język polski. ZAPRASZAMY do współpracy i prosimy o kontakt. Piszcie do nas Andrzej Salwicki .

    Dzis, nie umiem (na razie) zapewni'c tego by na Pa'nstwa ekranach pojawi'ly si'e polskie litery.

    Metody pracy

    Dlaczego Loglan?

    1. Loglan jest duzo lepszy od innych jezykow programowania obiektowego, zechciej sam porownac,
    2. Loglan zawiera komplet narzedzi obiektowych od klas do procesow,

    3. w jezyku zawarto oryginalna, w pelni obiektowa metode komunikacji, synchronizacji procesow "alien call",
    4. system Loglan ma wiele oryginalnych walorow dydaktycznych i ulatwien ...

    5. jego diagnostyka bledow czasu kompilacji i czasu wykonywania znacznie ulatwia i przyspiesza proces uruchamiania programow,
    6. mozemy rozdawac Loglan sluchaczom za darmo bo to nasz wlasny produkt, kliknij tu: dystrybucja ,
    7. Loglan jest niezalezny od platformy i architektury sprzetowej, oznacza to miedzy innymi ze tensam program bedzie sie tak samo wykonywac na komputerach osobistych studentow, stacjach roboczych nauczycieli akademickich i na serverach centrow obliczeniowych uczelni,
    8. Loglan jest sprawdzonym narzedziem wydajnego i szybkiego tworzenia programow,
    9. Loglan pozwala sluchaczom na wlasne eksperymenty z kompilatorem, interpreterem (dostepnosc do zrodel),
    Loglan moze i powinien byc stosowany jako narzedzie dydaktyczne juz od pierwszych wykladow.

    Notatki z wykladow

    To sa tylko notatki. Jeszcze nie wszystkie sa gotowe. Ich forma moze nasuwac uwagi. Bede wdzieczny za wszelkie komentarze.
    1. Wyklad1
    2. Wyklad3
    3. Wyklad4
    4. Wyklad5
    5. Wyklad7
    6. Wyklad9
    7. Wyklad10
    8.  
    9. anatomia programu i statyczna struktura modulow,
    10. rekordy aktywacji i obiekty = instancje dynamiczne modulow,
    11. klasy i obiekty
    12. zastosowania:
    13. hierachie klas - dziedziczenie modulow
    14. regula konkatenacji objasnia dziedziczenie
    15. zastosowania: abstrakcyjne typy danych ...
    16. wspolprogramy   [  coroutinesI.html  |    coroutines.sdd   | coroutines.doc   ]
    17. wspolprogramyII    [  coroutinesII.html   |    coroutinesII.sdd   | merge.log   ]

    18. wspolprogramyIII    [  coroutinesIII.html   |    coroutinesIII.sdd   | treegen.log   ]
    19. wyjatki, sygnaly i ich obsluga
    20. procesy
    21. metodologia

    Semestr letni 2001


    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
     

    Notatki z pracowni specjalistycznej (cwiczen)

    1. Klasy i obiekty
    2. Tablice dynamiczne
    3. Tablice w Javie,C++ i Adzie

    Zadania projektowe

    Jak przygotowac dokumentacje
    1. Praca projektowa nr 1

    Pytania egzaminacyjne

    Literatura

  • metody programowania z obiektami
  • Bertrand Meyer, Object-oriented software construction, Prentice Hall, 1988
  • Grazyna Mirkowska, Andrzej Salwicki, Logika Algorytmiczna dla programistow , WNT, 1993
  • o Loglanie
  • W. M. Bartol et al, Raport of LOGLAN programming language,WNT, 1983
  • Antoni Kreczmar, Loglan'82 a micro manual
  • Andrzej Szalas, Jolanta Warpechowska, Loglan, WNT, 1991
  • A.Kreczmar, A.Salwicki, M. Warpechowski, Loglan'88 - Report onthe Programming Language, Lecture Notes on Computer Science vol. 414,Springer Vlg, 1990, ISBN 3-540-52325-1
  • o innych jezykach obiektowych
  • E. Horowitz, Fundamentals of Programming Languages, Springer, New York, 1983
  • O.-J. Dahl, B. Myhrhaug, K. Nygaard, Simula 67 Common Base Language, Norwegian Computing Center, Oslo, 1970, the mother of object languages!!
  • B. Stroustrup, The C++ Programming Language, Addison-Wesley, Reading, Mass., 1991
  • o C++
  • http do podrecznika C++ w DESY Hamburg
  • BETA

  •   update: Wed 21 Feb 1996
    last update Fri 23 Mar 2001
     
    Andrzej Salwicki