Error loading media: File could not be played
 
00:0000:0000:00
00:00
00:50:06
Stipe Marić: Logika konzervativnosti i druge podlogike sistema IL (1)
Na seminaru će se definirati sistem IL− i promatrati neka proširenja tog sistema koja su ujedno i podlogike sistema IL. Primjer jedne takve logike je sistem CL. Pokazat ćemo koliko ukupno ima podlogika sistema IL dobivenih dodavajući sistemu IL− određene aksiome. Na kraju ćemo pokazati (ne)potpunost tih podlogika u odnosu na IL− okvire.
Objavljeno: 14.03.2022
Unutar kategorije: Obrazovanje
VoD paketi: LORA

Srodni zapisi

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10