Site programming by Marcin Junczys-Dowmunt



 
 
 
Artykuł
dyskusja
Edytuj
Historia
W innych językach: English | Deutsch

Mdtiar

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 16:11, 5 paź 2016 (edytuj)
Pogonowski (Dyskusja | wkład)
(→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2016-2017)
← Poprzednia edycja		 Wersja z dnia 16:33, 5 paź 2016 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(→Wykłady)
Następna edycja →
Linia 28: Linia 28:
===Wykłady=== ===Wykłady===
-* [[Media: mdtiar01.pdf | Wprowadzenie]]+* [[Media: mdtiar01x.pdf | Wprowadzenie]]
==Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016== ==Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016==

Wersja z dnia 16:33, 5 paź 2016

Spis treści

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

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2016-2017

  • Wykład dla III roku kognitywistyki UAM
  • Wtorek, 10:30-11:15, sala 304
  • 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

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

Wykłady

Konwersatoria

Źródło: "http://logic.amu.edu.pl/index.php/Mdtiar"