Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 08:14, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (→Plan wykładów) ← Poprzednia edycja |
Aktualna wersja (14:52, 20 lut 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
| (4 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 | + | |
| - | + | ||
| - | * 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 | + | |
| - | + | ||
| - | * Ogólna metodologia nauk | + | |
| - | + | ||
| - | * Logika w informatyce | + | |
| - | + | ||
| - | ==Dodatki== | + | |
| [[Category:Pracownicy]] | [[Category:Pracownicy]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Aktualna wersja
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 119B.
Strona w likwidacji.
