Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 16:30, 12 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Konwersatoria) ← Poprzednia edycja |
Wersja z dnia 13:23, 22 paź 2015 (edytuj) (undo) Kamasa (Dyskusja | wkład) (→dr Victoria Kamasa) Następna edycja → |
||
| 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 - Przedsiębiorczość dla językoznawców|Przedsiębiorczość dla językoznawców]] | + | *[[Victoria Kamasa - Semiotyka logiczna|Semiotyka logiczna]] |
| Archiwum: | 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 - 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 15: | ||
| *[[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 - 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 - Metodologia językoznawstwa w praktyce|Metodologia językoznawstwa w praktyce]] | + | *[[Victoria Kamasa - Praktyczna metodologia...|Praktyczna metodologia...]] |
| - | + | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
| [[Category:Pracownicy]] | [[Category:Pracownicy]] | ||
Wersja z dnia 13:23, 22 paź 2015
Spis treści |
dr Victoria Kamasa
Archiwum:
- Analiza danych w naukach filologicznych (WSD)
- Prezentacja akademicka (WSD)
- 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
- Przedsiębiorczość dla językoznawców
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
Metody dowodzenia twierdzeń i automatyzacja rozumowań
Wykłady
- Preliminaria matematyczne i logiczne oraz uwagi historyczne. 6x2015
- 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
- 6 października 2015
- 13 października 2015
- UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
