Site programming by Marcin Junczys-Dowmunt



 
 
 

Jerzy Pogonowski - Logika Zachodu

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 08:18, 21 sty 2012 (edytuj)
Pogonowski (Dyskusja | wkład)
(Plan wykładów)
← Poprzednia edycja
Wersja z dnia 09:29, 4 mar 2012 (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 323B.+Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 119B.
==Plan wykładów== ==Plan wykładów==

Wersja z dnia 09:29, 4 mar 2012

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

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

Dodatki