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

  • Dowody założeniowe w KRP.
  • Aksjomatyczne ujęcie KRP.
  • Unifikacja i rezolucja w KRP.
  • Informacja o rachunku sekwentów Gentzena dla KRP.

Egzamin: 20 czerwca 2008, godz. 15:00, sala CN 316B.