Seminar for
Mathematical Logic
PROGRAM
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
PETAK, 28. oktobar 2005.G. U 16.15 SATI
U Beogradu, 20.10.2005.
Rukovodioci seminara:
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.
Program Seminara za logiku za oktobar 2005
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.
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.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.