Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 09:24, 28 cze 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Aktualna wersja (19:49, 18 paź 2022) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Aktualności) |
||
(242 intermediate revisions not shown.) | |||
Linia 10: | Linia 10: | ||
---- | ---- | ||
- | ==Zajęcia planowane w 2007-2008== | + | =Aktualności= |
- | * [[Media: logmat0708.pdf | Logika matematyczna. ]] | + | ==Dydaktyka 2022-2023== |
- | * [[Media: furek0708.pdf | Funkcje rekurencyjne. ]] | + | |
- | * [[Media: logetno0708.pdf | Logika. ]] | + | |
- | * [[Media: semlog0708.pdf | Semiotyka logiczna. ]] | + | |
- | ==Logika matematyczna== | + | ===Semestr zimowy 2022-2023=== |
- | * [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP. ]] | + | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] |
- | * [[Media: krp311.pdf | Wykłady 29-30 III 2007: O budowaniu drzew semantycznych w KRP. ]] | + | |
- | * [[Media: krp322.pdf | Wykłady 12-13 IV 2007: Tautologie KRP. ]] | + | |
- | * [[Media: krp333.pdf | Wykłady 19-20 IV 2007: Semantyczna niesprzeczność w KRP. ]] | + | |
- | * [[Media: krp344.pdf | Wykłady 26-27 IV 2007: Wynikanie logiczne w KRP. ]] | + | |
- | * [[Media: krp355.pdf | Wykłady 17-18 V 2007: Rachunek predykatów z identycznością. ]] | + | |
- | * [[Media: logmat29.pdf | Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP. ]] | + | |
- | * [[Media: logmat30.pdf | Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów. Poprawność metody drzew semantycznych. ]] | + | |
- | * [[Media: logjiin2007.pdf | Przygotowanie do egzaminu: typowe zadania. ]] | + | |
- | * [[Media: tempkrz.pdf | Przygotowanie do egzaminu: semantyka KRZ. ]] | + | |
- | * [[Media: dowzal.pdf | Przygotowanie do egzaminu: dowody założeniowe w KRZ. ]] | + | |
- | * [[Media: beam7xii.pdf | Przygotowanie do egzaminu: drzewa semantyczne w KRZ. ]] | + | |
- | * [[Media: logmat16i.pdf | Przygotowanie do egzaminu: podstawowe pojęcia KRP. ]] | + | |
- | * [[Media: egzlogmat2007.pdf | Egzamin: rozwiązania zadań egzaminacyjnych (różnymi metodami). ]] | + | |
- | ==Funkcje rekurencyjne== | + | * [http://logic.amu.edu.pl/index.php/Zagadki2016 Zagadki] |
- | * [[Media: drfurek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania. ]] | + | ===Dyżury w semestrze zimowym 2022-2023=== |
- | * [[Media: drfurek02.pdf | Wykład 21 II 2007: Pojęcie nieskończoności - różne definicje. ]] | + | |
- | * [[Media: drzakop2007.pdf | Wykład 28 II 2007: Tu oglądamy prezentację na AALCS XI 2007. ]] (beta) | + | |
- | * [[Media: mds.zip | Wykład 14 III 2007: Tu oglądamy prezentację Konsekwencje Bereszit 2:16. ]] | + | |
- | * [[Media: drfurek05.pdf | Wykład 28 III 2007: Nieskończona złożoność strukturalna - fraktale. ]] | + | |
- | * [[Media: drfurek06.pdf | Wykład 4 IV 2007: Maszyny Turinga. ]] | + | |
- | * [[Media: drfurek07.pdf | Wykład 11 IV 2007: Funkcje rekurencyjne - definicja i podstawowe własności.]] | + | |
- | * [[Media: drfurek08.pdf | Wykład 18 IV 2007: Zbiory i relacje rekurencyjnie przeliczalne. ]] | + | |
- | * [[Media: drfurek09.pdf | Wykład 25 IV 2007: Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana. ]] | + | |
- | * [[Media: furek10.pdf | Wykład 23 V 2007: Arytmetyzacja składni. ]] | + | |
- | * [[Media: furek11.pdf | Wykład 30 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana. ]] | + | |
- | * [[Media: drfurek12.pdf | Wykład dodatkowy: Dowodliwość a prawdziwość. Maszyny logiczne Smullyana. ]] | + | |
- | ==O przekonaniach i przekonywaniu (wykład fakultatywny)== | + | Wtorek, 11:00-14:00, sala 80. |
- | * [[Media: drbelsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania. ]] | + | Środa, 12:00-13:00, sala 80. |
- | * [[Media: drbelsys02.pdf | Wykład 21 II 2007: Argumentacja: podstawowe definicje. ]] | + | |
- | * [[Media: karpacz2007.pdf | Wykład 28 II 2007: Tu oglądamy prezentację na ZLwFiPM XII 2007. ]] (beta) | + | |
- | * [[Media: karpacz2007.pdf | Wykład 14 III 2007: Tu oglądamy dalszy ciąg tej prezentacji. ]] | + | |
- | * [[Media: drbelsys05.pdf | Wykład 28 III 2007: Argumenty dedukcyjne - przykłady. ]] | + | |
- | * [[Media: drbelsys06.pdf | Wykład 4 IV 2007: Wnioskowania indukcyjne. ]] | + | |
- | * [[Media: drbelsys07.pdf | Wykład 11 IV 2007: Uczciwe chwyty w argumentacji. ]] | + | |
- | * [[Media: drbelsys08.pdf | Wykład 18 IV 2007: Nieuczciwe chwyty w argumentacji. ]] | + | |
- | * [[Media: drbelsys09.pdf | Wykład 25 IV 2007: Perswazja. ]] | + | |
- | * [[Media: belsys10.pdf | Wykład 23 V 2007: Manipulacja. ]] | + | |
- | * [[Media: belsys11.pdf | Wykład 30 V 2007: Logika epistemiczna a systemy przekonań. ]] | + | |
- | ==Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym'== | + | ==Dydaktyka 2021-2022== |
- | * [[Media: krp300.pdf | Wstęp do rozdziału III ]] | + | ===Semestr letni 2021-2022=== |
- | * [[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP ]] | + | |
- | * [[Media: krp322.pdf | Tautologie KRP ]] | + | |
- | * [[Media: krp333.pdf | Semantyczna niesprzeczność ]] | + | |
- | * [[Media: krp344.pdf | Wynikanie logiczne ]] | + | |
- | * [[Media: krp355.pdf | Rachunek predykatów z identycznością ]] | + | |
- | * Rachunek predykatów z symbolami funkcyjnymi | + | |
- | * Unifikacja | + | |
- | * Rezolucja | + | |
- | ==Logika - zadania egzaminacyjne (z rozwiązaniami)== | + | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] |
- | * [[Media: egzlogmat2007.pdf | Językoznawstwo i informacja naukowa (2007). ]] | + | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] |
- | * [[Media: logjiin2007.pdf | Językoznawstwo i informacja naukowa (2007): zestawy z zajęć przygotowujących do egzaminu. ]] | + | |
- | * [[Media: jinlog05.pdf | Językoznawstwo i informacja naukowa (2005). ]] | + | |
- | * [[Media: jin4.pdf | Językoznawstwo i informacja naukowa (2004). ]] | + | |
- | * [[Media: kor3pop.pdf | Koreanistyka (poprawkowy, 2004). ]] | + | |
- | ==Logika - zadania archiwalne== | + | ===Dyżury w semestrze letnim 2021-2022=== |
- | *[[Media: logetno.pdf | Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001. ]] | + | Poniedziałek, 13:00-14:00, MSTeams. |
- | *[[Media: jin2.pdf | Zadania egzaminacyjne z Logiki Matematycznej, 2002. ]] | + | |
- | *[[Media: etnolka2.pdf | Zadania egzaminacyjne z Logiki, 2002. ]] | + | |
- | ==Naukoznawstwo== | + | Wtorek, 11:00-14:00, MSTeams. |
- | * [[Media: beam0.pdf | Wykład 4 XI 2006. Wprowadzenie do problematyki naukoznawstwa. ]] | + | ===Semestr zimowy 2021-2021=== |
- | * [[Media: drbeam1.pdf | Wykład 25 XI 2006. Procedury poznawcze I: ]] algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy. | + | |
- | * [[Media: drbeam2.pdf | Wykład 25 XI 2006. Procedury poznawcze II: ]] definicje, pytania i odpowiedzi, wnioskowania erotetyczne. | + | |
- | * [[Media: drbeam3.pdf | Wykład 9 XII 2006. Procedury poznawcze III: ]] uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja. | + | |
- | * [[Media: beam4.pdf | Wykład 9 XII 2006. Procedury poznawcze IV: ]] refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. | + | |
- | * [[Media: drbeam5.pdf | Wykład 6 I 2007. Procedury poznawcze V: ]] granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka. | + | |
- | ==Sylabusy do zajęć w roku akademickim 2006-2007== | + | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] |
- | * [[Media: syllogmat07.pdf | Logika matematyczna ]] | + | * [http://logic.amu.edu.pl/index.php/loa Logika algebraiczna] |
- | * [[Media: sylfurek07.pdf | Funkcje rekurencyjne ]] | + | |
- | * [[Media: sylwykfak07.pdf | O przekonaniach i przekonywaniu ]] (wykład fakultatywny) | + | |
- | ==Proponowane tematy rozpraw magisterskich== | + | ===Dyżury w semestrze zimowym 2021-2022=== |
- | * logiczna analiza modalności (zwłaszcza epistemicznych); | + | Wtorek, 11:00-14:00, MSTeams. |
- | * argumentacja, perswazja, manipulacja; | + | |
- | * komunikacja społeczna: analiza logiczna; | + | |
- | * komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu; | + | |
- | * antynomie, paradoksy, sofizmaty; | + | |
- | * dowcip, humor, komizm: analiza logiczna i semiotyczna; | + | |
- | * etnologika jako dyscyplina bezprzedmiotowa (?); | + | |
- | * pojęcie racjonalności: analiza logiczna oraz etnologiczna; | + | |
- | * filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności); | + | |
- | * tworzenie (się) pojęć logicznych oraz metalogicznych. | + | |
- | [[Category:Pracownicy]] | + | Środa, 15:00-16:00, MSTeams. |
+ | |||
+ | ==Dydaktyka 2020-2021== | ||
+ | |||
+ | ===Semestr letni 2020-2021=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] | ||
+ | |||
+ | ===Dyżury w semestrze letnim 2020-2021=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, MS Teams. | ||
+ | |||
+ | Czwartek, 12:00-13:00, MS Teams. | ||
+ | |||
+ | ===Semestr zimowy 2020-2021=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/met Metalogika] | ||
+ | |||
+ | ===Dyżury w semestrze zimowym 2020-2021=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, MS Teams. | ||
+ | |||
+ | Środa, 15:00-16:00, MS Teams. | ||
+ | |||
+ | ==Dydaktyka 2019-2020== | ||
+ | |||
+ | ===Semestr letni 2019-2020=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] | ||
+ | |||
+ | ===Dyżury w semestrze letnim 2019-2020=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, sala 80. | ||
+ | |||
+ | Wtorek, 12:00-13:00, sala 80. | ||
+ | |||
+ | ===Semestr zimowy 2019-2020=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Zagadki2016 Zagadki] | ||
+ | |||
+ | ===Dyżury w semestrze zimowym 2019-2020=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, sala 80. | ||
+ | |||
+ | Wtorek, 13:45-14:45, sala 80. | ||
+ | |||
+ | ==Dydaktyka 2018-2019== | ||
+ | |||
+ | ===Semestr letni 2018-2019=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] | ||
+ | |||
+ | ===Dyżury w semestrze letnim 2018-2019=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, sala 80. | ||
+ | |||
+ | Wtorek, 15:00-16:00, sala 80. | ||
+ | |||
+ | ===Semestr zimowy 2018-2019=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/met Metalogika] | ||
+ | |||
+ | ===Dyżury w semestrze zimowym 2018-2019=== | ||
+ | |||
+ | Poniedziałek, 11:00-14:00, sala 80. | ||
+ | |||
+ | Środa, 15:00-16:00, sala 80. | ||
+ | |||
+ | ==Dydaktyka 2017-2018== | ||
+ | |||
+ | W roku akademickim 2017-2018 pracownik Jerzy Pogonowski przebywa na urlopie naukowym. | ||
+ | |||
+ | ==Dydaktyka 2016-2017== | ||
+ | |||
+ | ===Semestr letni 2016-2017=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/matcog Poznanie matematyczne] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] | ||
+ | |||
+ | ===Dyżur w semestrze letnim=== | ||
+ | |||
+ | * Poniedziałek, 11:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB. | ||
+ | |||
+ | * Czwartek, 13:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB. | ||
+ | |||
+ | ===Semestr zimowy 2016-2017=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] | ||
+ | |||
+ | ===Dyżur w semestrze zimowym=== | ||
+ | |||
+ | * Poniedziałek, 11:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB. | ||
+ | |||
+ | * Wtorek, 11:30-12:30, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB. | ||
+ | |||
+ | ==Dydaktyka 2015-2016== | ||
+ | |||
+ | * Od 1 października 2015 posługa dydaktyczna pracownika UAM Jerzego Pogonowskiego wykonywana jest na Wydziale Nauk Społecznych UAM. | ||
+ | |||
+ | ===Semestr zimowy 2015-2016=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań] | ||
+ | |||
+ | ===Semestr letni 2015-2016=== | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Zagadki2016 Zagadki] | ||
+ | |||
+ | * [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne] | ||
+ | |||
+ | =Archiwum= | ||
+ | |||
+ | ==Uniwersytet Opolski== | ||
+ | |||
+ | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metalogika_-_Uniwersytet_Opolski Metalogika (Uniwersytet Opolski)] | ||
+ | |||
+ | ==UAM== | ||
+ | |||
+ | |||
+ | |||
+ | * [[Jerzy Pogonowski - Logika Matematyczna]] | ||
+ | * [[Jerzy Pogonowski - Intuicja Matematyczna]] | ||
+ | * [[Jerzy Pogonowski - Logika Współczesna]] | ||
+ | * [[Jerzy Pogonowski - Logika Zachodu]] | ||
+ | * [[Jerzy Pogonowski - Funkcje Rekurencyjne]] | ||
+ | * [[Jerzy Pogonowski - Wstęp do Matematyki]] | ||
+ | * [[Jerzy Pogonowski - Logika Radosna]] | ||
+ | * [[Jerzy Pogonowski - Semiotyka Logiczna]] | ||
+ | * [[Jerzy Pogonowski - Wstęp do współczesnej semantyki]] | ||
+ | * [[Jerzy Pogonowski - Metodologia Nauk]] | ||
+ | * [[Jerzy Pogonowski - Tablice Analityczne]] | ||
+ | * [[Jerzy Pogonowski - Archiwum]] | ||
+ | |||
+ | [[Category:Dydaktyka]] |
Aktualna wersja
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
[edytuj] Aktualności
[edytuj] Dydaktyka 2022-2023
[edytuj] Semestr zimowy 2022-2023
[edytuj] Dyżury w semestrze zimowym 2022-2023
Wtorek, 11:00-14:00, sala 80.
Środa, 12:00-13:00, sala 80.
[edytuj] Dydaktyka 2021-2022
[edytuj] Semestr letni 2021-2022
[edytuj] Dyżury w semestrze letnim 2021-2022
Poniedziałek, 13:00-14:00, MSTeams.
Wtorek, 11:00-14:00, MSTeams.
[edytuj] Semestr zimowy 2021-2021
[edytuj] Dyżury w semestrze zimowym 2021-2022
Wtorek, 11:00-14:00, MSTeams.
Środa, 15:00-16:00, MSTeams.
[edytuj] Dydaktyka 2020-2021
[edytuj] Semestr letni 2020-2021
[edytuj] Dyżury w semestrze letnim 2020-2021
Poniedziałek, 11:00-14:00, MS Teams.
Czwartek, 12:00-13:00, MS Teams.
[edytuj] Semestr zimowy 2020-2021
[edytuj] Dyżury w semestrze zimowym 2020-2021
Poniedziałek, 11:00-14:00, MS Teams.
Środa, 15:00-16:00, MS Teams.
[edytuj] Dydaktyka 2019-2020
[edytuj] Semestr letni 2019-2020
[edytuj] Dyżury w semestrze letnim 2019-2020
Poniedziałek, 11:00-14:00, sala 80.
Wtorek, 12:00-13:00, sala 80.
[edytuj] Semestr zimowy 2019-2020
[edytuj] Dyżury w semestrze zimowym 2019-2020
Poniedziałek, 11:00-14:00, sala 80.
Wtorek, 13:45-14:45, sala 80.
[edytuj] Dydaktyka 2018-2019
[edytuj] Semestr letni 2018-2019
[edytuj] Dyżury w semestrze letnim 2018-2019
Poniedziałek, 11:00-14:00, sala 80.
Wtorek, 15:00-16:00, sala 80.
[edytuj] Semestr zimowy 2018-2019
[edytuj] Dyżury w semestrze zimowym 2018-2019
Poniedziałek, 11:00-14:00, sala 80.
Środa, 15:00-16:00, sala 80.
[edytuj] Dydaktyka 2017-2018
W roku akademickim 2017-2018 pracownik Jerzy Pogonowski przebywa na urlopie naukowym.
[edytuj] Dydaktyka 2016-2017
[edytuj] Semestr letni 2016-2017
[edytuj] Dyżur w semestrze letnim
- Poniedziałek, 11:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB.
- Czwartek, 13:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB.
[edytuj] Semestr zimowy 2016-2017
[edytuj] Dyżur w semestrze zimowym
- Poniedziałek, 11:00-14:00, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB.
- Wtorek, 11:30-12:30, pok. 80. Instytut Psychologii UAM, ul. A. Szamarzewskiego 89/AB.
[edytuj] Dydaktyka 2015-2016
- Od 1 października 2015 posługa dydaktyczna pracownika UAM Jerzego Pogonowskiego wykonywana jest na Wydziale Nauk Społecznych UAM.
[edytuj] Semestr zimowy 2015-2016
[edytuj] Semestr letni 2015-2016
[edytuj] Archiwum
[edytuj] Uniwersytet Opolski
[edytuj] UAM
- Jerzy Pogonowski - Logika Matematyczna
- Jerzy Pogonowski - Intuicja Matematyczna
- Jerzy Pogonowski - Logika Współczesna
- Jerzy Pogonowski - Logika Zachodu
- Jerzy Pogonowski - Funkcje Rekurencyjne
- Jerzy Pogonowski - Wstęp do Matematyki
- Jerzy Pogonowski - Logika Radosna
- Jerzy Pogonowski - Semiotyka Logiczna
- Jerzy Pogonowski - Wstęp do współczesnej semantyki
- Jerzy Pogonowski - Metodologia Nauk
- Jerzy Pogonowski - Tablice Analityczne
- Jerzy Pogonowski - Archiwum