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