Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:40, 15 gru 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Zakład Logiki i Kognitywistyki UAM) ← Poprzednia edycja |
Wersja z dnia 20:57, 15 gru 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Zakład Logiki i Kognitywistyki UAM) Następna edycja → |
||
| Linia 100: | Linia 100: | ||
| * [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== |
| - | * [[ncn2015jp | Projekt badawczy NCN '''Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne''']] | + | * [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Pracownik Jerzy Pogonowski] |
| - | * [[mdtiar | Metody dowodzenia twierdzeń i automatyzacja rozumowań]] | + | ==Projekt badawczy NCN== |
| - | * [[zagadki2016 | Zagadki]] | + | * [[ncn2015jp | Projekt badawczy NCN '''Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne''']] |
| - | + | ||
| - | * [[jog | Językoznawstwo ogólne]] | + | |
| ==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=== | + | ==Rozwiązywanie problemów matematycznych== |
| - | * [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015 | + | * [[zagadki2016 | Zagadki]] |
| - | * [[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 | + | |
| - | * [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015 | + | |
| - | * [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015 | + | |
| - | * [[Media: mdt09.pdf | Unifikacja.]] 8xii2015 | + | |
| - | * [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015 | + | |
| - | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | + | |
| - | * Rozstrzygalność | + | |
| - | * Automatyzacja rozumowań | + | |
| - | * Dowody matematyczne | + | |
| - | ===Konwersatoria=== | + | ==Językoznawstwo ogólne== |
| - | * [[Media: kon01.pdf | 6 października 2015]] | + | * [[jog | Językoznawstwo ogólne]] |
| - | * [[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]] | + | |
| - | * [[Media: kon08.pdf | Kolokwium, 1 grudnia 2015]] | + | |
| - | * [http://sc52172.home.amu.edu.pl/?page_id=68 Materiały dydaktyczne Pana mgra Szymona Chlebowskiego] | + | |
| - | + | ||
| - | ==Zagadki== | + | |
| - | + | ||
| - | * [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski:_Zagadki Zagadki] | + | |
Wersja z dnia 20:57, 15 gru 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
