Petak, 7. decembar 2001. u 12h:

Milos Kurilic (Institut za matematiku PMF, Novi Sad):
Bulove algebre i forsing

Forsing je metoda za konstrukciju modela teorije skupova. Koristeci pogodno odabrano parcijalno uredjenje polazni model se prosiruje do novog, genericke ekstenzije, koja ima zeljene osobine. Umesto parcijalnog uredjenja se, sa istim efektom, moze koristiti njegovo Bulovo kompletiranje. Tema predavanja je veza izmedju osobina Bulovih algebri i pojave novih objekata u odgovarajucim forsing-ekstenzijama

Petak, 14. decembar 2001. u 12h:

Zoran R. Pop-Stojanovic (University of Florida):
PROBABILISTIC METHODS IN ANALYSIS

Whereas during the first four decades of the past century, Probability Theory's development was characterized by ``pushing Analysis into Probability,'' as the Russian School did it, (Markov, Hincin, Kolmogorov), its development in the later part of the past century was characterized by ``pay back time to Analysis,'' when various probabilistic methods were used in solving problems in Analysis. This later development was due mostly to the American School (Wiener, Feller, Doob, Hunt).
Starting with Wiener's probabilistic method for finding the generalized solution to the Dirichlet problem, the talk will present Mark Kac's technique, where by using Markov processes, one can solve eigenvalue problems for the Laplace operator. Finally, it will be shown as how by running the Brownian motion process, one can solve the Schrodinger (time-homogeneous) equation, as well as other PDEs.

Petak, 21. decembar 2001. u 11h:

SASTANAK POCINJE RANIJE: u 11h umesto u 12h
Godisnji prikaz rezultata rada saradnika projekta "Metode matematicke logike za podrsku zakljucivanju u realnim situacijama"

U kracim izlaganjima (10-15min) saradnici ce predstaviti svoje rezultate ostvarene u toku 2001. godine i najaviti oblasti kojima ce se baviti u predstojecem periodu. Izlaganja ce biti prilagodjena siroj publici, tako da se ocekuje diskusija i moguci predlozi za saradnju.
Zbog veceg broja ucesnika predvidjeno je da se sastanak sastoji iz dva dela, tako da ce se drugi deo izlaganja odrzati u okviru Seminara za logiku, takodje 21.12.2001. sa pocetkom u 13:30.

Petak, 28. decembar 2001. u 12h:

Branka Pavlovic:
Prosirenje Lipsicovih preslikavanja u Hadamarove prostore

Dokazujemo da svako p-Lipsicovo preslikavanje f:S->Y koje je definisano na bilo kom podskupu proizvoljnog metrickog prostora X poseduje cp-Lipsicovo prosirenje f':X->Y za neko c=c(Y) >= 1, ukoliko je Y Hadamarova mnogostrukost koja zadovoljava jedan od sledecih uslova: (i) Y ima negativnu krivinu u odredjenim granicama; (ii) Y je homogen; (iii) Y je dvodimenzion. U slucaju (i) konstanta c zavisi od dimenzije i granice krivine. U slucaju (iii) c=4 * sqrt(2). Slicne rezultate dobijamo za vece klase Hadamarovih prostora u smislu Aleksandrova.