Wstęp do informatyki

Forma kursu:

Opis kursu:
Przedmiot zapoznaje studentów z takimi pojęciami jak algorytm, język programowania, program, kompilator, komputer. Przybliża podstawowe koncepcje algorytmiczne: zmienna, instrukcja, przypisanie, wybór, iteracja. Obejmuje następujące działy.

Treści programowe:

• Pojęcie typu danych, typ tablicowy.
• Przykładowe algorytmy.
• Reprezentacja danych w komputerze, kodowanie liczb, algorytmy konwersji.
• Przykładowa maszyna cyfrowa, jej architektura, asembler, programy.
• Mierzenie i kodowanie informacji.
• Podstawowy model obliczeń - maszyna Turinga.
• Języki formalne, zarys lingwistyki matematycznej.
• Podstawy teorii automatów.
• Składnia i semantyka języków programowania.
• Wstęp do teorii translacji, gramatyki, notacja polska.
• Poprawność algorytmów, niezmienniki.
• Konstruowanie programów za pomocą niezmienników.
• Złożoność obliczeniowa algorytmów.
• Języki programowania - przegląd, podstawowe koncepcje.

Literatura:

• D. Harel, Algorytmika. Rzecz o istocie informatyki, WNT.
• N. Wirth, Wstęp do programowania systematycznego, WNT.
• W. M. Turski, Propedeutyka informatyki, PWN.
• E. W. Dijkstra, Umiejętność programowania, WNT.
• J. Bentley, Perełki oprogramowania, WNT.