Wspomag. komp. modelow. matemat.
Transkrypt
Wspomag. komp. modelow. matemat.
SYLABUS - Karta programu przedmiotu WYDZIAŁ FIZYKI, MATEMATYKI I INFORMATYKI Rodzaj studiów: studia stacjonarne pierwszego stopnia Kierunek: MATEMATYKA Rok akad. 2010/11 Przedmiot specjalizacyjny 2 Specjalność: Modelowanie matematyczne Przedmiot: WSPOMAGANIE KOMPUTEROWE MODELOWANIA MATEMATYCZNEGO Rok studiów: Semestr: II 4 ECTS: 6 Rodzaj zajęć: W Ć Liczba godzin w semestrze: 30 30 S L Przedmioty wprowadzające / wymagania wstępne: Informatyka, Matematyka obliczeniowa Założenia i cele przedmiotu: Zdobycie umiejętności posługiwania się narzędziami algebry komputerowe; stosowania wiedzy matematycznej przy tworzeniu i wykorzystywaniu modeli matematycznych; wykorzystywania komputerów w procesie modelowania. Metody dydaktyczne: Wykład audytoryjny ze wspomaganiem technikami audiowizualnymi, ćwiczenia audytoryjne, z wykorzystaniem komputerów Forma i warunki zaliczenia przedmiotu: Obecność i aktywny udział na zajęciach, kolokwium na ćwiczeniach, realizacja komputerowa zadanego tematu w ramach laboratorium. TREŚCI PROGRAMOWE Wykłady: 1. Historia i przykłady systemów algebry komputerowej (Mathematica, Maple, Maxima). 2. Interfejs, system pomocy, podstawowe konwencje wprowadzania poleceń wybranego systemu algebry komputerowej. 3. Wbudowane funkcje wspomagające podstawowe dyscypliny matematyczne. 4. Podstawowe narzędzia i techniki programistyczne algebry komputerowej. 5. Grafika matematyczna. 6. Listy jako podstawowa struktura danych, operacje na listach. 7. Elementy programowania funkcjonalnego oraz programowania logicznego. Ćwiczenia audytoryjne (z wykorzystaniem komputerów): 1. Praktyczne zapoznanie z interfejsem i systemem pomocy wybranego systemu. 2. Rozwiązania typowych zadań algebry i analizy matematycznej z wykorzystaniem komputerów – analiza poprawności otrzymanych rozwiązań. 3. Budowanie własnych funkcji na bazie implementacji programowania proceduralnego w języku systemu algebry komputerowej. 4. Ćwiczenia z wykorzystaniem predefiniowanych procedur graficznych. 5. Wizualizacja modeli matematycznych przy pomocy programowania graficznego. 6. Zadania oparte na przetwarzaniu list. 7. Zadania z wykorzystaniem programowania funkcjonalnego. 8. Zadania związane z programowaniem opartym na deklaracjach reguł podstawiania. Wykaz literatury podstawowej: [1] R. Liska, Computer algebra, algorithms, systems and applications, skrypt, 1999. [2] J. H. Davenport, Y. Siret, E. Tournier, Computer Algebra: Systems and Algorithms for Algebraic Computation, Acedemic Press , 1988. Wykaz literatury uzupełniającej: [1] N. Souza, R. Fateman, The Maxima Book, w przygotowaniu do druku, dostępna wstępna wersja elektroniczna. [2] S. Wolfram, The Mathematica Book, 2003. [3] Martha L. Abell, James P. Braselton, The Maple V Handbook, AP Professional, Boston, 1994. Osoba(y) odpowiedzialna(e) za przedmiot: dr Lech SŁAWIK Zatwierdził: dr hab. Teresa WINIARSKA, prof. PK