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 18:58, 1 kwi 2019 (edytuj)
Pogonowski (Dyskusja | wkład)
(Prezentacje)
← Poprzednia edycja
Wersja z dnia 18:59, 1 kwi 2019 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Prezentacje)
Następna edycja →
Linia 86: Linia 86:
* [[Media: mdt3xi2015p.pdf | Postacie normalne i prefiksowe.]] 3xi2015 * [[Media: mdt3xi2015p.pdf | Postacie normalne i prefiksowe.]] 3xi2015
* [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015 * [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015
-* [[Media: mdt06x.pdf | Rezolucja.]] 17xi2015+* [[Media: mdt06.pdf | Rezolucja.]] 17xi2015
* [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015 * [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015
* [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015 * [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015
-* [[Media: mdt09.pdf | Unifikacja.]] 8xii2015+* [[Media: mdt09x.pdf | Unifikacja.]] 8xii2015
* [[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

Wersja z dnia 18:59, 1 kwi 2019

Spis treści

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


Metody dowodzenia twierdzeń i automatyzacja rozumowań 2018-2019

  • Wykład dla III roku kognitywistyki UAM
  • Wtorek, 13:15-14:45, sala 310
  • Koordynator modułu kształcenia: dr Dorota Leszczyńska-Jasion
  • Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
  • Prowadzący konwersatorium: dr Dorota Leszczyńska-Jasion
  • Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz

Wykłady

Materiały zaliczeniowe 2016-2017

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

Prezentacje

Konwersatoria