Seminar for GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za novembar 2013.
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, 4. novembar, u 18:00
Kosta Dosen, Filozofski fakultet i Matematicki institut, Beograd
KOMPOZICIJA, RACUNANJE I VELIKI PROBLEMI
Rezime: "Dobra notacija je pola zdravlja" kaze stara matematicka poslovica, koju logicari narocito vole. Dobra notacija za kompoziciju je jedan kruzic. Bice osim toga reci o tome da racunanje nije samo sebi cilj, nego je cilj nesto drugo, sa cim se srecemo u velikim logickim problemima. Alternativni naslov ovog predavanja bi mogao da bude "Primedbe o Kari-Hauardovoj korespondenciji".
Ponedeljak, 18. novembar, u 18:00
Jelena Ivetic, Fakultet tehnickih nauka, Novi Sad
O INTUICIONISTICKIM FORMALNIM RACUNIMA SA KONTROLOM RESURSA
Rezime: U predavanju ce biti reci o formalnim racunima koji su prosirenja lambda racuna sa operatorima za dupliranje i brisanje promenljivih, te stoga odgovaraju strukturnim pravilima kontrakcije i slabljenja.Predstavicemo i po dva tipska sistema za uvedene racune:osnovni tipski sistem, kojim se uspostavlja Kari-Hauardova korespondencija sa formalnim sistemima sa eksplicitnim strukturnim pravilima za intuicionisticku logiku, i tipski sistem sa presekom, pomocu kojeg je moguce okarakterisati skup terminirajucih terama.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************