Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 17:36, 5 cze 2022 (edytuj)
Pogonowski (Dyskusja | wkład)
(Pracownik Jerzy Pogonowski: posługa dydaktyczna)
← Poprzednia edycja
Wersja z dnia 21:32, 5 cze 2022 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Pracownik Jerzy Pogonowski: posługa dydaktyczna)
Następna edycja →
Linia 114: Linia 114:
* [[mpk | Matematyczne podstawy kognitywistyki]] * [[mpk | Matematyczne podstawy kognitywistyki]]
- 
-===Metalogika=== 
- 
-* [[met | Metalogika]] 
===Metody dowodzenia twierdzeń i automatyzacja rozumowań=== ===Metody dowodzenia twierdzeń i automatyzacja rozumowań===
Linia 127: Linia 123:
* [[jog | Językoznawstwo ogólne]] * [[jog | Językoznawstwo ogólne]]
-===Poznanie matematyczne===+===Zagadki matematyczne===
- +
-* [[matcog | Poznanie matematyczne]]+
- +
-===Zagadki===+
* [[zagadki2016 | Zagadki]] * [[zagadki2016 | Zagadki]]
Linia 138: Linia 130:
* [[loa | Logika algebraiczna]] * [[loa | Logika algebraiczna]]
 +
 +===Metalogika===
 +
 +* [[met | Metalogika]]
 +
 +===Poznanie matematyczne===
 +
 +* [[matcog | Poznanie matematyczne]]

Wersja z dnia 21:32, 5 cze 2022

Spis treści

dr Victoria Kamasa

Archiwum:


dr hab. Włodzimierz Lapis


dr Michał Lipnicki

Archiwum:


dr Dorota Lipowska



dr Sławomir Sikora


dr Ida Stria

Archiwum:

mgr Anna Wartecka



Zakład Logiki i Kognitywistyki UAM

Pracownik Jerzy Pogonowski: CV

Pracownik Jerzy Pogonowski: projekt badawczy NCN

Pracownik Jerzy Pogonowski: posługa dydaktyczna

Matematyczne podstawy kognitywistyki

Metody dowodzenia twierdzeń i automatyzacja rozumowań

Językoznawstwo ogólne

Zagadki matematyczne

Logika algebraiczna

Metalogika

Poznanie matematyczne