Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za novembar 2004

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
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.

PETAK, 12. novembar 2004.G. U 16.15 SATI
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)

PETAK, 19. novembar 2004.G. U 16.15 SATI
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)

PETAK, 26. novembar 2004.G. U 16.15 SATI
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)

U Beogradu, 12.10.2004.

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

Azurirani programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu.

---