Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 16:25, 5 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Zakład Logiki i Kognitywistyki UAM) ← Poprzednia edycja |
Aktualna wersja (16:01, 15 lis 2024) (edytuj) (undo) Stria (Dyskusja | wkład) |
||
| (53 intermediate revisions not shown.) | |||
| Linia 1: | Linia 1: | ||
| =dr Victoria Kamasa= | =dr Victoria Kamasa= | ||
| - | + | *[[Victoria Kamasa - Statystyka|Statystyka (JiNoI)]] | |
| - | *[[Victoria Kamasa - Seminarium 2015|Seminarium 2015]] | + | *[[Victoria Kamasa - Logika|Logika]] |
| - | *[[Victoria Kamasa - Wprowadzenie do Krytycznej Analizy Dyskursu|Wprowadzenie do Krytycznej Analizy Dyskursu]] | + | |
| - | *[[Victoria Kamasa - Praktyczna metodologia...|Praktyczna metodologia...]] | + | |
| - | *[[Victoria Kamasa - Prezentacja akademicka|Prezentacja akademicka (WSD)]] | + | |
| *[[Victoria Kamasa - Proseminarium licencjackie (JK)|Proseminarium licencjackie (JK)]] | *[[Victoria Kamasa - Proseminarium licencjackie (JK)|Proseminarium licencjackie (JK)]] | ||
| + | *[[Victoria Kamasa - Semiotyka logiczna|Semiotyka logiczna]] | ||
| + | *[[Victoria Kamasa - Analiza danych w naukach filologicznych (WSD)|Analiza danych w naukach filologicznych (WSD)]] | ||
| + | *[[Victoria Kamasa - Prezentacja akademicka|Prezentacja akademicka (WSD)]] | ||
| *[[Victoria Kamasa - Przedsiębiorczość dla językoznawców|Przedsiębiorczość dla językoznawców]] | *[[Victoria Kamasa - Przedsiębiorczość dla językoznawców|Przedsiębiorczość dla językoznawców]] | ||
| + | *[[Victoria Kamasa - Praktyczna metodologia...|Praktyczna metodologia...]] | ||
| Archiwum: | Archiwum: | ||
| - | *[[Victoria Kamasa - Analiza danych w naukach filologicznych (WSD)|Analiza danych w naukach filologicznych (WSD)]] | + | |
| + | *[[Victoria Kamasa - Seminarium 2015|Seminarium 2015]] | ||
| *[[Victoria Kamasa - Seminarium 2014|Seminarium 2014]] | *[[Victoria Kamasa - Seminarium 2014|Seminarium 2014]] | ||
| *[[Victoria Kamasa - Seminarium 2013|Seminarium 2013]] (tu: ukończone prace licencjackie wraz z recenzjami) | *[[Victoria Kamasa - Seminarium 2013|Seminarium 2013]] (tu: ukończone prace licencjackie wraz z recenzjami) | ||
| Linia 16: | Linia 18: | ||
| *[[Victoria Kamasa - Filozofia z elementami logiki|Filozofia z elementami logiki]] | *[[Victoria Kamasa - Filozofia z elementami logiki|Filozofia z elementami logiki]] | ||
| *[[Victoria Kamasa - Filozofia z elementami logiki 2015|Filozofia z elementami logiki]] | *[[Victoria Kamasa - Filozofia z elementami logiki 2015|Filozofia z elementami logiki]] | ||
| - | *[[Victoria Kamasa - Logika|Logika]] | ||
| *[[Victoria Kamasa - Socjolingwistyka|Socjolingwistyka]] | *[[Victoria Kamasa - Socjolingwistyka|Socjolingwistyka]] | ||
| - | *[[Victoria Kamasa - Statystyka|Statystyka (JiNoI)]] | ||
| *[[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 - Metodologia językoznawstwa w praktyce|Metodologia językoznawstwa w praktyce]] | + | |
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
| Linia 33: | Linia 32: | ||
| *[[Wlodzimierz Lapis - Dydaktyka|Lingwistyka]] | *[[Wlodzimierz Lapis - Dydaktyka|Lingwistyka]] | ||
| *[[Wlodzimierz Lapis - Dydaktyka|Matematyka]] | *[[Wlodzimierz Lapis - Dydaktyka|Matematyka]] | ||
| + | *[[Wlodzimierz Lapis - dydaktyka|Projekty WWW]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
| Linia 67: | Linia 67: | ||
| *[http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Logika Starożytnego Orientu] | *[http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Logika Starożytnego Orientu] | ||
| - | *[[Sławomie Sikora - Logika a język|Logika a język]] | + | *[[Sławomir Sikora - Logika a język|Logika a język]] |
| - | *[[Sławomie Sikora - Filozofia (Indie, Chiny, Zachód)|Filozofia (Indie, Chiny, Zachód)]] | + | *[[Sławomir Sikora - Filozofia (Indie, Chiny, Zachód)|Filozofia (Indie, Chiny, Zachód)]] |
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
| Linia 75: | Linia 75: | ||
| ---- | ---- | ||
| - | =mgr Ida Stria= | + | =dr Ida Stria= |
| + | '''Archiwum''': | ||
| *[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 30h]] | *[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 30h]] | ||
| - | |||
| - | '''Archiwum''': | ||
| *[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 60h]] | *[[Ida Stria - Dydaktyka|Języki germańskie na tle indoeuropejskim - 60h]] | ||
| *[[Ida Stria - Dydaktyka|Szwedzki dla filologii fińskiej]] | *[[Ida Stria - Dydaktyka|Szwedzki dla filologii fińskiej]] | ||
| Linia 89: | Linia 88: | ||
| * [http://logic.amu.edu.pl/images/9/9b/SKRYPT.pdf Skrypt dydaktyczny z pragmatyki] | * [http://logic.amu.edu.pl/images/9/9b/SKRYPT.pdf Skrypt dydaktyczny z pragmatyki] | ||
| + | |||
| + | |||
| + | ---- | ||
| =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://kognitywistyka.amu.edu.pl/ Zakład Logiki i Kognitywistyki UAM] | ||
| + | |||
| + | ==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]] | ||
| + | |||
| + | ===Metody dowodzenia twierdzeń i automatyzacja rozumowań=== | ||
| + | |||
| + | * [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]] | ||
| + | |||
| + | ===Językoznawstwo ogólne=== | ||
| - | [http://www.psychologia.amu.edu.pl/ Instytut Psychologii UAM] | + | * [[jog | Językoznawstwo ogólne]] |
| - | [http://kognitywistyka.amu.edu.pl/ Zakład Logiki i Kognitywistyki UAM] | + | ===Zagadki matematyczne=== |
| - | [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Jerzy Pogonowski] | + | * [[zagadki2016 | Zagadki matematyczne]] |
| - | ==Metody dowodzenia twierdzeń i automatyzacja rozumowań== | + | ===Logika algebraiczna=== |
| - | * [[Media: 08_KODM_MDT2015.pdf | Syllabus]] | + | * [[loa | Logika algebraiczna]] |
| - | ===Wykłady=== | + | ===Metalogika=== |
| - | * [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne]] 6x2015 | + | * [[met | Metalogika]] |
| - | * [[Media: mdt02.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 | + | |
| - | * Metoda aksjomatyczna | + | |
| - | * Postacie normalne i prefiksowe | + | |
| - | * Tablice analityczne Smullyana | + | |
| - | * Rezolucja | + | |
| - | * Dedukcja naturalna | + | |
| - | * Rachunki sekwentów | + | |
| - | * Dual tableaux (diagramy Rasiowej-Sikorskiego) | + | |
| - | * Metody dowodowe: zalety, wady, wzajemne związki | + | |
| - | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | + | |
| - | * Teoria rekursji a metody dowodowe | + | |
| - | * Automatyzacja rozumowań | + | |
| - | * Rozstrzygalność | + | |
| - | * Dowody matematyczne | + | |
| - | ===Konwersatoria=== | + | ===Poznanie matematyczne=== |
| - | * [[Media: kon01.pdf | 6 października 2015]] | + | * [[matcog | Poznanie matematyczne]] |
| - | * [[Media: kon02.pdf | 13 października 2015]] | + | |
| - | * UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski | + | |
Aktualna wersja
Spis treści
|
[edytuj] dr Victoria Kamasa
- Statystyka (JiNoI)
- Logika
- Proseminarium licencjackie (JK)
- Semiotyka logiczna
- Analiza danych w naukach filologicznych (WSD)
- Prezentacja akademicka (WSD)
- Przedsiębiorczość dla językoznawców
- Praktyczna metodologia...
Archiwum:
- Seminarium 2015
- Seminarium 2014
- Seminarium 2013 (tu: ukończone prace licencjackie wraz z recenzjami)
- Seminarium 2012 (tu: ukończone prace licencjackie wraz z recenzjami)
- Seminarium 2011 (tu: ukończone prace licencjackie wraz z recenzjami)
- Filozofia z elementami logiki
- Filozofia z elementami logiki
- Socjolingwistyka
- Statystyka (JK)
- Wprowadzenie do Krytycznej Analizy Dyskursu
[edytuj] dr hab. Włodzimierz Lapis
[edytuj] dr Michał Lipnicki
Archiwum:
[edytuj] dr Dorota Lipowska
[edytuj] dr Sławomir Sikora
[edytuj] dr Ida Stria
Archiwum:
- Języki germańskie na tle indoeuropejskim - 30h
- Języki germańskie na tle indoeuropejskim - 60h
- Szwedzki dla filologii fińskiej
[edytuj] mgr Anna Wartecka
