Funkcjonały i hardware

Prelegent(ci)

Stanisław Ambroszkiewicz

Afiliacja

Instytut Podstaw Informatyki PAN

Termin

16 czerwca 2017 15:30

Pokój

p. 5820

Seminarium

Research Seminar of the Logic Group: Approximate reasoning in data mining

---

Abstrakt: Funkcjonały to funkcje wyższych rzędów, które biorą jako argumenty funkcje (ogólnie również funkcjonały).  Funkcjonały obliczalne są badane począwszy od lat 50-tych XX wieku, Grzegorczyk, Kleene i Kreisel.  Częściowe obliczalne funkcjonały zostały dobrze zdefiniowane  (PCF++) przez Platek, Scott, Plotkin i Sazonov. Ogólne (zdefiniowane na całej dziedzinie) funkcjonały wciąż stanowią problem a są ważne zarówno dla programowania funkcyjnego, podstaw Matematyki i co ciekawe również przy projektowaniu układów scalonych. W pracy jest zaproponowane proste podejście do konstrukcji takich ogólnych funkcjonałów.       

Najnowsza wersja prezentowanej pracy jest na http://arxiv.org/abs/1501.03043

---