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