Nastepny dokument:	Systemy operacyjne
Nadrzędny dokument:	PRZEDMIOTY SPCJALIZACYJNE I SPCJALNOŚCIOWE Z INFORMATYKI
Poprzedni dokument:	Tworzenie stron www i grafika

Teoretyczne podstawy informatyki

CELE NAUCZANIA

Na zajęciach studenci powinni zapoznać się z teoretycznymi podstawami różnych działów informatyki. Przy stale rozwijającej się i zmieniającej się dziedzinie nauki jaką jest informatyka, treści te stanowią niezmienny i niezwykle ważny kanon jej wiedzy.

ROK II

TREŚCI NAUCZANIA

1. wykłady:

   Podstawy teorii informacji: jednostki pomiaru ilości informacji, podstawowe równanie teorii informacji. Kodowanie:własności kodów i metody kodowania. Języki i gramatyki formalne: rodzaje gramatyk generacyjnych a klasyfikacja języków formalnych. Teoria automatów: rodzaje automatów i ich możliwości, automaty a translatory. Modele maszyn cyfrowych: maszyna Turinga i Przykładowa Maszyna Cyfrowa von Neumanna.

   Elementy algorytmiki: struktura algorytmów, poprawność częściowa i całkowita algorytmów oraz metody ich dowodzenia, złożoność czasowa i pamięciowa algorytmów. Optymalizacja algorytmów. Problemy obliczalności i rozstrzygalności algorytmów. Teza Churcha-Turinga i jej znaczenie.

2. ćwiczenia konwersatoryjne:

   Wyrabianie umiejętności praktycznych z zakresu tematyki objętej wykładem.

1. N. Abramson, Teoria informacji i kodowania, Warszawa 1969.
2. J. E. Hopcroft, J. D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, Warszawa 1994.
3. D. Harel, Rzecz o istocie informatyki - algorytmika, Warszawa 1992.
4. M. Cichy, J. Nomańczuk, S. Szpakowicz, Zbiór zadań z propedeutki informatyki, PWN, Warszawa 1986.
5. W. M. Turski, Propedeutyka informatyki, PWN, Warzsawa 1989.
6. R. Tadeusiewicz, P. Moszner, A. Szydełko, Teoretyczne podstawy informatyki, Wydawnictwo Naukowe AP, Kraków, 1999.

Nastepny dokument:	Systemy operacyjne
Nadrzędny dokument:	PRZEDMIOTY SPCJALIZACYJNE I SPCJALNOŚCIOWE Z INFORMATYKI
Poprzedni dokument:	Tworzenie stron www i grafika