Sastanak Odeljenja za matematiku, 4. jun 2010.

Detaljnije:

Naredni sastanak Odeljenja za matematiku održaće se u petak, 04.06.2010. 14 časova, u sali 2 MI SANU.

Predavač: Mirjana Isaković-Ilić, Ekonomski fakultet, Univerzitet u Beogradu

Naziv predavanja: TABLOI I SEKVENTI

Sadržaj: Supstrukturne logike su sve one logike čija se sekventna formulacija može dobiti iz Gencenovog sistema LK, eliminacijom i/ili restrikcijom pojedinih strukturnih pravila. Automatizacija postupka za utvrdjivanje dokazivosti zadate formule, u nekoj od odlučivih supstrukturnih logika, veoma je zanimljiv, često težak zadatak. Jedna od metoda, koja se koristi u formulaciji dokazivača teorema je metoda tabloa.

 


 Ostavite vaš komentar 

Komentari(0)

Ostavite vaš komentar:


(opciono)
(nece biti prikazano)