Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 20:57, 15 gru 2015 (edytuj)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
← Poprzednia edycja
Wersja z dnia 21:04, 15 gru 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
Następna edycja →
Linia 112: Linia 112:
* [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]] * [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]]
-==Rozwiązywanie problemów matematycznych==+==Zagadki==
* [[zagadki2016 | Zagadki]] * [[zagadki2016 | Zagadki]]

Wersja z dnia 21:04, 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

Pracownik Jerzy Pogonowski

Projekt badawczy NCN

Metody dowodzenia twierdzeń i automatyzacja rozumowań

Zagadki

Językoznawstwo ogólne