Die meisten Tutorials zu Lambda Calculus bieten Beispiele, in denen positive Ganzzahlen und Boolesche Werte durch Funktionen dargestellt werden können. Was ist mit -1 und
Die meisten Tutorials zu Lambda Calculus bieten Beispiele, in denen positive Ganzzahlen und Boolesche Werte durch Funktionen dargestellt werden können. Was ist mit -1 und
Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also...
Wie kann entschieden werden, ob eine Ziffernfolge hat? ππ\pihat mich dazu inspiriert zu fragen, ob die folgende unschuldig aussehende Variante berechenbar ist: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
Der aktuelle Gleitkomma (ANSI C float, double) ermöglicht die Darstellung einer Approximation einer reellen Zahl. Gibt es eine Möglichkeit, reelle Zahlen fehlerfrei darzustellen ? Hier ist eine Idee, die alles andere als perfekt ist. Zum Beispiel ist 1/3 0,33333333 ... (Basis 10) oder o.01010101...
Ist "Rices Theorem für die berechenbaren Realitäten" - das heißt, keine nichttriviale Eigenschaft der Zahl, die durch einen bestimmten berechenbaren Realwert dargestellt wird, entscheidbar - wahr? Entspricht dies in direkter Weise der Verbundenheit der
COQ ist ein interaktiver Theorembeweiser, der die Berechnung induktiver Konstruktionen verwendet, dh stark von induktiven Typen abhängt. Mit diesen werden diskrete Strukturen wie natürliche Zahlen, rationale Zahlen, Graphen, Grammatiken, Semantik usw. sehr präzise dargestellt. Seit ich den...
Angenommen, wir haben einen Baum, in dem Blätter mit einer Reihe von Zahlen und interne Knoten mit einer Reihe von Operationen .L.LLÖOO Insbesondere kann oder und optional und / oder . kann eine beliebige Teilmenge von .L.LLN , Z.N,Z\mathbb{N},