Informatyka

11
Przykład poprawności i kompletności wnioskowania

Czy następujący przykład jest prawidłowy, czy algorytm wnioskowania jest prawidłowy i kompletny ? Załóżmy, że mamy igły a, b, c w stogu siana, a także algorytm wnioskowania zaprojektowany do wyszukiwania igieł. dźwięk - uzyskiwane są tylko igły a, b i c. kompletna - otrzymano igły a, b i c....

11
-algebrze na wejściu algorytmu

Chcę sprecyzować, co to znaczy podać algebrę jako dane wejściowe do algorytmu i nie znalazłem zbyt wiele literatury na ten temat. Najpierw chciałbym zapytać, czy możesz polecić książkę lub artykuł, który porusza temat analizy złożoności algebr nad polami i jasno określa problem decyzyjny . Po...

11
Wnioskowanie o rodzajach uściślenia

W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T;...