Suchergebnisse für Anfrage "computer-science"
Was ist der Unterschied zwischen einem Booleschen Literal und einem Booleschen Wert?
Ich kann anscheinend keine klare Erklärung dafür finden, was der Unterschied zwischen diesen beiden ist. Ich möchte auch darauf hinweisen, dass ich den Unter...
Wie man Athena laufen lässt | Coq | Isabelle Codes aus der Ferne?
Ich habe eine Web-IDE (WIDE) für den Beweis in der Informatik erstellt. Sie wissen vielleicht, dass es drei der häufigsten Beweisassistenten gibt, die Athena, Isabelle und Coq heißen. Die meisten Informatiker vergessen möglicherweise ihre Syntax, ...
Ist die bedingte Verzweigung ein Erfordernis der Turing-Vollständigkeit?
Ich habe im Internet gesucht und finde etwas widersprüchliche Antworten. Einige Quellen behaupten, dass eine Sprache / Maschine / was-hast-du ist Turing vollständig, wenn und nur wenn es hatbeid Bedingte und bedingungslose Verzweigung (was ...
Einfache Definition von „Semantik“, wie sie üblicherweise in Bezug auf Programmiersprachen / APIs verwendet wird?
Es ist mir heute aufgefallen, dass ich, obwohl ich den Begriff "Semantik" übernommen habe und ihn nicht selten verwende, wenn ich mich auf Sprachelemente und Namenskonventionen beziehe, keinen Sinn für eine formale Definition habe. Mein ...
Ist Date.now referential transparent?
DateTime.Now [https://msdn.microsoft.com/en-us/library/system.datetime.now(v=vs.110).aspx] oder Date.now [https://msdn.microsoft.com/en-us/library/ff679974(v=vs.94).aspx] ist referential transparent? Dies ist eines der kontroversen Themen in ...
O (log N) == O (1) - Warum nicht?
Wann immer ich Algorithmen / Datenstrukturen betrachte, tendiere ich dazu, die log (N) -Teile durch Konstanten zu ersetzen. Oh, ich weiß, dass log (N) diverg...