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 09:04, 19 mar 2019 (edytuj)
Pogonowski (Dyskusja | wkład)
(Wykłady)
← Poprzednia edycja
Aktualna wersja (15:28, 18 cze 2022) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022)
 
(13 intermediate revisions not shown.)
Linia 12: Linia 12:
---- ----
-=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2018-2019=+=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022=
* Wykład dla III roku kognitywistyki UAM * Wykład dla III roku kognitywistyki UAM
-* Wtorek, 13:15-14:45, sala 310+* Wtorek, 13:15-14:45, sala kinowa; w r.ak. 2021/2022 w MS Teams
-* Koordynator modułu kształcenia: dr Dorota Leszczyńska-Jasion+* Koordynator modułu kształcenia: prof. UAM dr hab. Dorota Leszczyńska-Jasion
* Prowadzący wykład: prof. dr hab. Jerzy Pogonowski * Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
-* Prowadzący konwersatorium: dr Dorota Leszczyńska-Jasion+* Prowadzący konwersatorium: mgr Agata Tomczyk
-* Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz+* Prowadzący zajęcia w pracowni komputerowej: dr Szymon Chlebowski
==Wykłady== ==Wykłady==
Linia 42: Linia 42:
* [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]] * [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]]
-* [[Media: mdtiar06.pdf | Rezolucja]]+* [[Media: tabsyn.pdf | Tabele syntetyczne]]
 + 
 +* [[Media: mdtiar06x.pdf | Rezolucja]]
* [[Media: mdtiar06b.pdf | Rezolucja: przykłady]] * [[Media: mdtiar06b.pdf | Rezolucja: przykłady]]
-* [[Media: mdtiar07.pdf | Dedukcja naturalna]]+* [[Media: dednat01.pdf | Dedukcja naturalna: stylizacja Fittinga]]
 + 
 +* [[Media: mdtiar07.pdf | Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego]]
* [[Media: mdtiar08.pdf | Rachunki sekwentów]] * [[Media: mdtiar08.pdf | Rachunki sekwentów]]
-* [[Media: mdtiar09.pdf | Unifikacja]]+* [[Media: mdtiar09y.pdf | Unifikacja]]
* [[Media: mdtiar10.pdf | Funkcje rekurencyjne]] * [[Media: mdtiar10.pdf | Funkcje rekurencyjne]]
Linia 84: Linia 88:
* UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr Szymon Chlebowski * UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr Szymon Chlebowski
* [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015 * [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015
-* [[Media: mdt3xi2015.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: mdt06.pdf | Rezolucja.]] 17xi2015 * [[Media: mdt06.pdf | Rezolucja.]] 17xi2015
-* [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015+* [[Media: mdt07.pdf | Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego.]] 24xi2015
* [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015 * [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015
-* [[Media: mdt09.pdf | Unifikacja.]] 8xii2015+* [[Media: mdt09y.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

Aktualna wersja

Spis treści

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


[edytuj] Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022

  • Wykład dla III roku kognitywistyki UAM
  • Wtorek, 13:15-14:45, sala kinowa; w r.ak. 2021/2022 w MS Teams
  • Koordynator modułu kształcenia: prof. UAM dr hab. Dorota Leszczyńska-Jasion
  • Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
  • Prowadzący konwersatorium: mgr Agata Tomczyk
  • Prowadzący zajęcia w pracowni komputerowej: dr Szymon Chlebowski

[edytuj] Wykłady

[edytuj] Materiały zaliczeniowe 2016-2017

[edytuj] Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

[edytuj] Prezentacje

[edytuj] Konwersatoria