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, 05. novembar 2004.G. U 16.15 SATI
PETAK, 12. novembar 2004.G. U 16.15 SATI
PETAK, 19. novembar 2004.G. U 16.15 SATI
PETAK, 26. novembar 2004.G. U 16.15 SATI
U Beogradu, 12.10.2004.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za novembar 2004
Mirjana Borisavljevic (Saobracajni fakultet Univerziteta u Beogradu)
KONVERZIJE U SISTEMU SEKVENATA (Conversions in the system of sequents)
A new set of conversions for derivations in the system of sequents for
intuitionistic predicate logic will be defined. These conversions will be
some modifications of the conversions from Zucker's system of sequents S,
which will have the following characteristics: (1) these conversions will
be sufficient for transforming a derivation into a cut-free one, and (2)
in the natural deduction the image of each of these conversions will be
either in the set of conversions for normalization procedure, or an
identity of derivations.
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: PODALGEBRE I KONGRUENCIJE
(A course in modern Universal Algebra: Subalgebras and conguences)
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: DIREKTNI I PODDIREKTNI PROIZVODI
(A course in modern Universal Algebra: Direct and subdirect products)
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
KURS IZ MODERNE UNIVERZALNE ALGEBRE: HSP TEOREMA I JEDNAKOSNA LOGIKA
(A course in modern Universal Algebra: HSP theorem and equational logic)
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.