Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 11:47, 18 lis 2015 (edytuj)
Pogonowski (Dyskusja | wkład)
(Konwersatoria)
← Poprzednia edycja
Wersja z dnia 16:54, 9 paź 2018 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Pracownik Jerzy Pogonowski: posługa dydaktyczna)
Następna edycja →
(24 intermediate revisions not shown.)
Linia 4: Linia 4:
*[[Victoria Kamasa - Proseminarium licencjackie (JK)|Proseminarium licencjackie (JK)]] *[[Victoria Kamasa - Proseminarium licencjackie (JK)|Proseminarium licencjackie (JK)]]
*[[Victoria Kamasa - Semiotyka logiczna|Semiotyka logiczna]] *[[Victoria Kamasa - Semiotyka logiczna|Semiotyka logiczna]]
- 
-Archiwum: 
*[[Victoria Kamasa - Analiza danych w naukach filologicznych (WSD)|Analiza danych w naukach filologicznych (WSD)]] *[[Victoria Kamasa - Analiza danych w naukach filologicznych (WSD)|Analiza danych w naukach filologicznych (WSD)]]
*[[Victoria Kamasa - Prezentacja akademicka|Prezentacja akademicka (WSD)]] *[[Victoria Kamasa - Prezentacja akademicka|Prezentacja akademicka (WSD)]]
 +*[[Victoria Kamasa - Przedsiębiorczość dla językoznawców|Przedsiębiorczość dla językoznawców]]
 +*[[Victoria Kamasa - Praktyczna metodologia...|Praktyczna metodologia...]]
 +
 +Archiwum:
 +
*[[Victoria Kamasa - Seminarium 2015|Seminarium 2015]] *[[Victoria Kamasa - Seminarium 2015|Seminarium 2015]]
*[[Victoria Kamasa - Seminarium 2014|Seminarium 2014]] *[[Victoria Kamasa - Seminarium 2014|Seminarium 2014]]
Linia 16: Linia 19:
*[[Victoria Kamasa - Filozofia z elementami logiki 2015|Filozofia z elementami logiki]] *[[Victoria Kamasa - Filozofia z elementami logiki 2015|Filozofia z elementami logiki]]
*[[Victoria Kamasa - Socjolingwistyka|Socjolingwistyka]] *[[Victoria Kamasa - Socjolingwistyka|Socjolingwistyka]]
-*[[Victoria Kamasa - Przedsiębiorczość dla językoznawców|Przedsiębiorczość dla językoznawców]] 
- 
*[[Victoria Kamasa - Statystyka_JK|Statystyka (JK)]] *[[Victoria Kamasa - Statystyka_JK|Statystyka (JK)]]
*[[Victoria Kamasa - Wprowadzenie do Krytycznej Analizy Dyskursu|Wprowadzenie do Krytycznej Analizy Dyskursu]] *[[Victoria Kamasa - Wprowadzenie do Krytycznej Analizy Dyskursu|Wprowadzenie do Krytycznej Analizy Dyskursu]]
-*[[Victoria Kamasa - Praktyczna metodologia...|Praktyczna metodologia...]]+ 
[[Category:Dydaktyka]] [[Category:Dydaktyka]]
[[Category:Pracownicy]] [[Category:Pracownicy]]
Linia 74: Linia 75:
---- ----
-=mgr Ida Stria=+=dr Ida Stria=
*[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 30h]] *[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 30h]]
Linia 100: Linia 101:
* [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]+==Pracownik Jerzy Pogonowski: CV==
 + 
 +* [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Pracownik Jerzy Pogonowski]
 + 
 +==Pracownik Jerzy Pogonowski: projekt badawczy NCN==
 + 
 +* [[ncn2015jp | National Science Centre research project 2015/17/B/HS1/02232 '''Extremal axioms: logical, mathematical and cognitive aspects''']]
 + 
 +==Pracownik Jerzy Pogonowski: posługa dydaktyczna==
 + 
 +===Matematyczne podstawy kognitywistyki===
 + 
 +* [[mpk | Matematyczne podstawy kognitywistyki]]
 + 
 +===Metalogika===
 + 
 +* [[met | Metalogika]]
-==Metody dowodzenia twierdzeń i automatyzacja rozumowań==+===Metody dowodzenia twierdzeń i automatyzacja rozumowań===
-* [[Media: 08_KODM_MDT2015.pdf | Syllabus]]+* [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]]
-===Wykłady===+===Językoznawstwo ogólne===
-* [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015+* [[jog | Językoznawstwo ogólne]]
-* [[Media: mdt13x2015.pdf | Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji.]] 13x2015+
-* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski+
-* [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015+
-* [[Media: mdt3xi2015.pdf | Postacie normalne i prefiksowe.]] 3xi2015+
-* [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015+
-* [[Media: mdt06.pdf | Rezolucja.]] 17xi2015+
-* Dedukcja naturalna+
-* Rachunki sekwentów+
-* Unifikacja+
-* Teoria rekursji a metody dowodowe+
-* Wybrane twierdzenia metalogiczne i metody ich dowodzenia+
-* Rozstrzygalność+
-* Automatyzacja rozumowań+
-* Dowody matematyczne+
-===Konwersatoria===+===Poznanie matematyczne===
-* [[Media: kon01.pdf | 6 października 2015]]+* [[matcog | Poznanie matematyczne]]
-* [[Media: kon13x2015.pdf | 13 października 2015]]+
-* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski+
-* [[Media: kon03.pdf | 27 października 2015]]+
-* [[Media: kon04.pdf | 3 listopada 2015]]+
-* [[Media: kon10xi2015.pdf | 10 listopada 2015]]+
-* [[Media: kon06.pdf | 17 listopada 2015]]+
-* [[Media: kon07.pdf | Powtórka, 24 listopada 2015]]+
-* Kolokwium. 1 grudnia 2015.+
-==Zagadki==+===Zagadki===
-* [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski:_Zagadki Zagadki]+* [[zagadki2016 | Zagadki]]

Wersja z dnia 16:54, 9 paź 2018

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

Metalogika

Metody dowodzenia twierdzeń i automatyzacja rozumowań

Językoznawstwo ogólne

Poznanie matematyczne

Zagadki