D. Halliday. R. Resnick, J. Walker, Fizyka, 1.1-5 Wydawnictwo Naukowe PWN Warszawa 2003 r.
11.3-2F-B12-WDI Wstęp do informatyki
wykład 30 godz., konw. 30 godz., lab. 30 godz.
Forma zaliczenia: zaliczenie laboratorium + egzamin Cel kształcenia: Wprowadzenie podstawowych pojęć i klasycznych teorii, metodologii rozwiązywania problemów informatycznych oraz wstępne poznanie narzędzi wykorzystywanych w informatyce.
Treści kształcenia: Informacja. Miary informacji. Funkcje logiczne. Elementy logiczne. Minimalizacja funkcji logicznych. Układy kombinacyjne. Układy sekwencyjne. Układy asynchroniczne i synchroniczne. Maszyna Turinga. Algorytm. Program. Sztuczna inteligencja. Koncepcja von Neumanna. Elementy struktury komputera. Systemy liczbowe, reprezentacje danych w komputerach. Języki programowania (proceduralne, obiektowe, deklaratywne). Notacje, składnia i semantyka, interpretery i kompilatory. Typy danych. Instrukcje sterujące. Funkcje i procedury. Sposoby przekazywania parametrów. Funkcje rekurencyjne. Biblioteki programów. Projektowanie programów metodą wstępująca i zstępującą. Zintegrowane środowiska dla tworzenia oprogramowania, projekt programu. System operacyjny. Oprogramowanie systemowe.
Literatura:
D. Knuth, Sztuka programowania, t.1-3, WNT 2002,
D. Harel, Rzecz o istocie informatyki. Algorytmika, WNT 2001,
A. V. Aho, J.D. Ullman, Wykłady z informatyki, Wyd. Flelion 2003 N. Wirth. Algorytmy żstruktury danych - programy. WNT 2001,
Ch. Papadimitriou, Złożoność obliczeniowa, WNT 2002,
A. Drozdek. Wprowadzenie do kompresji danych, WNT 1999,
A. Mach, Z. Bem, Wybrane zagadnienia teoretycznych podstaw informatyki, Gens, Kielce 1998
11.3-2F-B13-ASD-I Algorytmy i struktury danych
wykład 30 godz., konw. 30 godz.