Oficjalny program wykładu

Literatura uzupełniająca
1. L. Kołodziejczyk, "Notatki do wykładu z logiki").
2. Z. Adamowicz, P. Zbierski, ,,Logika matematyczna'', PWN 1991.
3. H.E. Enderton, ,,A mathematical introduction to logic", Academic Press 2001.
4. P.G. Hinman, ,,Fundamentals of Mathematical Logic", A K Peters 2005.
5. A.S. Kechris, Lecture notes
6. I.A. Ławrow, Ł.A. Maksimowa, ,,Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów", PWN 2004.
7. W. Marek, J. Onyszkiewicz, ,,Elementy logiki i teorii mnogości w zadaniach'', PWN 2001.
8. P. Urzyczyn "Zadania z logiki").





Zasady zaliczania ćwiczeń w roku akademickim 2019/2020

1. Obecność na ćwiczeniach jest obowiązkowa. Trzy nieusprawiedliwione nieobecności mogą spowodować, zgodnie z Regulaminem Studiów, utratę prawa do zaliczania przedmiotu.

2. Do egzaminu w pierwszym terminie dopuszczone zostaną osoby, które uzyskają co najmniej 50% punktów z zadań domowych.

3. Rozwiązane zadania domowe są zgłaszane na początku ćwiczeń wraz z wpisem na listę obecności. Jeśli okaże się, że zgłoszone zadanie, wbrew przekonaniu zgłaszającego, zostało rozwiązane błędnie, punkt za to zadanie nie zostanie przyznany. Świadome zgłoszenie zadania, którego się nie rozwiązało, może być podstawą utraty wszystkich dotychczas zebranych punktów.

4. W przypadku usprawiedliwionej nieobecności na ćwiczeniach, zadania domowe, przypadające na dni nieobecności, można zaliczyć w terminie i formie uzgodnionej z prowadzącym ćwiczenia.





Egzamin z 1.03.2010 ( .pdf )

Egzamin z 24.01.2012 ( .pdf )

Egzamin z 31.01.2013 ( .pdf )

Egzamin z 4.03.2013 ( .pdf )

Egzamin z 30.01.2014 ( .pdf )

Egzamin z 30.01.2015 ( .pdf )

Egzamin z 3.02.2016 ( .pdf )

Egzamin z 22.02.2016 ( .pdf )

Egzamin z 7.02.2017 ( .pdf )

Egzamin z 22.02.2017 ( .pdf )

Egzamin z 6.02.2018 ( .pdf )

Egzamin z 19.02.2018 ( .pdf )

Egzamin z 29.01.2019 ( .pdf )

Egzamin z 23.02.2019 ( .pdf )

Egzamin z 31.01.2020 ( .pdf )



Zadania na 15.10.2019 ( .pdf )

Zadania na 22.10.2019 ( .pdf )

Zadania na 29.10.2019 ( .pdf )

Zadania na 5.11.2019 ( .pdf )

Zadania na 12.11.2019 ( .pdf )

Zadania na 19.11.2019 ( .pdf )

Zadania na 26.11.2019 ( .pdf )

Zadania na 3.12.2019 ( .pdf )

Zadania na 10.12.2019 ( .pdf )

Zadania na 17.12.2019 ( .pdf )

Zadania na 7.1.2020 ( .pdf )

Zadania na 14.01.2020 ( .pdf )

Zadania na 21.01.2020 ( .pdf )