Wstęp do informatyki

Program wykładu.

1. System komputerowy - wprowadzenie. Schemat budowy i zasada działania systemu komputerowego. Systemy operacyjne sekwencyjne i wielozadaniowe, interpretery poleceń. Schemat organizacji sieci i podstawowe zasady pracy w sieci.
2. System komputerowy WMiI. Konto użytkownika systemu, konfiguracja konta. Przegląd podstawowych usług sieciowych. Bezpieczeństwo pracy w systemie, sesje szyfrowane, tunelowanie, kopiowanie w sieci.
3. Algorytmy - wstęp. Pojęcie algorytmu, definicja algorytmu. Przykłady algorytmów rozwiązujących proste zadania. Baza algorytmiczna. Języki zapisu algorytmów: schematy blokowe, języki programowania. Syntaktyka i semantyka programów.
4. Podstawy języka Pascal. Podstawowe typy proste w Pascalu (typy integer, real, boolean, char (kody ASCII)). Deklaracje zmiennych. Podstawowe instrukcje w Pascalu (instrukcje: podstawienia, złożona, pusta, warunkowe, iteracji ograniczonej i warunkowej), ich syntaktyka i semantyka.
5. Programy w Pascalu. Zapisywanie algorytmów za pomocą instrukcji w Pascalu. Struktura programu Pascalowego, pojęcie bloku, funkcje wejścia i wyjścia. Środowisko programistyczne Free Pascala.
6. Dane i ich struktury. Przegląd podstawowych struktur danych. Definicje i deklaracje typów strukturalnych w Pascalu (array, record, string, set, file). Typy wyliczeniowe i okrojone. Przykłady użycia poszczególnych typów.
7. Procedury. Definicje procedur i procedur funkcyjnych (funkcji). Przekazywanie parametrów procedur. Obiekty lokalne i nielokalne w procedurze, zasłanianie, efekt uboczny. Moduły, jako zbiory procedur.
8. Rekurencja w programowaniu. Procedury rekurencyjne. Wady i zalety stosowania rekurencji. Nietrywialne przykłady algorytmów rekurencyjnych, algorytmy z powrotami.
9. Typowe problemy algorytmiczne.Przegląd metod tworzenia algorytmów rozwiązujących typowe zadania. Metoda dziel i zwyciężaj. Wybrane algorytmy sortowania tablic i plików. Przykłady algorytmów szyfrujących.
10. Informacja o poprawności algorytmów (programów). Poprawność częściowa i pełna algorytmu. Dowodzenie częściowej poprawności metodą niezmienników, niezmienniki pętli. Reguły wnioskowania dla podstawowych instrukcji.
11. Elementy złożoności obliczeniowej algorytmów. Pojęcie złożoności czasowej i pamięciowej. Pełna funkcja czasowej złożoności algorytmu, jej rząd wielkości. Zbiór operacji dominujących i zbiór rozmiarów danych algorytmu. Szacowanie rzędu wielkości pesymistycznej funkcji kosztu algorytmu. Dolne i górne ograniczenie złożoności czasowej problemu algorytmicznego.
12. Nieobliczalność i nierozstrzygalność. Przykłady problemów nieobliczalnych i nierozstrzygalnych. Problem stopu, sposoby dowodzenia własności stopu.
13. PHP jako podstawowe narzędzie tworzenia stron www. Elementy języka HTML i PHP. Przykłady zastosowań praktycznych. Tworzenie i publikowanie tekstów matematycznych.

Zaliczenie ćwiczeń laboratoryjnych na ocenę w każdym semestrze na podstawie punktów w systemie MOODLE (zadania domowe + 2 kolokwia w każdym z semestrów) oraz końcowy egzamin w postaci pisemnego testu.