Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u 2003. godini po pravilu petkom od 16.15 sati u
Biblioteci Matematickog instituta SANU na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 09. maj 2003.G. U 16.15 SATI
PETAK, 16. maj 2003.G. U 16.15 SATI
PETAK, 23. maj 2003.G. U 16.15 SATI
PETAK, 30. maj 2003.G. U 16.15 SATI
OBAVESTENJE 1:
Pod rukovodstvom Profesora Zarka Mijajlovica nastavlja rad SREDOM U 12 SATI
u njegovom kabinetu na Matematickom fakultetu, Studentski trg 16, Seminar
iz Algebarske geometrije, Komutativne algebre i Teorije brojeva.
OBAVESTENJE 2:
Pod rukovodstvom Profesora Miodraga Raskovica, nastavlja rad Seminar iz
Kvantnih logika PETKOM OD 15 SATI u Biblioteci Matematickog instituta
SANU.
OBAVESTENJE 3:
Seminar nastavlja rad u oktobru 2003., ukoliko ne bude vanrednih
sastanak uprilicenih povodom gostovanja stranaca ili nasih matematicara i
logicara koji zive i rade u inostranstvu.
U Beogradu, 5.5.2003.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za maj 2003
Gostovanje Seminara Projekta "Metode Matematicke logike za podrsku
zakljucivanju u realnim situacijama" sa temom "KVANTNA MEHANIKA I KVANTNA
LOGIKA".
Rezime:
Ocekuje se razgovor i nekoliko neformalnih izlaganja na navedenu temu koju
je inicirao Profesor Miodrag Raskovic.
(Project Seminar "Methods of Mathematical Logic for Decision Support in
Real Life Situations" presents topic "Quantum Mechanics and Quantum
Logic".
Branislav Boricic (Ekonomski fakultet, Beograd)
LOGIKA POUZDANOSTI (Reliability Logic)
Rezime: U cilju formalizacije recenice A^r, B^s /- C^t , gde su A^r, B^s,
C^t pouzdanosti formula A, B, C, definisemo klasicni i intuicionisticki
racun sekvenata sa teoremom o eliminaciji secenja i odgovarajucom
semantikom.
Nastavak teme od 9. maja 2003.g.: "Kvantna mehanika i kvantna logika"
Branko Malesevic (Elektrotehnicki fakultet, Beograd)
NEKE REPREZENTACIJE FAKTORIJELNIH FUNKCIJA (Representations of Factoriel
functions)
Rezime: Daju se prikazi reprezentacija analitickih produzenja funkcija
levog faktorijela i alternativnog levog faktorijela.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.