From Zakład Logiki Stosowanej

Wersja z dnia 20:01, 10 mar 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Skrypt: Tablice Analityczne) ← Poprzednia edycja		Aktualna wersja (19:49, 18 paź 2022) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Aktualności)
(156 intermediate revisions not shown.)
Linia 12:		Linia 12:
	=Aktualności=		=Aktualności=
-	==Terminy zajęć w semestrze letnim==	+	==Dydaktyka 2022-2023==
-	* Logika Matematyczna: czwartek 13:30-15:00, CN 202B	+	===Semestr zimowy 2022-2023===
-	* Funkcje Rekurencyjne: piątek 8:15-9:45, CN 323B	+
-	* Logika: środa 17:00-18:30, CN 202B	+
-	* Logika: piątek 10:00-11:30, CN 203B	+
-	* Dyżur: piątek 11:45-12:45, CN 316B	+	* [http://logic.amu.edu.pl/index.php/Mpk Matematyczne podstawy kognitywistyki]
-	==Materiały dydaktyczne 2007-2008==	+	* [http://logic.amu.edu.pl/index.php/Zagadki2016 Zagadki]
-	===Logika Matematyczna (2007-2008, I JiNoI)===	+	===Dyżury w semestrze zimowym 2022-2023===
-	'''Semestr zimowy'''	+	Wtorek, 11:00-14:00, sala 80.
-	* [[Media: logmat4x2007.pdf | Wprowadzenie. ]] 4 października 2007.	+	Środa, 12:00-13:00, sala 80.
-	* [[Media: logmat11x2007.pdf | Semantyka KRZ (1). ]] 11 i 18 października 2007.	+
-	* [[Media: logmat24x2007.pdf | Semantyka KRZ (2). Zadania. ]] 24 października 2007.	+
-	* [[Media: logmat8xi2007.pdf | Semantyka KRZ (3). ]] 8 listopada 2007.	+
-	* [[Media: logmat15xi2007.pdf | Aksjomatyczne ujęcie KRZ. ]] 15, 22 i 29 listopada 2007.	+
-	* [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007.	+
-	* [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007.	+
-	* [[Media: logmat03012008.pdf | Tablice analityczne dla KRZ. ]] 3, 10 stycznia 2008.	+
-	* [[Media: logmatdod01.pdf | Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ. ]]	+	==Dydaktyka 2021-2022==
-	* [[Media: logmatdod02.pdf | Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ. ]]	+
-	* [[Media: logmatdod03.pdf | Dodatek 3. Twierdzenia o operacjach konsekwencji. ]]	+
-	* [[Media: logmatdod04.pdf | Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ. ]]	+
-	* [[Media: tezyreguly.pdf | Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9. ]]	+
-	* [[Media: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w KRZ. ]]	+
-	* [[Media: tabkrz.pdf | Dodatek 7. Trafność i pełność metody tablic analitycznych dla KRZ. ]]	+
-	* [[Media: logmatdod06.pdf | Dodatek 8. O regule rezolucji i "Metodzie Drzew" u Lewisa Carrolla. ]]	+
-	* [[Media: genkrz.pdf | Dodatek 9. Informacja o rachunku sekwentów Gentzena dla KRZ. ]]	+
-	'''Semestr letni'''	+	===Semestr letni 2021-2022===
-	* [[Media: logmat21022008.pdf | Semantyka KRP (1). ]] 21 lutego 2008.	+	* [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań]
-	* [[Media: logmat28022008.pdf | Semantyka KRP (2). ]] 28 lutego 2008.	+
-	* [[Media: logmat06032008.pdf | Semantyka KRP (3). Zadania.]] 6 marca 2008.	+
-	* Tablice analityczne dla KRP.	+	* [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne]
-	* Aksjomatyczne ujęcie KRP.	+
-	* Dowody założeniowe w KRP.	+
-	* Unifikacja i rezolucja w KRP.	+
-	* Informacja o rachunku sekwentów Gentzena dla KRP.	+
-	===Funkcje rekurencyjne (2008, III JiIN)===	+	===Dyżury w semestrze letnim 2021-2022===
-	* [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]]	+	Poniedziałek, 13:00-14:00, MSTeams.
-	* [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]]	+
-	* [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]]	+
-	* [[Media: frturing.pdf | Maszyny Turinga. ]]	+
-	* [[Media: frfunrek.pdf | Funkcje rekurencyjne - definicja i podstawowe własności.]]	+
-	* [[Media: frreken.pdf | Zbiory i relacje rekurencyjnie przeliczalne. ]]	+
-	* [[Media: frhierar.pdf | Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana. ]]	+
-	* [[Media: frarsyn.pdf | Arytmetyzacja składni. ]]	+
-	* [[Media: frtwgod.pdf | Twierdzenia Gödla. ]]	+
-	* [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]]	+
-	* [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]]	+
-	* [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]]	+
-	===Logika Radosna (2008, Etnolingwistyka II)===	+	Wtorek, 11:00-14:00, MSTeams.
-	* [[Media: logikaradosna01.pdf | Czym jest logika? Powtórka z semestru zimowego. ]]	+	===Semestr zimowy 2021-2021===
-	* [[Media: logikaradosna02.pdf | Dowody założeniowe w KRZ. ]]	+
-	* Tablice analityczne dla KRZ.	+
-	* Semantyka KRP.	+
-	* Tablice analityczne dla KRP.	+
-	* Wiadomości spoza Elementarza Logicznego.	+
-	===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/loa Logika algebraiczna]
-	* [[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.	+
-	* [[Media: semlog22xi2007.pdf | Wnioskowania indukcyjne. ]] 22 listopada 2007.	+
-	* [[Media: semlog29xi2007.pdf | Uczciwe chwyty w argumentacji. ]] 29 listopada 2007.	+
-	* [[Media: semlog6xii2007.pdf | Nieuczciwe chwyty w argumentacji. ]] 6 grudnia 2007.	+
-	* [[Media: semlogdod01.pdf | Dodatek 1. Linki do stron o: critical thinking, fallacies, informal logic. ]]	+
-	* [[Media: semlogdod02.pdf | Dodatek 2. Zalecenia Subtelnego Gdańszczanina. ]]	+
-	* [[Media: semlog13xii2007.pdf | Perswazja. ]] 13 grudnia 2007.	+
-	* [[Media: semlog20xii2007.pdf | Manipulacja. ]] 20 grudnia 2007.	+
-	* [[Media: semlog03012008.pdf | Uogólnione kwantyfikatory.]] 3, 10 stycznia 2008.	+
-	* [[Media: semlogdod03.pdf | Dodatek 3. Uogólnione kwantyfikatory a sylogistyka.]]	+
-	* [[Media: semlog17012008.pdf | O logice epistemicznej. ]] 17 stycznia 2008.	+
-	* [[Media: semlog24012008.pdf | Systemy przekonań. ]] 24 stycznia 2008.	+
-	* [[Media: semlog32012008.pdf | Dowodliwość a prawdziwość. Minijęzyk Smullyana. ]] 32 stycznia 2008.	+
-	===Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007)===	+	===Dyżury w semestrze zimowym 2021-2022===
-	* [[Media: beam0.pdf | Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa. ]]	+	Wtorek, 11:00-14:00, MSTeams.
-	* [[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.	+
-	==Skrypt: Tablice Analityczne==	+	Środa, 15:00-16:00, MSTeams.
-	* [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]]	+	==Dydaktyka 2020-2021==
-	* [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]]	+
-	* [[Media: tabkrp.pdf | Tablice analityczne dla KRP.]]	+
-	* [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]]	+
-	==Zajęcia planowane w roku akademickim 2007-2008==	+	===Semestr letni 2020-2021===
-	* [[Media: logmat0708.pdf | Logika matematyczna. ]]	+	* [http://logic.amu.edu.pl/index.php/Mdtiar Metody dowodzenia twierdzeń i automatyzacja rozumowań]
-	* [[Media: furek0708.pdf | Funkcje rekurencyjne. ]]	+
-	* [[Media: logetno0708.pdf | Logika. ]]	+
-	* [[Media: semlog0708.pdf | Semiotyka logiczna. ]]	+
-	* [[Media: naukoznawstwoEV0.pdf | Naukoznawstwo. ]]	+
-	----	+	* [http://logic.amu.edu.pl/index.php/Jog Językoznawstwo ogólne]
-	=Archiwum=	+	===Dyżury w semestrze letnim 2020-2021===
-	==Logika - zadania egzaminacyjne (z rozwiązaniami)==	+	Poniedziałek, 11:00-14:00, MS Teams.
-	* [[Media: egzlogmat2007.pdf | Językoznawstwo i informacja naukowa (2007). ]]	+	Czwartek, 12:00-13:00, MS Teams.
-	* [[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). ]]	+	===Semestr zimowy 2020-2021===
-	* [[Media: jin4.pdf | Językoznawstwo i informacja naukowa (2004). ]]	+
-	* [[Media: kor3pop.pdf | Koreanistyka (poprawkowy, 2004). ]]	+	* [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=
-	==Logika - zadania archiwalne==	+	==Uniwersytet Opolski==
-	*[[Media: logetno.pdf | Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001. ]]	+	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metalogika_-_Uniwersytet_Opolski Metalogika (Uniwersytet Opolski)]
-	*[[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==	+	==UAM==
-	* [[Media: syllogmat07.pdf | Logika matematyczna ]]
-	* [[Media: sylfurek07.pdf | Funkcje rekurencyjne ]]
-	* [[Media: sylwykfak07.pdf | O przekonaniach i przekonywaniu ]] (wykład fakultatywny)
-	==Proponowane tematy rozpraw magisterskich==
-	* logiczna analiza modalności (zwłaszcza epistemicznych);	+	* [[Jerzy Pogonowski - Logika Matematyczna]]
-	* argumentacja, perswazja, manipulacja;	+	* [[Jerzy Pogonowski - Intuicja Matematyczna]]
-	* komunikacja społeczna: analiza logiczna;	+	* [[Jerzy Pogonowski - Logika Współczesna]]
-	* komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu;	+	* [[Jerzy Pogonowski - Logika Zachodu]]
-	* antynomie, paradoksy, sofizmaty;	+	* [[Jerzy Pogonowski - Funkcje Rekurencyjne]]
-	* dowcip, humor, komizm: analiza logiczna i semiotyczna;	+	* [[Jerzy Pogonowski - Wstęp do Matematyki]]
-	* etnologika jako dyscyplina bezprzedmiotowa (?);	+	* [[Jerzy Pogonowski - Logika Radosna]]
-	* pojęcie racjonalności: analiza logiczna oraz etnologiczna;	+	* [[Jerzy Pogonowski - Semiotyka Logiczna]]
-	* filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności);	+	* [[Jerzy Pogonowski - Wstęp do współczesnej semantyki]]
-	* tworzenie (się) pojęć logicznych oraz metalogicznych.	+	* [[Jerzy Pogonowski - Metodologia Nauk]]
		+	* [[Jerzy Pogonowski - Tablice Analityczne]]
		+	* [[Jerzy Pogonowski - Archiwum]]
-	[[Category:Pracownicy]]	+	[[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