Wstęp do programowania (podejście imperatywne) 1000-211aWPI

1.Historia powstania pojęcia algorytmu. Algorytmy znane ze szkoły (Euklidesa, Hornera, rozwiązywanie równań liniowych i kwadratowych).
2.Historia powstania komputera.
3.Język formalny: alfabet, składnia i semantyka. Gramatyki bezkontekstowe, jako narzędzie definiowania składni. Definicja semantyki przez interpretację wyrażeń poprawnych składniowo.
4.Stałe całkowite i rzeczywiste. Reprezentacje binarne stało- i zmiennopozycyjne. Systemy znak-moduł i uzupełnieniowy. Rachunek zmiennopozycyjny - pojęcie zakresu, błędu zaokrągleń.
5.Zmienne i wyrażenia. Typ zmiennej i wartościowanie zmiennych. Wyrażenia arytmetyczne i logiczne: składnia i semantyka.
6.Instrukcje: pusta, przypisania, warunkowa, iteracji, wyboru, czytania, pisania, wywołania procedury. Składnia i semantyka. Obliczenia skończone i nieskończone. Błędy obliczeń. Przykłady algorytmów.
7.Typy danych: tablice, rekordy, zbiory, pliki, typy wyliczeniowe i okrojone.
8.Pliki o dostępie bezpośrednim i pliki tekstowe.
9.Funkcje i procedury. Składnia i semantylka. Sposoby przekazywania parametrów: przez wartość i przez zmienną. Widoczność zmiennych w zagnieżdżonych procedurach.
10.Częściowa i całkowita poprawność programów. Elementy logiki Hoare'a. Niezmienniki iteracji. Dowodzenie poprawności algorytmów. Własność stopu. Metoda zbiorów dobrze ufundowanych.
11.Koszty algorytmu czasowy i pamięciowy, pesymistyczny i średni. Rozmiar danych. Przykłady wyznaczania kosztów. Koszt zamortyzowany.