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

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za oktobar 2005

Sastanci Seminara za matematicku logiku Matematickog instituta SANU odrzavace se i u akademskoj 2004/2005. godini po pravilu petkom od 16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.

PETAK, 21. oktobar 2005.G. U 16.15 SATI
Hugo Herbelin (INRIA, Paris, France)
THE DUALITY OF COMPUTATION

The lambda-bar-calculus is a variant of lambda-calculus that is derived from Gentzen sequent calculus. Its strong symmetries show that sequent calculus can be computationally interpreted as the superimposition of a call-by-name lambda-calculus and of a call-by-value lambda-calculus. Starting from a comparison with usual lambda-calculus, the talk will cover various computational aspects of the lambda-bar-calculus, plus a tree representation of sequent calculus a la natural deduction.

PETAK, 28. oktobar 2005.G. U 16.15 SATI
Slaviša Prešić (Matematički fakultet Univerziteta u Beogradu)
ALGORITAM PRVE DESNE ZAGRADE (Alogrithm of the first right bracket)

Od jednostavnih do sve viših i viših primera. Primena u numerici, matematičko-logičkoj sintaksi, računarstvu, itd. Taj algoritam je živ, stalno se pojavljuju sve dublji i dublji njegovi oblici.

U Beogradu, 20.10.2005.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Ukoliko zelite da primate mesecni program ovog Seminara elektronskom postom, pisite na adresu: vdjordje@mi.sanu.ac.yu. Inace, programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu. Seminar nastavlja rad u oktobru, ukoliko ne bude vanrednih sastanaka uprilicenih povodom gostovanja stranaca ili nasih ljudi koji zive i rade u inostranstvu.