From Zakład Logiki Stosowanej

Wersja z dnia 16:25, 5 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Zakład Logiki i Kognitywistyki UAM) ← Poprzednia edycja		Wersja z dnia 16:29, 5 paź 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja →
Linia 128:		Linia 128:
	* [[Media: kon02.pdf | 13 października 2015]]		* [[Media: kon02.pdf | 13 października 2015]]
	* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski		* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
		+
		+	==Zagadki==
		+
		+	* [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski:_Zagadki Zagadki]

---

Wersja z dnia 16:29, 5 paź 2015

Spis treści 1 dr Victoria Kamasa 2 dr hab. Włodzimierz Lapis 3 dr Michał Lipnicki 4 dr Dorota Lipowska 5 dr Sławomir Sikora 6 mgr Ida Stria 7 mgr Anna Wartecka 8 Zakład Logiki i Kognitywistyki UAM 8.1 Metody dowodzenia twierdzeń i automatyzacja rozumowań 8.1.1 Wykłady 8.1.2 Konwersatoria 8.2 Zagadki

dr Victoria Kamasa

• Seminarium 2015
• Wprowadzenie do Krytycznej Analizy Dyskursu
• Praktyczna metodologia...
• Prezentacja akademicka (WSD)
• Proseminarium licencjackie (JK)
• Przedsiębiorczość dla językoznawców

Archiwum:

• Analiza danych w naukach filologicznych (WSD)
• Seminarium 2014
• Seminarium 2013 (tu: ukończone prace licencjackie wraz z recenzjami)
• Seminarium 2012 (tu: ukończone prace licencjackie wraz z recenzjami)
• Seminarium 2011 (tu: ukończone prace licencjackie wraz z recenzjami)
• Filozofia z elementami logiki
• Filozofia z elementami logiki
• Logika
• Socjolingwistyka
• Statystyka (JiNoI)
• Statystyka (JK)

• Metodologia językoznawstwa w praktyce

---

dr hab. Włodzimierz Lapis

• Informatyka
• Lingwistyka
• Matematyka

---

dr Michał Lipnicki

• Wprowadzenie do buddyzmu

Archiwum:

• Logika (I rok Koreanistyki)
• Logika
• Naukoznawstwo
• Refleksja logiczna Orientu i logika Zachodu

---

dr Dorota Lipowska

• Logika

---

dr Sławomir Sikora

• Logika Starożytnego Orientu
• Logika a język
• Filozofia (Indie, Chiny, Zachód)

---

mgr Ida Stria

• Języki germańskie na tle indoeuropejskim - 30h

Archiwum:

• Języki germańskie na tle indoeuropejskim - 60h
• Szwedzki dla filologii fińskiej

mgr Anna Wartecka

• Skrypt dydaktyczny z pragmatyki

Zakład Logiki i Kognitywistyki UAM

Wydział Nauk Społecznych UAM

Instytut Psychologii UAM

Zakład Logiki i Kognitywistyki UAM

Jerzy Pogonowski

Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Syllabus

Wykłady

• Preliminaria matematyczne i logiczne oraz uwagi historyczne 6x2015
• Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji. 13x2015
• UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
• Metoda aksjomatyczna
• Postacie normalne i prefiksowe
• Tablice analityczne Smullyana
• Rezolucja
• Dedukcja naturalna
• Rachunki sekwentów
• Dual tableaux (diagramy Rasiowej-Sikorskiego)
• Metody dowodowe: zalety, wady, wzajemne związki
• Wybrane twierdzenia metalogiczne i metody ich dowodzenia
• Teoria rekursji a metody dowodowe
• Automatyzacja rozumowań
• Rozstrzygalność
• Dowody matematyczne

Konwersatoria

• 6 października 2015
• 13 października 2015
• UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski

Zagadki

• Zagadki