Matematyczne podstawy
informatyki
Ważne materiały:
-
Zasady zaliczania przedmiotu
pdf
-
Program przedmiotu
pdf
-
Lista zadań nr 1, poprawiłem ostatnie zadanie
pdf
-
Lista zadań nr 2, zadania 6 i 7 moga wymagac wskazowek
pdf
-
Lista zadań nr 3
pdf
-
Rozwi±zanie zadania 11 z listy 1
pdf
-
Rozwi±zanie zadania 7 z listy 2
pdf
-
Lista zadań nr 4
pdf
-
Lista zadań nr 5
pdf
-
Lista zadań nr 6
pdf
-
Lista egzaminacyjna, wersja 1
pdf
-
Lista egzaminacyjna, wersja 2
pdf
-
Lista egzaminacyjna, wersja 3
pdf
-
Lista egzaminacyjna, ostateczna
pdf
-
Nowe materiały do wykładu cz. 1: Funkcje rekurencyjne, wersja wstępna
pdf
-
Nowe materiały do wykładu cz. 2: Formalizacja logiki, wersja wstępna
pdf
-
Nowe materiały do wykładu cz. 3: Twierdzenie Goedla, wersja wstępna
pdf
-
Nowe materiały do wykładu cz. 4: Twierdzenie Herbranda
pdf
-
Church, jego rachunek i teza, artykul popularny
pdf
-
Herbrand i jego algorytm, artykul popularny
pdf
-
Materiały do wykładu cz. 1, Twierdzenie Goedla (2014)
pdf
-
Materiały do wykładu cz. 2: Formalizacja logiki (2014), wersja wstępna
pdf
Materiały dodatkowe:
-
Materiały do wykładu: Funkcje rekurencyjne (2012)
pdf
-
Materiały do wykładu: Twierdzenie Herbranda (2012)
pdf
-
Materiały do wykładu cz. 1 (2009)
pdf
-
Rachunek różniczkowy i całkowy Kuratowskiego, fragment
pdf
-
Praca Goedla (tłumaczenie studenckie)
pdf
-
Materiały do wykładu cz. 2, twierdzenie o pełno¶ci (2009)
pdf
-
Materiały do wykładu cz. 3, twierdzenie Herbranda (2009)
pdf