Powrót
Wykład	Wiadomości wstępne. Pojęcia: "informatyka", "komputer". Wybrane fakty z historii informatyki, początki komputerów. Czołowe postaci informatyki.
Wykład	Algorytm: definicja, cechy algorytmu. Etapy rozwiązywania zadań algorytmicznych. Metody konstrukcji algorytmu. Klasy zadań algorytmicznych. Zapis algorytmu: schemat blokowy, pseudokod. Instrukcje sterujące - pojęcia podstawowe.
Wykład	Instrukcje sterujące: działanie, schematy blokowe, implementacja - Pascal, C/C++, Fortran. Przykłady.
Wykład	Podprogramy, procedury, funkcje. Wywoływanie, przekazywanie argumentów - przykłady zastosowania. Struktury danych. Pojęcia: zmienna, typ zmiennej, struktura danych. Struktury statyczne i dynamiczne. Struktury liniowe i nieliniowe. Tablice i rekordy; listy, stos, kolejka, drzewa, grafy, tablice asjocjacyjne - definicje, operacje.
Wykład	Modele komputerów - podstawy. Model von Neumanna. Architektura harwardzka. Architektura mieszana. Taksonomia Flynna. Hierarchie pamięci. Architektury procesorów: CISC, RISC, VLIW - podstawy.
Wykład	Reprezentacja liczb w komputerze. Jednostki informacji. Sposoby zapisu danych w pamięci. Pozycyjne systemy liczbowe. Reprezentacja liczb całkowitych: reprezentacja liczb nieujemnych, kod znak-moduł, kod U1, kod U2, kod z nadmiarem. Liczby stałoprzecinkowe. Liczby zmiennoprzecinkowe.
Wykład	Metody rozwiązywania zadań algorytmicznych. Rekurencja. Metoda dziel i zwyciężaj. Algorytmy zachłanne. Planowanie dynamiczne. Algorytmy redukcyjne. Programowanie liniowe. Omówienie zasad działania poszczególnych metod. Przykłady zastosowań.
Wykład	Języki programowania. Ewolucja języków programowania. Translator. Kompilacja i interpretacja. Paradygmaty programowania: imperatywny, funkcyjny, obiektowy, deklaratywny, programowania równoległego, programowania generycznego. Wzorce projektowe. Język modelowania rzeczywistości UML.
Wykład	Algorytmy i ich poprawność. Błędy algorytmiczne. Błędy językowe: syntaktyczne, semantyczne. Błędy algorytmiczne i ich skutki. Poprawność algorytmu. Algorytm częściowo poprawny. Algorytm całkowicie poprawny. Dowodzenie poprawności algorytmu. Dowodzenie poprawności częściowej. Dowodzenie własności stopu. Przykłady.
Wykład	Sprawność algorytmów. Analiza algorytmów: definicja, pojęcie zasobu, czas działania, zużycie pamięci. Ulpszenia algorytmów: post factum, rzędu wielkości. Złożoność obliczeniowa. Notacja asymptotyczna. Przykłady.
Wykład	Problemy nierozstrzygalne.Przykłady.
Powrót