Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 12:07, 4 kwi 2016 (edytuj)
Stria (Dyskusja | wkład)

← Poprzednia edycja
Wersja z dnia 18:40, 20 kwi 2016 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Zakład Logiki i Kognitywistyki UAM)
Następna edycja →
Linia 109: Linia 109:
* [[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ń==+==Poznanie matematyczne==
-* [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]]+* [[matcog | Poznanie matematyczne]]
==Zagadki== ==Zagadki==
* [[zagadki2016 | Zagadki]] * [[zagadki2016 | Zagadki]]
 +
 +==Metody dowodzenia twierdzeń i automatyzacja rozumowań==
 +
 +* [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]]
==Językoznawstwo ogólne== ==Językoznawstwo ogólne==
* [[jog | Językoznawstwo ogólne]] * [[jog | Językoznawstwo ogólne]]

Wersja z dnia 18:40, 20 kwi 2016

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

Projekt badawczy NCN

Poznanie matematyczne

Zagadki

Metody dowodzenia twierdzeń i automatyzacja rozumowań

Językoznawstwo ogólne