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 16:34, 25 mar 2021 (edytuj)
Pogonowski (Dyskusja | wkład)
(Metody dowodzenia twierdzeń i automatyzacja rozumowań 2020-2021)
← Poprzednia edycja
Aktualna wersja (15:28, 18 cze 2022) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022)
 
(2 intermediate revisions not shown.)
Linia 12: Linia 12:
---- ----
-=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2020-2021=+=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 kinowa; w r.ak. 2020/2021 w MS Teams+* 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 * Koordynator modułu kształcenia: prof. UAM dr hab. Dorota Leszczyńska-Jasion
Linia 24: Linia 24:
* Prowadzący konwersatorium: mgr Agata Tomczyk * Prowadzący konwersatorium: mgr Agata Tomczyk
-* Prowadzący zajęcia w pracowni komputerowej: dr Michał Sochański+* Prowadzący zajęcia w pracowni komputerowej: dr Szymon Chlebowski
==Wykłady== ==Wykłady==
Linia 41: Linia 41:
* [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]] * [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]]
 +
 +* [[Media: tabsyn.pdf | Tabele syntetyczne]]
* [[Media: mdtiar06x.pdf | Rezolucja]] * [[Media: mdtiar06x.pdf | Rezolucja]]

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