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.



Program seminarium Katedry Podstaw Informatyki w roku akademickim 2025/26.



MATERIAŁY DO METOD FORMALNYCH INFORMATYKI W ROKU 2025/26, semestr zimowy

Opis kursu.



MATERIAŁY DO TEORII PROGRAMOWANIA 2025/26 semestr zimowy.

Opis kursu.

Pytania do teorii programowania w roku 2025/26.

Materiały na temat rachunku lambda do kursu TP2025/26.

Bardzo ciekawy i kompletny dowód Pawła Pilarczyka na temat tego, że funkcja Ackermanna nie jest pierwotnie rekurencyjna.

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.

Opis kursu.

Pytania do TPL2022/23 wersja .pdf



MATERIAŁY NA DZIEŃ WYDZIAŁU 2020.

Wykład na dzień wydziału 4.03.2020