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:39, 19 lut 2019 (edytuj)
Pogonowski (Dyskusja | wkład)
(Prezentacje)
← Poprzednia edycja
Wersja z dnia 19:39, 19 lut 2019 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Konwersatoria)
Następna edycja →
Linia 100: Linia 100:
* [[Media: kon6x2015.pdf | 6 października 2015]] * [[Media: kon6x2015.pdf | 6 października 2015]]
* [[Media: kon13x2015.pdf | 13 października 2015]] * [[Media: kon13x2015.pdf | 13 października 2015]]
-* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski+* UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr Szymon Chlebowski
* [[Media: kon03.pdf | 27 października 2015]] * [[Media: kon03.pdf | 27 października 2015]]
* [[Media: kon04.pdf | 3 listopada 2015]] * [[Media: kon04.pdf | 3 listopada 2015]]

Wersja z dnia 19:39, 19 lut 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