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