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 21:38, 14 lis 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Semiotyka Logiczna (2007, IV JiIN))
← Poprzednia edycja
Aktualna wersja (19:49, 18 paź 2022) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Aktualności)
 
(212 intermediate revisions not shown.)
Linia 10: Linia 10:
---- ----
-==Materiały dydaktyczne 2007-2008==+=Aktualności=
-===Logika Matematyczna (2007-2008, I JiNoI)===+==Dydaktyka 2022-2023==
-* [[Media: logmat4x2007.pdf | Wprowadzenie. ]] 4 października 2007.+===Semestr zimowy 2022-2023===
-* [[Media: logmat11x2007.pdf | Semantyka KRZ: tautologie, wynikanie logiczne, reguły niezawodne, itd. ]]<br>11 i 18 października 2007.+
-* [[Media: logmat24x2007.pdf | Zadania dot. semantyki KRZ. ]]<br>24 października 2007. Samodzielna praca studentów.+
-* [[Media: logmat8xi2007.pdf | Semantyka KRZ: postacie normalne formuł. ]] 8 listopada 2007.+
-* [[Media: logmatdod01.pdf | Dodatek 1. ]] Dowody niektórych twierdzeń dot. semantyki KRZ.+
-* [[Media: logmat15xi2007.pdf | Aksjomatyczne ujęcie KRZ. ]] 15, 22 i 29 listopada 2007.+
-* Dowody założeniowe w KRZ. 6 i 13 grudnia 2007.+
-* Dowody rezolucyjne w KRZ. 20 grudnia 2007.+
-* Tablice analityczne dla KRZ. W styczniu 2008.+
-===Semiotyka Logiczna (2007, IV JiIN)===+* [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki]
-* [[Media: semlog4x2007.pdf | Wprowadzenie. ]] 4 października 2007.+* [http://logic.amu.edu.pl/index.php/Zagadki2016 Zagadki]
-* [[Media: semlog11x2007.pdf | Wspominki z kursu logiki. ]] 11 października 2007.+
-* [[Media: semlog18x2007.pdf | Antynomie, paradoksy, sofizmaty. ]] 18 października, 8 listopada 2007.+
-* [[Media: semlog15xi2007.pdf | Argumentacja. ]] 15 listopada 2007.+
-* Uczciwe i nieuczciwe chwyty w argumentacji. W listopadzie 2007.+
-* Kłamstwo, perswazja, manipulacja. W grudniu 2007.+
-* Uogólnione kwantyfikatory i inne semiotyczne potwory. W styczniu 2008.+
-===Naukoznawstwo (2007, Etnolingwistyka V, zaoczna)===+===Dyżury w semestrze zimowym 2022-2023===
-* [[Media: beam0.pdf | Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa. ]]+Wtorek, 11:00-14:00, sala 80.
-* [[Media: beam1.pdf | Wykład 20 X 2007. Procedury poznawcze I: ]] <br>algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, <br>struktury relacyjne i izomorfizmy. +
-* [[Media: beamzad.pdf | Wykład 20 X 2007. Zadania. ]] Samodzielna praca studentów.+
-* [[Media: beam2.pdf | Wykład 3 XI 2007. Procedury poznawcze II: ]] <br>definicje, pytania i odpowiedzi, wnioskowania erotetyczne. +
-* [[Media: beam3.pdf | Wykład 3 XI 2007. Procedury poznawcze III: ]] <br>uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, <br>prawa nauk empirycznych, argumentacja, spór, dyskusja. +
-* [[Media: beamzad2.pdf | Wykład 3 XI 2007. Zadania. ]] Samodzielna praca studentów.+
-* [[Media: beam4.pdf | Wykład 17 XI 2007. Procedury poznawcze IV: ]] <br>refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, <br>systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. +
-* [[Media: beam5.pdf | Wykład 17 XI 2007. Procedury poznawcze V: ]] <br>granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, <br>ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka.+
-==Zajęcia planowane w roku akademickim 2007-2008==+Środa, 12:00-13:00, sala 80.
-* [[Media: logmat0708.pdf | Logika matematyczna. ]]+==Dydaktyka 2021-2022==
-* [[Media: furek0708.pdf | Funkcje rekurencyjne. ]]+
-* [[Media: logetno0708.pdf | Logika. ]]+
-* [[Media: semlog0708.pdf | Semiotyka logiczna. ]]+
-* [[Media: naukoznawstwoEV0.pdf | Naukoznawstwo. ]]+
-==Logika matematyczna (2007)== +===Semestr letni 2021-2022===
-* [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP. ]]+* [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań]
-* [[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. <br>Teorie aksjomatyczne w języku KRP. ]]+
-* [[Media: logmat30.pdf | Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów. <br>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 (2007)==+* [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne]
-* [[Media: drfurek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania. ]]+===Dyżury w semestrze letnim 2021-2022===
-* [[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, 2007)==+Poniedziałek, 13:00-14:00, MSTeams.
-* [[Media: drbelsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania. ]]+Wtorek, 11:00-14:00, MSTeams.
-* [[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'==+===Semestr zimowy 2021-2021===
-* [[Media: krp300.pdf | Wstęp do rozdziału III. ]]+* [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki]
-* [[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/loa Logika algebraiczna]
-* [[Media: egzlogmat2007.pdf | Językoznawstwo i informacja naukowa (2007). ]]+===Dyżury w semestrze zimowym 2021-2022===
-* [[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==+Wtorek, 11:00-14:00, MSTeams.
-*[[Media: logetno.pdf | Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001. ]]+Środa, 15:00-16:00, MSTeams.
-*[[Media: jin2.pdf | Zadania egzaminacyjne z Logiki Matematycznej, 2002. ]]+
-*[[Media: etnolka2.pdf | Zadania egzaminacyjne z Logiki, 2002. ]]+
-==Sylabusy do zajęć w roku akademickim 2006-2007==+==Dydaktyka 2020-2021==
-* [[Media: syllogmat07.pdf | Logika matematyczna ]]+===Semestr letni 2020-2021===
-* [[Media: sylfurek07.pdf | Funkcje rekurencyjne ]]+
-* [[Media: sylwykfak07.pdf | O przekonaniach i przekonywaniu ]] (wykład fakultatywny)+
-==Proponowane tematy rozpraw magisterskich==+* [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań]
-* logiczna analiza modalności (zwłaszcza epistemicznych); +* [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne]
-* 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]]+===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