Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

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