From Zakład Logiki Stosowanej

Wersja z dnia 16:46, 5 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Wykłady) ← Poprzednia edycja		Wersja z dnia 16:30, 12 paź 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Wykłady) Następna edycja →
Linia 110:		Linia 110:
	* [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015		* [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015
-	* [[Media: mdt02.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
	* Metoda aksjomatyczna		* Metoda aksjomatyczna

---

Wersja z dnia 16:30, 12 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