Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za maj 2016.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
Ponedeljak, 9. maj, u 18:00
Nenad Krdzavac, Michigan State University, East Lansing
SEKVENTI U MIKROBIOLOGIJI
Rezime. Automatskim zakljucivanjem u jednoj klasi opisnih logika mogu da se
resavaju prakticni zadaci iz mikrobiologije. Ovo predavanje je nastavak
predavanja odrzanog na seminaru pocetkom jesenjeg semestra ove skolske
godine, koje je bilo posveceno sekventnom racunu za opisnu logiku ALC.
Ponedeljak, 16. maj, u 18:00
Kosta Dosen, Matematicki institut i Filozofski fakultet, Beograd
KORISNOST NEKORISNOG
Rezime. Logika je danas jedna od najprimenjenijih oblasti matematike, ako
nije najprimenjenija. Ta nauka nije medjutim nastala sa ciljem da se dobiju
te izuzetno korisne primene nego iz teorijskih razloga, sa ciljem da se
postigne nesto sto bi mnogi okarakterisali kao nekorisno.
PONEDELJAK, 23. maj, u 18:00
Slobodan Vujosevic, Prirodno-matematicki fakultet, Podgorica
MATEMATIKA I RELIGIJA
Rezime. Matematika, filozofija i religija imaju zajednicki koren u grckoj
antickoj misli. Za razliku od filozofije i drugih nauka iz kojih je
platonisticki duh anticke kulture sistematski potiskivan, u modernom dobu u
matematici i religiji on se sacuvao i bio inspiracija i matematicarima i
teolozima.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************