Marek Zaionc
Back to the main page
DYŻURY W SEMESTRZE ZIMOWYM 2026/27. Konsultacje w pokoju 3066 we
wtorki 10:30 - 12:00 oraz we czwartki o 13:00-14:00. W pozostałe dni
konsultacje są możliwe po uprzednim emailowym ustaleniu terminu.
MATERIAŁY DO METOD FORMALNYCH INFORMATYKI W ROKU 2026/27,
semestr zimowy
MATERIAŁY DO TEORII PROGRAMOWANIA 2026/27 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 TP2026/27 są dostęne w systemie USOS.
ZALICZENIE: Warunkiem otrzymania zaliczenia z ćwiczeń jest uzyskanie więcej
niż połowę punktów procentowych za: 50% kolokwium 20% referat 20% deklaracje
zadań 10% aktywność na ćwiczeniach. Przy czym połowę punktów należy zdobyć
osobno w każdej z tych czterech kategorii.
Kolokwium wspólne odbędzie się w poniedziałek 11 stycznia 2027 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 1-5
lutego 2027 od godziny 10 do 18. Oceną końcowa przedmiotu będzie ś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 19 lutego 2027.
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 2026/27 semestr
letni.
MATERIAŁY NA DZIEŃ WYDZIAŁU 2020.