Funkcjonały i hardware

Speaker(s)

Stanisław Ambroszkiewicz

Affiliation

Instytut Podstaw Informatyki PAN

Date

June 16, 2017, 3:30 p.m.

Room

room 5820

Seminar

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

---

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

---