R.Tadeusiewicz - AGH Kraków,
A.Szydełko, P.Moszner - WSP Kraków

Teoretyczne Podstawy Informatyki

Skrypt Teoretyczne Podstawy Informatyki przeznaczony jest przede wszystkim dla studentów nauczycielskich kierunków informatycznych i studentów innych kierunków zainteresowanych informatyką. Jak sam tytuł wskazuje są to podstawy dające pogląd na to czym jest Informatyka.

W pierwszej części skryptu opisana została teoria informacji i kodów. Dzięki niej studenci mogą dowiedzieć się co to jest redundancja, w jaki sposób się ją mierzy, co w niej dobrego, a co złego. Pokazuje na jakiej zasadzie działają archiwizatory, oraz w szczególności omówiony jest algorytm kompresji danych JPEG.

W drugiej części pokazana została teoria języków i gramatyk formalnych. Teoria ta jest konieczna aby móc zrozumieć zasadę działania kompilatorów, translatorów, parserów itp.

W trzeciej części pokazana została teoria automatów. Przedstawione zostały modele maszyn Turinga i von Neumana. Jest to konieczne aby zrozumieć działanie procesora w trakcie wykonywania programu.

W ostatniej części zaprezentowane zostały elementy algorytmiki, potrzebne każdemu kto chciałby tworzyć dobre programy. Omówiono metody dowodzenia poprawności algorytmów oraz ich złożoność.