From Zakład Logiki Stosowanej

Wersja z dnia 17:40, 15 lip 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym') ← Poprzednia edycja		Aktualna wersja (19:49, 18 paź 2022) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Aktualności)
(235 intermediate revisions not shown.)
Linia 10:		Linia 10:
	----		----
-	==Zajęcia planowane w roku akademickim 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 (2007)==	+	===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. <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/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, 2007)==	+	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 (2006-2007)==	+	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: ]] <br>algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, <br>struktury relacyjne i izomorfizmy.	+
-	* [[Media: drbeam2.pdf | Wykład 25 XI 2006. Procedury poznawcze II: ]] <br>definicje, pytania i odpowiedzi, wnioskowania erotetyczne.	+
-	* [[Media: drbeam3.pdf | Wykład 9 XII 2006. Procedury poznawcze III: ]] <br>uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, <br>prawa nauk empirycznych, argumentacja, spór, dyskusja.	+
-	* [[Media: beam4.pdf | Wykład 9 XII 2006. 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: drbeam5.pdf | Wykład 6 I 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.	+
-	==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 1 Aktualności 1.1 Dydaktyka 2022-2023 1.1.1 Semestr zimowy 2022-2023 1.1.2 Dyżury w semestrze zimowym 2022-2023 1.2 Dydaktyka 2021-2022 1.2.1 Semestr letni 2021-2022 1.2.2 Dyżury w semestrze letnim 2021-2022 1.2.3 Semestr zimowy 2021-2021 1.2.4 Dyżury w semestrze zimowym 2021-2022 1.3 Dydaktyka 2020-2021 1.3.1 Semestr letni 2020-2021 1.3.2 Dyżury w semestrze letnim 2020-2021 1.3.3 Semestr zimowy 2020-2021 1.3.4 Dyżury w semestrze zimowym 2020-2021 1.4 Dydaktyka 2019-2020 1.4.1 Semestr letni 2019-2020 1.4.2 Dyżury w semestrze letnim 2019-2020 1.4.3 Semestr zimowy 2019-2020 1.4.4 Dyżury w semestrze zimowym 2019-2020 1.5 Dydaktyka 2018-2019 1.5.1 Semestr letni 2018-2019 1.5.2 Dyżury w semestrze letnim 2018-2019 1.5.3 Semestr zimowy 2018-2019 1.5.4 Dyżury w semestrze zimowym 2018-2019 1.6 Dydaktyka 2017-2018 1.7 Dydaktyka 2016-2017 1.7.1 Semestr letni 2016-2017 1.7.2 Dyżur w semestrze letnim 1.7.3 Semestr zimowy 2016-2017 1.7.4 Dyżur w semestrze zimowym 1.8 Dydaktyka 2015-2016 1.8.1 Semestr zimowy 2015-2016 1.8.2 Semestr letni 2015-2016 2 Archiwum 2.1 Uniwersytet Opolski 2.2 UAM

[edytuj] Aktualności

[edytuj] Dydaktyka 2022-2023

[edytuj] Semestr zimowy 2022-2023

• Matematyczne podstawy kognitywistyki

• Zagadki

[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

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Językoznawstwo ogólne

[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

• Matematyczne podstawy kognitywistyki

• Logika algebraiczna

[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

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Językoznawstwo ogólne

[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

• Matematyczne podstawy kognitywistyki

• Metalogika

[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

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Językoznawstwo ogólne

[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

• Matematyczne podstawy kognitywistyki

• Zagadki

[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

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Językoznawstwo ogólne

[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

• Matematyczne podstawy kognitywistyki

• Metalogika

[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

• Poznanie matematyczne

• Językoznawstwo ogólne

[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

• Matematyczne podstawy kognitywistyki

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

[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

• Metody dowodzenia twierdzeń i automatyzacja rozumowań

[edytuj] Semestr letni 2015-2016

• Zagadki

• Językoznawstwo ogólne

[edytuj] Archiwum

[edytuj] Uniwersytet Opolski

• Metalogika (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