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