Marek Zaionc
Back to the main page
DYŻURY W SEMESTRZE ZIMOWYM 2025/26: POKÓJ 3066, WE WTOREK 10:30-12:00
ORAZ W CZWARTEK 14:15 - 15:30. W POZOSTAŁE DNI PO UPRZEDNIM TELEFONICZNYM LUB
EMAILOWYM USTALENIU TERMINU.
MATERIAŁY DO METOD FORMALNYCH INFORMATYKI W ROKU 2025/26,
semestr zimowy
MATERIAŁY DO TEORII PROGRAMOWANIA 2025/26 semestr
zimowy.
Jako uzupełnienie do TP2025/26 zalecam ciekawe kompendium problemów
nierozstrzygalnych Bjorn Poonen Undecidable
Problems: A Sampler jak również pracę Piergiorgio Odifreddi, Godel for
Children, zawierajacy prosty dowód twierdzenia Godela.
Zasady zaliczania kursu TP2025/26 są dostęne w systemie USOS.
ZALICZENIE: Warunkiem otrzymania zaliczenia z ćwiczeń jest uzyskanie więcej
niż 50 punktów łącznie za kolokwium i za aktywność na ćwiczeniach. W ramach
aktywności będą oceniane zadania do rozwiązania (35%) aktywność na ćwiczeniach
(10%) jak i prezentacja referatu (15%). 40% będzie przyznawane za ocenę z
kolokwium. Kolokwium wspólne odbędzie się w poniedziałek 21 stycznia 2026 w
terminie wykładu.
EGZAMIN: Warunkiem przystąpienia do egzaminu jest otrzymanie pozytywnego
(3.0 lub więcej) zaliczenia z ćwiczeń. Egzamin ustny odbędzie się w dniach 9-12
lutego 2026 od godziny 10 do 18. Ocena końcowa jest średnią z odpowiedzi
egzaminacyjnej i oceny z zaliczenia.
EGZAMIN POPRAWKOWY: Studenci którzy nie zdali egzaminu lub nie otrzymali
zaliczenia z ćwiczeń będą mogli przystąpić do egzaminu poprawkowego. Egzamin
poprawkowy odbędzie się około 13 lutego 2026.
SKALA OCEN: od 0 do 50 niedostateczny, od 51 do 60 dostateczny, od 61 do 70
dostateczny+, od 71 do 80 dobry, od 81 do 90 dobry+, od 91 do 100 bardzo
dobry.
MATERIAŁY DO PROGRAMOWANIA W LOGICE 2022/23 semestr
letni.
MATERIAŁY NA DZIEŃ WYDZIAŁU 2020.