Site programming by Marcin Junczys-Dowmunt



 
 
 

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
Wersja z dnia 08:08, 21 sty 2012 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Plan wykładów)
Następna edycja →
Linia 32: Linia 32:
* Logika w informatyce * Logika w informatyce
 +
 +[[Category:Pracownicy]]
 +[[Category:Dydaktyka]]

Wersja z dnia 08:08, 21 sty 2012

Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 323B.

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