Marek Zaionc
Back to the main page
DYŻURY W SEMESTRZE ZIMOWYM 2023/24: POKÓJ 3066, W PONIEDZIAŁEK
10:30-12:00 ORAZ W ŚRODĘ 11:00-12:00. W POZOSTAŁE DNI PO UPRZEDNIM
TELEFONICZNYM LUB EMAILOWYM USTALENIU TERMINU.
MATERIAŁY DO METOD FORMALNYCH INFORMATYKI W ROKU 2023/24,
semestr zimowy
MATERIAŁY DO TEORII PROGRAMOWANIA 2023/24 semestr letni.
Jako uzupełnienie do TP2023/24 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 TP2023/24 są dostęne w systemie USOS.
ZALICZENIE: Warunkiem otrzymania zaliczenia z ćwiczeń jest uzyskanie więcej
niż 50 punktów na kolokwium i za aktywność na ćwiczeniach. W ramach aktywności
będą oceniane zadania do rozwiązania (45%) jak i prezentacja referatu (15%).
40% będzie przyznawane za ocenę z kolokwium. Kolokwium wspólne odbędzie się w
poniedziałek 5 czerwca 2023 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
19-20 czerwca 2023 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 15 września 2023.
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.