Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 19:11, 15 gru 2015 (edytuj)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
← Poprzednia edycja
Wersja z dnia 19:14, 15 gru 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
Następna edycja →
Linia 102: Linia 102:
* [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Jerzy Pogonowski] * [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Jerzy Pogonowski]
-* [ncn2015jp Projekt badawczy NCN '''Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne''']+* [[ncn2015jp | Projekt badawczy NCN '''Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne''']]
==Metody dowodzenia twierdzeń i automatyzacja rozumowań== ==Metody dowodzenia twierdzeń i automatyzacja rozumowań==

Wersja z dnia 19:14, 15 gru 2015

Spis treści

dr Victoria Kamasa

Archiwum:


dr hab. Włodzimierz Lapis


dr Michał Lipnicki

Archiwum:


dr Dorota Lipowska



dr Sławomir Sikora


mgr Ida Stria

Archiwum:

mgr Anna Wartecka



Zakład Logiki i Kognitywistyki UAM

Metody dowodzenia twierdzeń i automatyzacja rozumowań

Wykłady

Konwersatoria

Zagadki