From Zakład Logiki Stosowanej

Wersja z dnia 22:34, 2 sty 2024 (edytuj) Pogonowski (Dyskusja | wkład) (→Zagadki matematyczne) ← Poprzednia edycja		Aktualna wersja (20:59, 26 maj 2024) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Tematy wykładów)
(3 intermediate revisions not shown.)
Linia 20:		Linia 20:
	* Czas: wtorek, godzina zostanie ustalona po skonstruowaniu planu zajęć.		* Czas: wtorek, godzina zostanie ustalona po skonstruowaniu planu zajęć.
-	* Miejsce: sala 310, budynek D, Szamarzewskiego 89.	+	* Miejsce: sala zostanie ustalona po skonstruowaniu planu zajęć, budynek D, Szamarzewskiego 89.
	W roku akademickim 2021-2022 zapraszam na wykład fakultatywny '''Logika algebraiczna''' (semestr zimowy):		W roku akademickim 2021-2022 zapraszam na wykład fakultatywny '''Logika algebraiczna''' (semestr zimowy):
Linia 40:		Linia 40:
	=Tematy wykładów=		=Tematy wykładów=
-	* [[Media: 08_KODM_ZAG_2016.pdf | Syllabus]]	+	* [[Media: 08_KODM_ZAG_2016.pdf | Stary syllabus]]
		+	* [[Media: Sylabus_zagadki_2021.pdf | Nowy sylabus]].
	==Wstęp==		==Wstęp==
Linia 192:		Linia 193:
	Tematy esejów zaliczeniowych wybrane przez słuchaczy wykładu:		Tematy esejów zaliczeniowych wybrane przez słuchaczy wykładu:
		+
		+	==Tematy esejów zaliczeniowych 2022==
		+
		+	* '''Iluzje'''
		+
		+	* '''Hipoteza ABC - wielka zagadka matematyki?'''
		+
		+	* '''O heurystykach słów kilka'''
		+
		+	* '''Kilka pytań do snu'''
		+
		+	* '''Logika prawdziwego snu'''
		+
		+	* '''Rozwiązywanie nonogramów - heurystyki a implementacja logiczna'''
	==Tematy esejów zaliczeniowych 2019==		==Tematy esejów zaliczeniowych 2019==
Linia 220:		Linia 235:
	* '''Zdobywanie wiedzy o heurystykach i błędach logicznych jako trening metapoznawczy'''		* '''Zdobywanie wiedzy o heurystykach i błędach logicznych jako trening metapoznawczy'''
-
	==Tematy esejów zaliczeniowych 2016==		==Tematy esejów zaliczeniowych 2016==

---

Aktualna wersja

Spis treści 1 Zagadki matematyczne 2 Tematy wykładów 2.1 Wstęp 2.2 Zagadki matematyczne 2.3 Figle logiczne 2.4 Inne zagadki 3 Dodatki 3.1 Wykorzystane prezentacje i teksty 3.2 Tłumaczenia książek Raymonda Smullyana 3.3 Linki 4 Tematy esejów zaliczeniowych 4.1 Tematy esejów zaliczeniowych 2022 4.2 Tematy esejów zaliczeniowych 2019 4.3 Tematy esejów zaliczeniowych 2016 4.4 Tematy esejów zaliczeniowych 2015 4.5 Tematy esejów zaliczeniowych 2014 4.6 Tematy esejów zaliczeniowych 2013

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

[edytuj] Zagadki matematyczne

• Następny wykład Zagadki odbędzie się w roku akademickim 2023-2024 (semestr letni).

• Zagadki to wykład fakultatywny dla III roku studiów licencjackich oraz I i II roku studiów magisterskich kognitywistyki UAM.

• Czas: wtorek, godzina zostanie ustalona po skonstruowaniu planu zajęć.

• Miejsce: sala zostanie ustalona po skonstruowaniu planu zajęć, budynek D, Szamarzewskiego 89.

W roku akademickim 2021-2022 zapraszam na wykład fakultatywny Logika algebraiczna (semestr zimowy):

• Logika algebraiczna

W roku akademickim 2018-2019 zapraszam na wykład fakultatywny Metalogika (semestr zimowy):

• Metalogika

W roku akademickim 2016-2017 zapraszam na wykład fakultatywny Poznanie matematyczne (semestr letni):

• Poznanie matematyczne

• W roku akademickim 2015/2016 wykład Zagadki będzie prowadzony na Wydziale Nauk Społecznych UAM (semestr letni).

---

[edytuj] Tematy wykładów

• Stary syllabus
• Nowy sylabus.

[edytuj] Wstęp

• Wprowadzenie
• Zagadki logiczne Smullyana 1: Rycerze i Łotrzy
• Zagadki logiczne Smullyana 2: Logika snu
• Zagadki logiczne Smullyana 3: Logika lustrzana
• Wybrane pozycje bibliograficzne

Poniżej zamieszczamy przykłady zagadek należących do wymienionych (umownych) grup tematycznych.
Rozwiązania zagadek podawane będą na wykładzie.

[edytuj] Zagadki matematyczne

• Nieskończone
• Liczby i wielkości
• Ruch i zmiana
• Kształt i przestrzeń
• Uporządkowania
• Wzorce i struktury
• Algorytmy i obliczenia
• Prawdopodobieństwo

[edytuj] Figle logiczne

• Zagadki logiczne
• Paradoksy
• Sofizmaty
• Iluzje

[edytuj] Inne zagadki

• Zagadki Humanistyczne
• Zagadki lingwistyczne
• Zagadki naukowe
• Zagadki filozoficzne
• Kilka matematycznych problemów otwartych

[edytuj] Dodatki

[edytuj] Wykorzystane prezentacje i teksty

• Intuicje a nabywanie wiedzy matematycznej. Filozofia matematyki i informatyki V, UAM, Poznań, 9-10 grudnia 2016.

• Czy masz wyobraźnię matematyczną? 11 Poznańskie Forum Kognitywistyczne, UAM, Poznań, 21 maja 2016.

• Famous mistakes in mathematics. Applications of Algebra in Logic and Computer Science XX, Zakopane, marzec 2016.

• O błądzeniu w matematyce. 13 Konferencja ArgDiaP Siła argumentu: racja, przekonanie, konsensus, Uniwersytet Wrocławski, Wrocław, 20-21 listopada 2015.

• Błędy matematyczne. 61 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 20-21 października 2015.

• O błądzeniu w matematyce. Seminarium Zakładu Logiki i Kognitywistyki UAM, Poznań, 14 października 2015.

• Metafory pojęciowe w matematyce. 10 Polski Zjazd Filozoficzny, Poznań, 15-19 września 2015 (w sekcji Filozofia umysłu i kognitywistyka).

• Mathematical Therapy (for Adults). XX Konferencja Zastosowania logiki w filozofii i podstawach matematyki, Szklarska Poręba, 4-8 maja 2015.

• Paradox resolution as a didactic tool. Konferencja: Mathematical Transgressions, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN, Kraków, 15-19 marca 2015.

• Odyssey of the Mathematical Mind. Konferencja: Applications of Algebra in Logic and Computer Science, XIX, Instytut Matematyki i Informatyki Akademii im. Jana Długosza w Częstochowie, Zakopane, 9-15 marca 2015.

• Matematyka i Humanistki. IV Konferencja Filozofii Matematyki i Informatyki, Wydział Matematyki i Informatyki UAM, Poznań, 5-6 grudnia 2014.

• Obiekty patologiczne w matematyce. Seminarium Dydaktyki, Filozofii i Podstaw Matematyki, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN, Kraków, 23 października 2014.

• Patologie matematyczne. 60 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 21-22 października 2014.

• Pojęciowy obraz świata w matematyce. Konferencja Język, Kultura, Komunikacja, organizowana przez Studium Języków Obcych Politechniki Opolskiej oraz Komisję Nauk Filologicznych Polskiej Akademii Nauk, oddział we Wrocławiu.
  Studium Języków Obcych Politechniki Opolskiej, Opole, 29 września 2014.

• Twórcza rola patologii w matematyce. I Interdyscyplinarna Konferencja Naukowa Transgresje Matematyczne, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN w Krakowie, Kraków 15-18 czerwca 2014.

• Cudowne obiekty patologiczne. Seminarium Zakładu Logiki Stosowanej UAM, 26 marca 2014.

• Urok zagadek matematycznych. Spotkanie Oddziału Krakowskiego Polskiego Towarzystwa Matematycznego oraz Młodzieżowego Towarzystwa Przyjaciół Nauk i Sztuk w Centrum Młodzieży im. dr H. Jordana, Kraków, 24 października 2013.

• Zagadki matematyczne. 59 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 22 października 2013.

• Enigmatologia zamiast katechezy. Seminarium Zakładu Logiki Stosowanej UAM, Poznań, 16 października 2013.

• Matematyczne fantazje kognitywistów. Kolokwium Logiczne II, Uniwersytet Wrocławski, Wrocław, 14-15 czerwca 2013.

• Pułapki intuicji. Konferencja Epistemologia matematyki, Uniwersytet Szczeciński, Pobierowo, 4-9 czerwca 2013.

• Wesołe zagadki. 22 Spotkanie Grupy Logiki, Języka i Informacji, Uniwersytet Opolski, Opole, 14 maja 2013.

• Intuicja matematyczna. Filozofia matematyki III, UAM, 17 października 2011.

• Intuicja matematyczna. Seminarium Zakładu Logiki Matematycznej UAM, 22 marca 2011.

• Argumentacje odwołujące się do intuicji matematycznej. Szósta konferencja ArgDiaP Zastosowania technik argumentacyjnych, 26 II 2011, Polsko-Japońska Wyższa Szkoła Technik Komputerowych w Warszawie.

• Alicja, Labirynty i Magiczny Ogród. Zastosowania Logiki w Filozofii i Podstawach Matematyki XV, Szklarska Poręba, 4-7 maja 2010.

• Sen Motyla. Zastosowania Logiki w Filozofii i Podstawach Matematyki XIV, Szklarska Poręba, 20-24 kwietnia 2009.

• Lewis Carroll's Resolution and Tableaux. Applications of Algebra to Logic and Computer Science XII, Zakopane, 2008

• Paradoksy a Intuicja. Koło Logiczne Studentów IJ UAM, 7 IV 2008.

• Ptak Gödla. Applications of Algebra to Logic and Computer Science XI, Zakopane, 2007.

• Szczęściarze epistemiczni. Applications of Logic to Philosophy and the Foundations of Mathematics XII, Szklarska Poręba, 2007

• Po co mi logika? Jestem Humanistką! (felieton dydaktyczny)

• Santa Claus Connection. (felieton dydaktyczny)

• Kto będzie Dyrektorem Instytutu Językoznawstwa UAM? (felieton dydaktyczny niedopuszczony do druku w Investigationes Linguisticae)

---

[edytuj] Tłumaczenia książek Raymonda Smullyana

• Spis treści tłumaczenia A Beginner's Guide to Mathematical Logic (2014) Raymonda Smullyana. Rozpoczęto prace nad przekładem.

• Spis treści tłumaczenia The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs (2013) Raymonda Smullyana.

• Spis treści tłumaczenia Logical Labyrinths (2009) Raymonda Smullyana.

• Spis treści tłumaczenia 'The Magic Garden of George B. And Other Logic Puzzles' (2007) Raymonda Smullyana.

• Spis treści tłumaczenia Alice in Puzzle-Land (1982) Raymonda Smullyana.

• Spis treści tłumaczenia To Mock a Mockingbird Raymonada Smullyana.

• Spis treści tłumaczenia Forever Undecided Raymonda Smullyana.

---

[edytuj] Linki

• Adonai.pl – portal katolicki

• Filip Graliński: Archiwum Fi

• Matematyka.pl: Łamigłówki i zagadki logiczne

• Mózgowiec: zagadki logiczne

• Polski portal matematyczny

• Serwis matematyczny

• Świat matematyki

• Wrocławski portal matematyczny

[edytuj] Tematy esejów zaliczeniowych

Tematy esejów zaliczeniowych wybrane przez słuchaczy wykładu:

[edytuj] Tematy esejów zaliczeniowych 2022

• Iluzje

• Hipoteza ABC - wielka zagadka matematyki?

• O heurystykach słów kilka

• Kilka pytań do snu

• Logika prawdziwego snu

• Rozwiązywanie nonogramów - heurystyki a implementacja logiczna

[edytuj] Tematy esejów zaliczeniowych 2019

• Alicja w Krainie Logiki

• Teoria alternatywnych rzeczywistości i jej interpretacje

• Liczby pierwsze – regularny chaos czy chaotyczna reguła?

• Czy odkrycie w matematyce to podświadome dzieło umysłu?

• Wywieranie wpływu na ludzi w przeszłości i dziś

• System dedukcji naturalnej dla logiki Gödla-Dummetta

• Upraszczanie matematyki: czemu nie lubimy się jej uczyć?

• Myślenie szybkie i wolne w życiu człowieka

• O śpiących i obudzonych, czyli logika snu i jawy Raymonda Smullyana

• Paradoksy zachowań hazardowych

• Rola matematyki w życiu a lęk przed nią

• Zagadki muzyczne

• Zdobywanie wiedzy o heurystykach i błędach logicznych jako trening metapoznawczy

[edytuj] Tematy esejów zaliczeniowych 2016

• Mózg jako organ służący do rozwiązywania zagadek.

• Mosty królewieckie w probówce. Rozwiązywanie problemów grafowych za pomocą komputerów DNA.

• Mechanizmy kognitywne leżące u podłoża metody Horse Assisted Education.

• Siedem złotych pytań kryminalistyki: metody i proces tworzenia profilu nieznanego sprawcy.

• Ewolucyjne ujęcie technologii w Summa technologiae Stanisława Lema.

• Zagadki logiczne w grach komputerowych.

• Optymalizacja rozwiązań Najtrudniejszej zagadki logicznej na świecie przy użyciu scenariuszy erotetycznych.

• Efekty postrzegania wartości istotności statystycznej jako dychotomicznego wskaźnika decyzyjnego (istotny/nieistotny) w psychologii.

• Wykorzystanie zagadek w rehabilitacji procesów poznawczych.

• Heurystyki i ich rola w podejmowaniu decyzji.

• Śledztwa kierowane – dychotomia przetwarzania i przesłanki perswazyjne w służbie narracji.

• Ciekawość ludzka – popęd do zrozumienia zagadkowego świata.

• Sylogizmy.

• Czy para-naukowe idee mają wpływ na rozwój nauki?

• Przegląd paradoksów semantycznych.

• Praktyczne zastosowania iluzji optycznych.

• Zastosowanie matematyki w sztuce: złoty podział.

• Mastermind – zagadka naszego pokolenia.

• Błędy logiczne oraz nieuczciwe praktyki erystyczne teistów i ateistów w dyskusji o istnieniu Boga.

[edytuj] Tematy esejów zaliczeniowych 2015

• Komputery, ludzie i kreatywność - zarzuty Lady Lovelace i mit człowieka innowacyjnego.
• Nierozwiązywalna zagadka świadomości.
• Czy jesteśmy racjonalni?
• Zastosowanie gry Takie Życie w badaniu rozumowań.
• Zagadki z kręgu kulturowego ludu Joruba.
• Fonosemantyka a wiedza potoczna dla sztucznej inteligencji.
• Nieszablonowość zagadek lateralnych.

[edytuj] Tematy esejów zaliczeniowych 2014

• Czy gesty mogą wpływać na naukę oraz rozumienie matematyki?
• Zagadki w zamkniętym pomieszczeniu.
• Konfabulacje - próby racjonalnej odpowiedzi na zagadki umysłu.
• Wyznaczanie pomyślnych i niepomyślnych dni w kalendarzu balijskim na podstawie systemu Pawukon.
• Puryzm językowy a zapożyczenia w języku koreańskim.
• Kariera mnicha Sindona.
• Systemy liczbowe na świecie.
• Paradoks Fermiego.
• Koreańskie przesądy.
• Szamanizm w Korei.
• Wpływ tradycyjnego kalendarza koreańskiego na życie Koreańczyków.
• Paradoksy.
• Wybrane iluzje słuchowe w oparciu o badania prof. Diany Deutsch.
• Paradoksy fizyczne.
• Uprzejmość a wulgarność w języku japońskim.
• Magia vs. religia.

[edytuj] Tematy esejów zaliczeniowych 2013

• Czy zagadki logiczne nadają się do mierzenia inteligencji?
• Czy możemy ufać naszym zmysłom? Parę słów o iluzjach
• Rozszyfrowanie zapisów matematycznych starożytnego Egiptu
• Iluzje pamięci w kontekście wspomnień
• Emocje
• Iluzje optyczne
• Kostka Rubika i jej ciekawe oblicze
• Teleportacja
• Zagadki typu syntetycznego i analitycznego w malarstwie
• Synestezja
• Iluzje i złudzenia optyczne
• Zagadkowe dzieła czyli zderzenie mózgu ze sztuką
• Zagadkowe istnienie liczb pierwszych
• O iluzjach, które zwodzą oko, ale nie rękę
• Rycerze, łotrzy, szpiedzy, mnisi, szaleńcy: wstęp do rozważań
• Iluzje wzrokowe – czym są, klasyfikacje iluzji oraz próba wyjaśnienia mechanizmów ich powstawania
• Relacje między myślą, językiem, a kulturą oraz inne nierozwiązane problemy językoznawstwa
• Historia liczby Pi
• W jaki sposób dajemy oszukać swój umysł?
• Paradoksy i sofizmaty
• Iluzje dotykowe i ich wykorzystanie w tworzeniu nowych technologii
• Iluzje słuchowe

---