Zofia.Kruczkiewicz@pwr.wroc.pl    
Politechnika Wrocławska 
Katedra Informatyki Technicznej (K-9) 
Zespół Inżynierii Oprogramowania i
Inteligencji Obliczeniowej
 
Aktualności  Dydaktyka  Kontakt 
 
   
  strona główna dydaktyka Języki Programowania 1 - INE2022
 
  menu
  materiały dydaktyczne
  opis kursu
  informacje dodatkowe
 

  ostatnia aktualizacja
15.07.2017 r.
 

 
  ogłoszenia
  materiały do zajęć
wykłady
    Warunki zaliczenia wykładów
    Informacje o wykładach i literaturze
  1. Wprowadzenie do programowania.
  2. Zagadnienia podstawowe dotyczące metod formalnych w informatyce.
  3. Zagadnienia podstawowe dotyczące metod formalnych w informatyce - ciąg dalszy.
  4. Algebry i abstrakcyjne typy danych.
  5. ADT - reprezentacja kolejki jako tablicy i struktury wiązanej.
  6. Testowanie programów.
  7. Złożoność strukturalna programów, metryki międzymodułowe.
  8. Języki formalne i gramatyki.
  9. Logika programów Hoare'a.
  10. Złożoność strukturalna programów, metryki złożoności modułowej.
stare wykłady - do programu z 2001/2002
  1. Struktury. Przeciążanie nazwy funkcji. Przeciążanie operatorów.
    Przykłady programów. Unie. Pola bitowe.
  2. Statyczne i dynamiczne tablice struktur.
  3. Tablice struktur - ciąg dalszy.
  4. Dynamiczne struktury danych - nieuporządkowane.
  5. Dynamiczne struktury danych - uporządkowane. Część I.
  6. Dynamiczne struktury danych - uporządkowane. Część II.
  7. Złożoność obliczeniowa tablic, drzew i list.
materiały pomocnicze do wykładów
  1. Zagadnienia podstawowe dotyczące metod formalnych w informatyce. Dotyczy p 2.
  2. Zagadnienia podstawowe dotyczące metod formalnych w informatyce. Dotyczy p 3.
  3. ADT - reprezentacja kolejki jako tablicy i struktury wiązanej.
    Dotyczy p 5.
  4. Dodatek do p 9.
przykładowe programy
  1. Programy do p 2.
  2. Programy do p 3.
  3. Programy do p 5.
przykładowe zadania na kolokwium zaliczeniowe
    Przykłady zadań na kolokwium.
  literatura
literatura podstawowa
  1. Cormen T.H., Leiserson Ch.E., Rives R.L., Wprowadzenie do algorytmów, WNT Warszawa, 1997
  2. Banachowski L., K.Diks, Rytter W., Algorytmy i struktury danych, WNT Warszawa, 1996
  3. J.M Brady, Informatyka teoretyczna w ujęciu programistycznym
  4. Janusz Górski, Inżynieria oprogramowania
  5. David Harel, Rzecz o istocie informatyki, algorytmika
  6. Henderson-Sellers B., Object-Oriented Metrics, Measures of Complexity, Prentice Hall PTR 1996
  7. John E. Hopcroft, Jeffrey D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń
  8. Zbigniew Huzar, Elementy logiki dla informatyków, Oficyna Politechniki Wrocławskiej, 2002
  9. Andrzej Jaszkiewicz, Inżynieria oprogramowania
  10. Cliff B. Jones, Konstruowanie oprogramowania metodą systematyczną
  11. Witold Marciszewski, Logika formalna, Zarys Encyklopedyczny z zastosowaniem do informatyki i lingwistyki
  12. Helena Rasiowa, Wstęp do matematyki współczesnej
  13. Sedgewick C., Algorytmy w C++, WNT, Warszawa, 1999
  14. Alfred Tarski, Wprowadzenie do logiki
  15. W.Turski, Metodologia programowania, WNT Warszawa, 1985
literatura uzupełniająca
  1. Brian W. Kernigghan, Dennis M. Ritche, Język Ansi C
  2. Stroustrup B., Język C++, WNT Warszawa, 2000
  3. Lafore R., Programowanie w jezyku C przy użyciu Turbo C++, Intersoftland, 1995
  4. Zalewski A., Programowanie w jezykach C i C++ z wykorzystaniem pakietu Borland C++, Wyd. Nakom, Poznań, 1994
  5. Prata S., Szkoła programowania, Język C++, Wydawnictow Robomatic, 1999
  6. Jamsa K., Wygraj z C++, Wyd. MIKOM, Warszawa 1996
  7. Grębosz J., Symfonia C++, Wyd Oficyna Kallimach, Kraków, 1996
  8. Schildt H., Informator o języku programowania Borland C++, Wyd. Nakom, Poznań, 1998

 
m.kruczkiewicz@floweb.pl