Matematyka dyskretna – Technologie komputerowe
(semestr zimowy 2022/23)

Prowadzaca: Małgorzata Bednarska-Bzdęga
środy 12:00 i 13:45, Audytorium Zachodnie

---

• Sylabus
• Wyniki kartkówek będę umieszczać w USOSie. Kartkówki można (i należy) obejrzeć, na dyżurach lub w terminach uzgodnionych mailem. Wszelkie reklamacje proszę zgłaszać w terminie 2 tygodni od napisania kartkówki (pomijając tygodnie wolne od zajęć i te, w których mnie na wydziale nie ma). Potem zmiana punktów nie będzie możliwa, choć obejrzeć kartkówki oczywiście można.
• Mini-poradnik kartkówkowy
• egzamin pisemny: 13.02 o 13:30, Audytorium Zachodnie
• Przykłady zadań egzaminacyjnych
• Ściąga – nie trzeba jej drukować, będzie dołączona do egzaminu.

---

• Zadania i materiały na zajęcia:

  15.	Złożoność algorytmiczna – slajdy do wykładu.
  14.	Klasyczne algorytmy grafowe II – slajdy do wykładu.    Zadania na 25.01
  13.	Klasyczne algorytmy grafowe – slajdy do wykładu.    Zadania na 18.01
  12.	Kolorowanie grafów – slajdy do wykładu.    Zadania na 11.01
  11.	Obchody Eulera, cykle Hamiltona – slajdy do wykładu.    Zadania na 4.01
  10.	Grafy proste – slajdy do wykładu.    Zadania na 21.12
  9.	Układanie rekurencji – przykłady do wykładu.    Zadania na 14.12
  8.	Rozwiązywanie rekurencji – przykłady do wykładu.    Zadania na 7.12
  7.	Wzory kombinatoryczne – przykłady do wykładu.    Slajdy.    Zadania na 30.11
  6.	Metody przeliczania – przykłady do wykładu.    Slajdy.    Zadania na 23.11
  5.	Dowodzenie twierdzeń c.d. – przykłady do wykładu.    Zadania na 16.11
  4.	Dowodzenie twierdzeń – przykłady do wykładu.    Zadania na 9.11
  3.	Wnioskowanie. Rachunek predykatów – przykłady do wykładu.    Zadania na 26.10
  2.	Klasyczny rachunek zdań II – przykłady do wykładu.    Zadania na 19.10
  1.	Klasyczny rachunek zdań I    Zadania domowe na 12.10
  0.	Rozgrzewka z logiki – zadania na 5.10