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 19:42, 18 sty 2016 (edytuj)
Pogonowski (Dyskusja | wkład)
(Metody dowodzenia twierdzeń i automatyzacja rozumowań)
← Poprzednia edycja
Wersja z dnia 20:27, 18 sty 2016 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Wykłady)
Następna edycja →
Linia 35: Linia 35:
* [[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: mdt12i2016.pdf | Arytmetyzacja składni.]] 12i2016
-* [[Media: mdt13.pdf | Wybrane twierdzenia metalogiczne.]] 19i2016+* [[Media: mdt19i2016.pdf | Wybrane twierdzenia metalogiczne.]] 19i2016
* [[Media: mdt14.pdf | Rozstrzygalność.]] 26i2016 * [[Media: mdt14.pdf | Rozstrzygalność.]] 26i2016

Wersja z dnia 20:27, 18 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