ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for GENERAL PROOF THEORY

 

PROGRAM


Plan rada Seminara za opstu teoriju dokaza za april 2014.

Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.



Ponedeljak, 28. april, u 18:00
Vlasta Sikimic
DISPLEJ SEKVENTNI SISTEMI

Rezime: Belnap je uveo displej sekventne sisteme da bi dobio jednostavniju simetricnu proceduru za eliminaciju secenja. U ovom predavanju uvodnog karaktera bice predstavljeni ti sistemi i glavne ideje vezane za njih.



***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************