Mat Dyskr i Log

background image

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 5

100

? 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.

background image


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 (2)
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