Mat Dyskr i Log (2)


MATEMATYKA DYSKRETNA I LOGIKA

Wymiar: 2 2 0 0 0 E

Wymagania: matematyka na poziomie szkoły średniej

Zaliczenie przedmiotu: Ocena z ćwiczeń audytoryjnych wystawiona na podstawie zadań domowych i aktywności na ćwiczeniach

Założenia programowe: Zapoznanie z podstawowymi obiektami i strukturami matematyki dyskretnej, przydatnymi niemal we wszystkich zajęciach informatycznych; przygotowanie tym samym do wysłuchania dalszych zajęć poświęconych projektowaniu i analizie algorytmów i programów komputerowych.

Wykład:

1.Podstawy logiki i teorii mnogości. - Elementy teorii zbiorów - zbiory, alfabety, rachunek zbiorów, funkcje. Zastosowania - maszyna Turinga. Funkcje całkowitoliczbowe: powała i podłoga. Zastosowanie - szacowanie długości słowa.

2. Podstawy logiki i teorii mnogości. - Logika pierwszego rzędu. Rachunek zdań. Reguły wnioskowania (modus ponens, zasada rezolucji). Zastosowania w strukturach systemów ekspertowych.

3. Podstawy logiki i teorii mnogości. - Dowody formalne, pojęcia poprawności i pełności systemu logicznego. Teorie formalne.

4. Asymptotyka funkcji liczbowych. - Zastosowania - szacowanie złożoności obliczeniowej. Problemy decyzyjne i optymalizacyjne. Problemy łatwe i trudne. Zastosowania - zasada dziel i zwyciężaj.

5. Elementy teorii liczb -Podzielność liczb naturalnych - algorytm Euklidesa. NWP, NWW. Operator modulo. Liczby pierwsze i rozkład liczb na czynniki pierwsze. Zastosowania - kryptografia. Liczby doskonałe. Równanie diofantyczne.

6.Elementy kombinatoryki - Zasada gołębnika. Zasada włączania i wyłączania. Generowanie obiektów kombinatorycznych. Permutacje, kombinacje, wariacje. Zastosowania - szacowanie złożoność obliczeniowej.

7. Elementy kombinatoryki - Definicje, algorytmy i zależności rekurencyjne. Rozwiązywanie zależności rekurencyjnych - przez podstawianie i za pomocą równania charakterystycznego. Zastosowania - symbol Newtona, trójkąt Newtona.

8. Elementy kombinatoryki - Kongruencje. Zastosowania - na jaka cyfrę kończy się liczba 5100? Systemy liczbowe. Schemat Hornera. Zastosowania - szybkie potęgowanie.

9. Elementy teorii grafów - Relacje i ich reprezentacje. Grafy symetryczne i skierowane. Charakterystyki - drogi, cykle, pętle, itd. Właściwości i klasyfikacje grafów: drzewa, grafy dwudzielne, grafy pełne, grafy planarne, itp.

10. Elementy teorii grafów - Badanie właściwości grafów. Grafy Eulera i Hamiltona. Izomorfizm grafów. Zastosowania - wybrane ilustracje problemów łatwych i trudnych.

11 Elementy teorii grafów. Macierzowe reprezentacje grafów - macierz incydencji, macierz stowarzyszona. Zastosowania - badanie właściwości grafów.

12 Elementy teorii grafów. Algorytmy na grafach - drzewa rozpinające. Zastosowania - wyznaczanie sieci instalacji elektrycznej.

13 Elementy teorii grafów. Algorytmy na grafach - zadania najkrótszych dróg. Zastosowania - wyznaczanie najkrótszej drogi (metoda podziałów i ograniczeń).

14. Elementy teorii grafów -Grafy AND/OR. Zastosowania - planowanie działań (np. montażu).

Ćwiczenia

Ćwiczenia polegają na rozwiązywaniu w klasie zadań opracowanych do poszczególnych partii materiału z wykładu. Są to głównie ćwiczenia rachunkowe, ale w wielu przypadkach polegają na użyciu algorytmu przedstawionego na wykładzie. Niektóre zadania dotyczą analizy działania i złożoności algorytmów. Studenci otrzymują po każdym wykładzie listę zadań do wykonania - część z nich mają rozwiązać w domu i przenieść rozwiązania na zajęcia.

Literatura

Ross K.A., Wright C.R.B., Matematyka dyskretna, PWN, Warszawa 1996.

Sysło M.M., Algorytmy, WsiP, Warszawa, 1997

Lipski W., Kombinatoryka dla programistów, WNT, Warszawa, 1982

Wilson R.J., Wprowadzenie do teorii grafów, PWN, Warszawa, 1998.

Ziembiński Z., Logika praktyczna, PWN, Warszawa 2000.



Wyszukiwarka

Podobne podstrony:
Mat Dyskr i Log
Mat Dyskr i Log, 1 STUDIA - Informatyka Politechnika Koszalińska, Matematyka Dyskretna i logika, MD
mat dyskr
2 Mat dyskr SAN (logika mat cd)
Wyklad2 mat
Mat 10 Ceramika
Mat dla stud 2
04 LOG M Informatyzacja log
Proj syst log wykl 6
Wyklad7 mat
mat skale pomiarowe
03 LOG M transp globalny
logika mat
Magn mat

więcej podobnych podstron