Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Pogonowski (Dyskusja | wkład)
(New page: Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 323B. ==Plan wykładów== * Antynomie, paradoksy, sofizmaty * Historia logiki Zachodu do wieku XIX * Histor...)
Następna edycja →
Wersja z dnia 08:07, 21 sty 2012
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 323B.
[edytuj] 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
- Metalogika: ujęcie algebraiczne
- Metalogika: ujęcie semantyczne
- Teoria modeli
- Teoria mnogości
- Teoria rekursji
- Teoria dowodu
- Pragmatyka logiczna
- Ogólna metodologia nauk
- Logika w informatyce
