1250463625

W4. Algebra Boole a. Funkcje logiczne. Metody reprezentacji funkcji logicznych.

W5. Logika i teoria mnogości w informatyce.

Przykładowa literatura:

[1]    Huzar Z.: Elementy logiki dla informatyków, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław 2002.

[2]    Marek W., Onyszkiewicz J.: Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa, 1999.

[3] Musielak J.: Wstęp do matematyki, Państwowe Wydawnictwo Naukowe, Warszawa, 1970.

[4] Rasiowa H.: Wstęp do matematyki współczesnej, Wydawnictwo Naukowo Techniczne, Warszawa, 1985.

[5]    Wojciechowska: Elementy logiki i teorii mnogości, Wydawnictwo Naukowo Techniczne, Warszawa, 1979.

Moduł 2. „Wprowadzenie do programowania”

Cele kształcenia (efekty kształcenia umiejętności i kompetencje w zakresie):

-    Czytanie ze zrozumieniem programów zapisanych w języku programowania.

-    Symboliczne wykonywania prostych programów celem ich weryfikacji.

-    Pisanie i uruchamianie prostych programów o rozmiarze rzędu 100 wierszy kodu.

-    Formułowanie i rozwiązywanie prostych problemów algorytmicznych oraz zapisywanie algorytmów w wybranym języku programowania.

-    Składnia i semantyka wybranego języka programowania (język Pascal).

-    Środowisko programistyczne oraz metody realizacji w tym środowisku nieskomplikowanych projektów programistycznych.

Zarys treści:

(16 godz. wykładu w trybie stacjonarnym)

Wl. Wprowadzenie. Algorytm, sieć działań, implementacja algorytmów. Program.

Budowa programu. Stałe, zmienne oraz zakres ich stosowania.

W2. Instrukcje języka programowania PASCAL. Instrukcje złożone. Instrukcje warunkowe, pętli i wyboru.

W3. Moduły programu. Procedury i funkcje. Przekazywanie parametrów aktualnych przez wartość i zmienną.

W4. Pisanie programów z zastosowaniem procedur i funkcji.

W5. Zmienne strukturalne. Tablice, rekordy i zbiory.

W6. Programowanie z wykorzystaniem tablic i rekordów.

W7. Pliki i zmienna plikowa. Zapis wyników do pliku.

W8. Biblioteki standardowe i własne, biblioteki standardowe: system, crt, dos, graph, overlay, printer. Zasady korzystania z bibliotek standardowych, tworzenia bibliotek własnych.

(16 godz. ćwiczeń laboratoryjnych w trybie stacjonarnym)

L1. Projektowanie i implementacja programów w środowisku Turbo Pascala.

L2. Projektowanie i implementacja programów z zastosowaniem instrukcji wejścia i wyjścia. Pisanie i uruchamianie prostych programów.

4