Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 09:29, 4 mar 2012 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 21:39, 19 lut 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 1: | Linia 1: | ||
| Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 119B. | Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 119B. | ||
| + | |||
| + | [[Image: smile4.jpg|center|frame|Strona w likwidacji.]] | ||
| ==Plan wykładów== | ==Plan wykładów== | ||
Wersja z dnia 21:39, 19 lut 2015
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 119B.
Strona w likwidacji.
Plan wykładów
- Antynomie, paradoksy, sofizmaty
- Historia logiki Zachodu do wieku XIX
- Historia logiki Zachodu: wiek XIX i XX
- Czym jest współczesny Elementarz Logiczny?
- Wybrane metody dowodowe
- Logiki nieklasyczne
- Metamatematyka: wybrane twierdzenia
- Metalogika: ujęcie algebraiczne
- Metalogika: ujęcie semantyczne
- Teoria modeli
- Teoria mnogości
- Teoria rekursji
- Teoria dowodu
- Pragmatyka logiczna
- Logika w ogólnej metodologii nauk
- Logika w informatyce
