Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 08:07, 21 sty 2012 (edytuj) 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...) ← Poprzednia edycja |
Aktualna wersja (14:52, 20 lut 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
(6 intermediate revisions not shown.) | |||
Linia 1: | Linia 1: | ||
- | Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 323B. | + | Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 119B. |
- | ==Plan wykładów== | + | [[Image: smile4.jpg|center|frame|Strona w likwidacji.]] |
- | * Antynomie, paradoksy, sofizmaty | + | [[Category:Pracownicy]] |
- | + | [[Category:Dydaktyka]] | |
- | * 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 | + |
Aktualna wersja
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 119B.