Einführung: Kombinatorische Logik Die kombinatorische Logik (CL) basiert auf sogenannten Kombinatoren , die im Grunde genommen Funktionen sind. Es gibt zwei grundlegende "eingebaute" Kombinatoren Sund K, die später erklärt werden. Linke Assoziativität CL ist linksassoziativ , was bedeutet, dass...
Einführung Kipple ist eine Stack-basierte, esoterische Programmiersprache, die im März 2003 von Rune Berg erfunden wurde. Kipple hat 27 Stapel, 4 Bediener und eine Kontrollstruktur. Stapel Die Stapel heißen a- zund enthalten 32-Bit-Ganzzahlen mit Vorzeichen. Es gibt auch einen speziellen Stapel @,...
Tor: Schreiben Sie ein vollständiges Programm oder eine vollständige Funktion, die eine Formel in Aussagenlogik (im Folgenden als logischer Ausdruck oder Ausdruck bezeichnet ) verwendet und diese Formel in konjunktiver Normalform ausgibt . Es gibt zwei Konstanten sind , ⊤und ⊥repräsentieren wahr...
Das ursprüngliche "Blue Eyes" -Puzzle ist hier (und unten) angegeben. Eine Gruppe von Menschen mit verschiedenen Augenfarben lebt auf einer Insel. Sie sind alle perfekte Logiker - wenn eine Schlussfolgerung logisch abgeleitet werden kann, werden sie dies sofort tun. Niemand kennt die Farbe ihrer...