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

Seminar for GENERAL PROOF THEORY

 

PROGRAM


Plan rada Seminara za opstu teoriju dokaza za oktobar 2012.

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, 15. oktobar, u 18:00
Branislav Boricic (Ekonomski fakultet, Beograd)
KLASICNA LOGIKA KAO SISTEM PRIRODNE DEDUKCIJE

Rezime: Kada je uvodio racune sekvenata za klasicnu i Hejtingovu logiku Gencen je paralelno definisao i odgovarajuce sisteme prirodne dedukcije, koje je kasnije razvijao Pravic. Tada razmatran sistem prirodne dedukcije za klasicnu logiku ne poseduje odredjena sintaksna svojstva, kao sto je svojstvo separabilnosti. Na primeru implikativnog fragmenta klasicne logike bice predoceno kako se moze prevazici taj nedostatak.

Ponedeljak, 29. oktobar, u 18:00
Milos Adzic i Kosta Dosen (Filozofski fakultet i Matematicki institut, Beograd)
PREDAVANJE POSVECENO VLADETI VUCKOVICU

Rezime: U predavanju ce biti prikazani zivot i rad Vladete Vuckovica (1923-2012), prvog srpskog modernog logicara, koji je preminuo 16. septembra ove godine.

[http://scideks-clanci.ceon.rs/data/pdf/0023-5164/2012/0023-51641234366A.pdf]



OBAVESTENJA:

Ukoliko ne zelite da primate obavestenja o ovom seminaru na Vasu elektronsku adresu porucite, molim Vas, to u odgovoru na ovu poruku. A ukoliko bi pak neko voleo da dobija ta obavestenja, a nije dobio ovo, njegova ce adresa sa zadovoljstvom biti dodata na listu.



Beograd, 2012.g.
Kosta Dosen, rukovodilac Seminara