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

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
***********************************************************