MD/CW
From WikiZMSI
< MD
Spis treści |
[edytuj]
Organizacyjne
- regulamin zajęć
- OBECNOŚCI I AKTYWNOŚĆ
- Wyniki kolokwium nr 1
- Wyniki 1. poprawy kolokwium nr 1
- Wyniki kolokwium nr 2
- OCENY KOŃCOWE
[edytuj]
Harmonogram zajęć
- Rachunek zdań i kwantyfikatorów
- Rachunek zdań i kwantyfikatorów + dowodzenie
- Dowodzenie + teoria zbiorów
- Teoria zbiorów
- Teoria zbiorów + relacje
- Relacje
- KOLOKWIUM NR 1
- Kombinatoryka
- Kombinatoryka + teoria liczb
- Teoria liczb
- Teoria liczb
- Teoria liczb
- Struktury algebraiczne
- Struktury algebraiczne
- KOLOKWIUM NR 2
[edytuj]
Poprawy
- 1. poprawa kolokwium nr 1 - 24.05.2023 r. (sala WI1-215) 12:00 - 13:30
[edytuj]
Listy zadań
- Lista nr 1 - rachunek zdań i kwantyfikatorów
- Lista nr 2 - dowodzenie
- Lista nr 3 - teoria zbiorów
- Lista nr 4 - relacje
- Lista nr 6 - kombinatoryka
- Lista nr 7 - teoria liczb
- Lista nr 8 - struktury algebraiczne
[edytuj]
Teoria
- Teoria cz. 1. - rachunek zdań i kwantyfikatorów
- Teoria cz. 2. - dowodzenie
- Teoria cz. 3. - teoria zbiorów + prawa rachunku zbiorów
- Teoria cz. 4. - relacje
- Teoria cz. 6. - kombinatoryka
- Teoria cz. 7. - teoria liczb
- Teoria cz. 8. - struktury algebraiczne
[edytuj]
Programistyczne zadania domowe DLA CHĘTNYCH (wysłać na e-mail najpóźniej do końca podanego dnia)
- Zadanie nr 1 - tautologie (termin: 31.03.2023 r.) [0,6 pkt]
- Zadanie nr 2 - relacje równoważności (termin: dzień kolokwium nr 1 - inny dla każdej z grup) [0,6 pkt]
- Zadanie nr 3 - badanie pierwszości i relacja podzielności (termin: 31.05.2023 r.) [0,6 pkt]
- Zadanie nr 4 - faktoryzacja rho Pollarda (termin: 31.05.2023 r.) [0,45 pkt]
- Zadanie nr 5 - Chińskie Twierdzenie o resztach (termin: 11.06.2023 r.) [0,3 pkt]
- Zadanie nr 6 - szybkie potęgowanie (termin: 11.06.2023 r.) [0,3 pkt]
- Zadanie nr 7 - grupy cykliczne (termin: 11.06.2023 r.) [0,6 pkt]
[edytuj]
