[Institut] Program Seminara za logiku za novembar i decembar 2003

[Djordje Vukomanovic]

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

PETAK, 14. NOVEMBAR 2003.G. U 16:15 SATI
Milos Kurilic (Institut za matematiku PMF, Novi Sad)
JEDNA KLASA MAKSIMALNIH SKORO DISJUNKTNIH FAMILIJA
(A class of MAD (maximal almost disjunctive) families)
Skraceni rezime: Maksimalne skoro disjunktne familije skupova o kojima je
rec su u korespomdenciji s maksimalnim antilancima u Booleovoj algebri
P(omega)/Fin. Bice posmatrane maksimalne skoro disjunktne familije
podskupova skupa N (prirodnih brojeva) ciji su elementi konvergentni
skupovi, kao i one koje se sastoje od divergentnih skupova (u smislu da je
zbir reciprocnih vrednosti elemenata tih skupova konacan, odnosno
beskonacan). Takodje, razmatrace se invarijantne kontinuuma vezane za
ovakve i slicne skupove.

PETAK 21. I PETAK 28. NOVEMBAR 2003.G. U 16:15 SATI
Zoran Markovic, Zoran Ognjanovic (Matematicki institut SANU) i Miodrag
Raskovic (Uciteljski fakultet, Beograd)
~DEFAULT~ LOGIKE, PREGLED RAZVOJA U POSLEDNJOJ DECENIJI
(Deafault logics, main developments in the last decade)
Rezime: Tokom poslednjih desetak godina predlozeno je vise semantickih
pristupa i postignut konsenzus o minimalnom skupu osobina koje treba da
poseduju sistemi za ~default~ rezonovanje (rasudjivanje u nedostatku
informacija), a data je i odgovarajuca aksiomatizacija. U prvom delu
izlaganja bice prikazani glavni rezultati koji su dosad publikovani. U
drugom delu, predavaci ce izloziti neke svoje rezultate u vezi s ~default~
logikama.
(During the 90`s several new semantical approaches to defaults were
developed. Also the consensus was reached about what should be the core
axioms for default reasoning. A survey of these results will be given as
well as a short account of the results of the authors in this field.)

PETAK, 5. DECEMBAR 2003.G. U 16:15 SATI
Filip Maric (Matematicki fakultet, Beograd)
UVOD U SISTEM ISABELL (Introduction to Isabell)
Rezime: Isabell je genericki dokazivac teorema sa ugradjenom podrskom za
nekoliko logika, ukljucujuci logiku prvog reda (FOL), logike viseg reda
(HOL), Zermelo-Fraebkelovu teoriju skupova (ZF) i konstruktivisticku
teoriju tipova (CTT). Sistem ima mogucnost uvodjenja novih logika,
navodjenjem njihove apstraktne sintakse, notacije i pravila izvodjenja.
Ovo je predavanje zamisljeno kao osnovni uvod u ovaj sistem. Ono ce
pokriti postavljanje, tj. instalaciju sistema, kao i osnovne nacine
upotrebe, s posebnim naglaskom na logiku prvog reda.
(Isabell is a generic theorem prover. It has built-in support for several
logics, including first-order logic (FOL), higher-order logic (HOL),
Zermelo-Fraenkel set theory (ZF) and extensional constructive type theory
(CTT). New logics can also be introduced by specifying their abstract
syntax, notation and inference rules.
This lecure will be a basic introduction to this system. Obtaining and
installation of the system will be covered, as well as the basic ways for
using the system, concentrating specially on (FOL).)

PETAK, 12 DECEMBAR 2003.G. U 16:15 SATI
Radoslav Djordjevic (PMF, Kragujevac), Miodrag Raskovic (Uciteljski
fakultet, Beograd) i Zoran Ognjanovic (Matematicki institut SANU)
LOGIKA ZA ZAKLJUCIVANJE S VEROVATNOCAMA KONACNOG OPSEGA
(A logic for reasoning about probabilities with finite ranges)
Rezime: Jezik ove logike sadrzi spisak verovatnosnih operatora oblika P>s
(sa znacenjem ~verovatnoca je bar s~). Aksiome i pravila zakljucivanja
sintakticki odredjuju da ima samo konacno mnogo verovatnoca u
odgovarajucim modelima. Dokazana je teorema potpunosti za ovu logiku i
pokazano je da se potpunost ne moze uopstiti na proizvoljne teorije.
(Language contains a list of probabilistic operators of the form P>s (with
the intended meaning ~the probability is at least s~). The axioms and
rules syntactically determine that ranges of probabilities in the
corresponding models are aleays finite. The completeness theorem is
proved. It is shown that completeness cannot be generalized to to
arbitrary theories.)

PETAK, 19. DECEMBAR 2003.G.
Rezervisan termin- tema predavanja bice saopstena naknadno.

PETAK, 26. DECEMBAR 20003,G U 16:15 SATI
Predstavljanje knjige Profesora Filozofskog fakulteta u Beogradu MILOSA
ARSENIJEVICA ~VREME I VREMENA~, izdanje DERETE, Beograd, 2003. (edicija
filozofske teme, str. 276, recenzenti Dragana Bozin i Vojislav Bozickovic)
O knjizi ce govoriti PETAR GRUJIC (Institut za fiziku, Zemun) i MIODRAG
KAPETANOVIC(Matematicki institut SANU, Beograd)
(Presentation of the book by Professor Milos Arsenijevic: ~Time and
tenses~, published by Dereta, Belgrade, 2003)
Posle Promocije, predvidjen je koktel.

OBAVESTENJE: Programi svih seminara Matematickog instituta SANU mogu se
naci na adresi www.mi.sanu.ac.yu.

Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic