ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za april 2011.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u zimskom semestru 2009/2010.g. na novoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.

PETAK, 01.04.2011. U 16:00
Dragan Doder (Masinski fakultet Univerziteta u Beogradu)
O sintaksi i semantici diskretnih temporalnih logika (On syntax and semantics of discrete temporal logics)

Prvi deo predavanja ce sadrzati kratak prikaz jezika osnovnih temporalnih logika sa diskretnim vremenom: LTL, CTL i CTL^*, kao i njima odgovarajucih semantika. U drugom delu ce biti izlozen predlog jako potpunog aksiomatskog sistema za jednu opstu klasu modela razgranate logike, koja koristi jezik CTL^*.



PETAK, 08.04.2011. U 16:15
Maja Roslavcev
$ABC$ hipoteza (The $ABC$ conjecture)

$ABC$ hipoteza postavljena je 1980-tih godina dvadesetog veka. Odnosi se na teoriju brojeva, mada postoje odgovarajuce pretpostavke (formulacije) pod istim nazivom i u drugim, bliskim (srodnim) oblastima. Posledice hipoteze su vazni reseni i nereseni problemi danasnjice, od kojih je najpoznatiji Fermatova teorema. Smatra se da bi resenje ovog problema znacajno uticalo na nase shvatanje teorije brojeva.

Petak, 15.04.2011. U 16:15
...
Dokazi bez reci (Proofs without words)

Ovaj ce sastanak biti posvecen dokazima koji nisu formulisani na uobicajen nacin, u nekom uobicajenom formalnom ili neformalnom jeziku. Razmatrace se da li takvi dokazi uopste postoje. Nece biti predavaca, nego kolege koje zele dati doprinos treba da spreme sasvim kratka saopstenja. Jedno takvo saopstenje ima Zoran Petric pod sledecim naslovom: "Sta dokazuje Meri Pardo?" u kome ce biti analiziran dokaz "bez reci" teoreme o zbiru uglova trougla i bice predstavljeno sta se time u stvari dokazuje. Drugi takav primer navodi Zarko Mijajlovic koji demonstrira da dokazi skupovnih jednakosti pomocu Venovih dijagrama predstavljaju zaista dokaze.

OBAVESTENJA:

1)Profesor Predrag Tanovic (Matematicki institut SANU i Matematicki fakultet Univerziteta u Beogradu)) poceo je u UTORAK, 1. MARTA 2011.G. U 16:15 SATI U SALI 301F, III SPRAT, KNEZA MIHAILA 36, Kurs iz teorije modela (A course in model theory). Nadalje, predavanja ce se nastavljati svakog utorka u 16:15 na istom mestu.

2) Dejan Ilic (Saobracajni fakultet Univerziteta u Beogradu) branice magistarsku tezu pod naslovom: Dimenzija modela neprebrojivo kategoricne teorije (Dimension of model of an uncountably categorical theory) u PETAK, 25. FEBRUARA 2011.G. U 18:00 SATI U SALI 844, V SPRAT, STUDENTSKI TRG 16, MATEMATICKI FAKULTET UNIVERZITETA U BEOGRADU



Profesor Kosta Dosen drzi u letnjem semestru 2009/2010. skolske godine kurs iz izbornog predmeta FILOZOFIJA MATEMATIKE na cetvrtoj godini studija filozofije na Odeljenju za filozofiju Filozofskog fakulteta Univerziteta u Beogradu, Cika Ljubina 18-20, u sali 308, III sprat(nove zgrade Filozofskog fakulteta) sredom od 18:30, pocevsi od srede 10. februara 2010.g. Uz kurs su predvidjene vezbe petkom od 18:00 sati u sali Srpskog filozofskog drustva (prvi sprat starih prostorija Filozofskog fakulteta), koje drzi Milos Adzic. Kurs je posvecen filozofiji matematike Gotloba Fregea, a vezbe poglavljima iz logike relevantnim za filozofiju matematike.

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: vdjordje@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd, 1. marta 2010.g.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic