[ui] KR Seminar Piatok 20. 5. 10:00 (Marie Duží)

Mili kolegovia, tento piatok opat privitame na seminari nasej pracovnej skupiny zaujimaveho hosta, cesku logicku Marii Duží, z Katedy informatiky na VŠB v Ostrave, ktora vystupi s prednaskou: TIL jako extensionální logika hyperintensí Piatok 20. 5. 10:00 v I-9 Abstrakt: Obsahem přednášky budou základní definice TIL, tj. definice konstrukcí, rozvětvené hierarchie typů, a definice tří druhů kontextu. Ukážu, že dedukční pravidla odvozování platí ve všech kontextech, ovšem musí být správně aplikována, tj. na objekt správného typu. V extenzionálním kontextu je to *hodnota *funkce označené daným termem, v intensionálním kontextu pak celá *funkce*, a konečně v hyperintensionálním kontextu je to *procedura*, která danou funkci konstruuje. Poté rozeberu algoritmus rozpoznávání kontextu a operace v hyperintensionálním kontextu, tj. na procedurách čili konstrukcích. Vsetci ste srdecne pozvani! S pozdravom, -- Martin Homola Homepage: http://ii.fmph.uniba.sk/~homola/ PGP public key: http://ii.fmph.uniba.sk/~homola/publickey.asc