Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Logika Matematyczna

From Zakład Logiki Stosowanej

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Logika Matematyczna (2007-2008, I JiNoI)

Semestr zimowy

Semestr letni

  • Semantyka KRP (1).
  • Tablice analityczne dla KRP.
  • Aksjomatyczne ujęcie KRP.
  • Dowody założeniowe w KRP.
  • Unifikacja i rezolucja w KRP.
  • Informacja o rachunku sekwentów Gentzena dla KRP.