From Zakład Logiki Stosowanej

Wersja z dnia 06:38, 27 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Wykłady) ← Poprzednia edycja		Wersja z dnia 06:38, 27 paź 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Wykłady) Następna edycja →
Linia 110:		Linia 110:
	* [[Media: mdt13x2015.pdf | Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji.]] 13x2015		* [[Media: mdt13x2015.pdf | 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		* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
-	* [[Media: mdt03.pdf | Metoda aksjomatyczna.]]27x2015	+	* [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015
	* Postacie normalne i prefiksowe		* Postacie normalne i prefiksowe
	* Tablice analityczne Smullyana		* Tablice analityczne Smullyana

---

Wersja z dnia 06:38, 27 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

• Statystyka (JiNoI)
• Logika
• Proseminarium licencjackie (JK)
• Semiotyka logiczna

Archiwum:

• Analiza danych w naukach filologicznych (WSD)
• Prezentacja akademicka (WSD)
• Seminarium 2015
• 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
• Socjolingwistyka
• Przedsiębiorczość dla językoznawców

• Statystyka (JK)
• Wprowadzenie do Krytycznej Analizy Dyskursu
• Praktyczna metodologia...

---

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. 27x2015
• 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