Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Mdtiar

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 20:27, 18 sty 2016 (edytuj)
Pogonowski (Dyskusja | wkład)
(Wykłady)
← Poprzednia edycja
Wersja z dnia 18:14, 25 sty 2016 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Wykłady)
Następna edycja →
Linia 34: Linia 34:
* [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015 * [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015
* [[Media: mdt22xii2015se.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015 * [[Media: mdt22xii2015se.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015
-* [[Media: mdt12i2016.pdf | Arytmetyzacja składni.]] 12i2016+* [[Media: mdt12i2016c.pdf | Arytmetyzacja składni.]] 12i2016
* [[Media: mdt19i2016.pdf | Wybrane twierdzenia metalogiczne.]] 19i2016 * [[Media: mdt19i2016.pdf | Wybrane twierdzenia metalogiczne.]] 19i2016
-* [[Media: mdt14.pdf | Rozstrzygalność.]] 26i2016+* [[Media: mdt26i2016.pdf | Rozstrzygalność.]] 26i2016
===Konwersatoria=== ===Konwersatoria===

Wersja z dnia 18:14, 25 sty 2016

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Metody dowodzenia twierdzeń i automatyzacja rozumowań

Wykład i konwersatorium dla V roku kognitywistyki UAM

Wykłady

Konwersatoria