3576353977

Wymagania wstępne: podstawy algebry i logiki

Automaty skończenie stanowe. Automaty minimalne. Minimalizacja automatów deterministycznych i niedeterministycznych (bisymulacje). Języki regularne i wyrażenia regularne. Charakteryzacje języków regularnych: Tw. Kleenego, Tw. Myhilla -Nerode’a. Własności domkniętości na operacje. Lemat o pompowaniu. Automaty ze stosem (deterministyczne i niedeterministyczne). Języki i gramatyki bezkontek-stowe. Postacie Normalne Chomsky’ego. Drzewa wyprowadzenia. Parsing. Twierdzenie Chomsky’ego-Schutzenbergera . Własności domkniętości na operacje. O maszynach Turinga i językach kontekstowych. Algorytmy decyzyjne. Problemy złożoności. Zastosowania w informatyce. Związki z logiką modalną. Zaliczenie przedmiotu: egzamin.

Literatura:

1.    J. E. Hopcroft, J.D. Ullman "Wprowadzenie do teorii automatów, języków i obliczeń. PWN Warszawa 1994.

2.    D.Kozen "Automata and Computability” Springer 1997.

3.    T.Sudkamp "Languages and Machines” Addison-Wesley 1997.

4.    J.Howie, "Automata and Languages”, Oxford Clarendon Press, 1991 Prowadzący: dr Wojciech Dzik.

5. Automatyzacja obliczeń finansowych (wykład specjalistyczny [AOF-06])

Specjalność    I+F+Z    Poziom    6    Status    W

L. godz. tyg.    2 W+ 2    Ćw. L. pkt.    6    Socr. Codę    11.3

Obliczenia związane analizą czasu pracy, wartością pracy, wartością sprzedaży, podatkami, kursem walut, kursami akcji oraz z wartością pieniądza w czasie w tym: kapitalizacją, dyskontowaniem, rachunkiem rentowym. Korzystanie z wbudowanych funkcji Excela. Rachunek macierzowy. Podstawy baz danych. Filtrowanie i grupowanie danych. Sumy pośrednie. Tabela przestawna. Ochrona komórek i arkusza. Formatowanie warunkowe. Poprawność danych. Makra. Programowanie w Excelu. Modyfikacja makr, definiowanie własnych funkcji w Visual Basicu.

Zaliczenie przedmiotu: egzamin.

Literatura:

1.    Damian Bruckner, Visual Basic w Excelu. Przykłady zastosowań. PBN. Katowice 2004.

2.    Izabela Foltynowicz, Matematyka finansowa w Excelu, Mikom, 2003.

3.    Mieczysław Sobczyk, Matematyka finansowa. Podstawy teoretyczne, przykłady, zadania. Placet, 1995.

4.    Pomoc wbudowana w aplikację MS Excel.

Prowadzący: dr Damian Bruckner.

6. Budowa i lektura tekstu matematycznego (wykład specjalistyczny [BLT-05]) Specjalność    N    Poziom    10    Status    W

L. godz. tyg.    2 W -I- 0    Ćw L. pkt.    4    Socr. Codę    11.1

Wymagania: dydaktyka matematyki 1-4-

1.    Tekst matematyczny jako główne źródło wiedzy i metody matematycznej.

2.    Różnice pomiędzy tekstem matematycznym, a innymi tekstami spotykanymi przez uczniów poza matematyką. Specyficzna budowa tekstów matematycznych.

3.    Proces lektury tekstu matematycznego, organizacja pracy z tekstem matematycznym na lekcji.

4.    Błędy i nieprawidłowości popełnione przez uczniów w procesie czytania tekstu matematycznego w szkole.

5.    Sposoby kontroli rozumienia tekstu matematycznego przez uczniów.

Zaliczenie przedmiotu: egzamin.

Literatura:

1.    J. Konior, Budowa i lektura tekstu matematycznego, Wyd. UŚ, Katowice, 1998.

2.    J. Konior (red.), Nauka czytania tekstu matematycznego w szkole (wybrane problemy i propozycje), CDN w Warszawie, Oddział w Bielsku-Białej, Bielsko-Biała, 1990.

Prowadzący: dr Joanna Samsel-Opalla.

3