Informatyka 1

TREŚCI NAUCZANIA

1. Wykład
   Elementy algorytmiki: zadanie algorytmiczne, struktura algorytmów, poprawność częściowa i całkowita algorytmów, metody dowodzenia (metoda Floyda i metoda zbieżnika) oraz przykłady zastosowań, współczesne tendencje w badaniu poprawności algorytmów, poprawność algorytmów a dowodzenie twierdzeń matematycznych ( na przykladzie tw. o czterech barwach i tw. Keplera o upakowaniu kul) złożoność czasowa i pamięciowa algorytmów, typy złożoności czasowej, optymalizacja algorytmów, problemy zamknięte i luka algorytmiczna, ograniczenia górne i dolne na złożoność czasową algorytmów, złożoność czasowa a złożoność pamięciowa problemy obliczalności i rozstrzygalności algorytmów, przykłady algorytmów, problemy P, NP i NP-zupełne, teza Churcha-Turinga-Markowa i jej konsekwencje. Elementy języka Pascal -składnia, struktury danych, instrukcje, procedury i funkcje.
2. Ćwiczenia
   Pakiet matematyczny służący do obliczeń numerycznych i symbolicznych (np. Derive, MathCad, Mathematica). Podstawy obsługi programu, definiowanie stałych, zmiennych, funkcji. Obliczenia w zbiorze liczb rzeczywistych i zespolonych, w różnych systemach liczbowych. Operacje na wektorach, macierzach. Obliczanie granic funkcji, pochodnych, całek, sum, iloczynów. Wykresy funkcji dwu- i trójwymiarowe. Rozwiązywanie zadań. Rozwiązywanie nietypowych zadań geometrycznych przy pomocy programu do tworzenia konstrukcji geometrycznych (np. Cabri, Cindirella). Interfejs programu, rysowanie podstawowych obiektów geometrycznych i krzywych, przekształcenia geometryczne, wiązanie obiektów, miejsca geometryczne, obwiednie, pomiary, nazwy obiektów, animacja i makra. Rozwiązywanie i analiza problemów matematycznych z wykorzystaniem programu. Wykorzystanie programu MSExcel do rozwiązywania problemów matematycznych. Rodzaje adresowania komórek i podstawowe funkcje, wykresy funkcji matematycznych. Rozwiązywanie zadań matematycznych przy pomocy Excela.

LITERATURA PODSTAWOWA

1. M. M. Sysło, Algorytmy, WSiP, Warszawa 1997.
2. L. Banachowski, A. Kreczmar, Elementy analizy algorytmów, WNT, Warszawa 1982.
3. D. Harel, Rzecz o istocie informatyki. Algorytmika, WNT, Warszawa 1992.
4. A. V. Aho, J. E. Hopcroft, J. D. Ullman, Projektowanie i analiza algorytmów komputerowych, PWN, Warszawa 1983.
5. A. Strużińska-Walczak, K. Walczak, Nauka programowania dla początkujących. Turbo Pascal, Wydawnictwo Walczak & Walczak, Warszawa 1993.
6. A. Strużińska-Walczak, K. Walczak, Nauka programowania dla . . . już nie całkiem początkujących, Wydawnictwo Walczak & Walczak, Warszawa 1996.
7. Z. Suraj, T. Rumak,, Algorytmiczne rozwiązywanie zadań i problemów - wstęp do programowania w języku Pascal, Wydawnictwo oświatowe FOSZE, Rzeszów 1995.
8. P. Wróblewski, Algorytmy, struktury danych i techniki programowania, Helion 1996.
9. J. Dąbkowski, Derive wersja 2. 53 niezwykły nauczyciel matematyki, Help Warszawa 1993.
10. B. Miś, Derive 2. 06, WNT Warszawa 1993.
11. W. Pająk, Analiza problemów otwartych wspomagana Cabri, Wydawnictwo dla szkoły, Wilkowice 1999.
12. B. Pabich, Odkrywanie geometrii przy pomocy Cabri, Vulkan Wrocław 1994.

LITERATURA UZUPEŁNIAJĄCA

1. D. Żakowski, MatCAD kompletny opis programu w wersji 2. 53, Wydawnictwo PLJ Warszawa 1991.
2. D. Kowalczyk, Mathematica Enhanced wersja 2. 2 Podstawy analizy matematycznej i algebry liniowej, Wydawnictwo Lynx-SFT Warszawa 1997.