Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 16:30, 5 paź 2015 (edytuj)
Pogonowski (Dyskusja | wkład)

← Poprzednia edycja
Wersja z dnia 16:40, 5 paź 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
Następna edycja →
Linia 95: Linia 95:
=Zakład Logiki i Kognitywistyki UAM= =Zakład Logiki i Kognitywistyki UAM=
-[https://wns.amu.edu.pl/ Wydział Nauk Społecznych UAM]+* [https://wns.amu.edu.pl/ Wydział Nauk Społecznych UAM]
-[http://www.psychologia.amu.edu.pl/ Instytut Psychologii UAM]+* [http://www.psychologia.amu.edu.pl/ Instytut Psychologii UAM]
-[http://kognitywistyka.amu.edu.pl/ Zakład Logiki i Kognitywistyki UAM]+* [http://kognitywistyka.amu.edu.pl/ Zakład Logiki i Kognitywistyki UAM]
-[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]
==Metody dowodzenia twierdzeń i automatyzacja rozumowań== ==Metody dowodzenia twierdzeń i automatyzacja rozumowań==

Wersja z dnia 16:40, 5 paź 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