logic

Fragen
Logik bezieht sich auf den ultimativen Fluss Ihres Codes und darauf, wie Sie zu Ihrer gewünschten Lösung gelangen. Fragen sollten sich darauf beziehen, eine Kodierungslösung für ein gegebenes Problem zu finden (oder die vorhandene Kodierungslogik zu verbessern). Bitte verwenden Sie ein geeignetes Sprachtag, eine gründliche Beschreibung Ihrer Logik und den entsprechenden Code, an dem Sie gerade arbeiten. Allgemeine Logikfragen sind nicht Thema. Wenn Sie nur eine Codeüberprüfung benötigen, können Sie https://codereview.stackexchange.com in Betracht ziehen
3
Antworten

Unterstützung von Logikvariablen für .NET [geschlossen]

Ich suche nach einer Bibliothek / Assembly, mit der ich mit logischen Variablen in F # arbeiten kann. Ich möchte vermeiden, das Rad neu zu erfinden, wenn ich die erforderliche union-find Datenstruktur, Vereinigungscode und so weiter implementier...
17.02.2010, 11:00
3
Antworten

Hoare Logikschleife Invariant

Ich schaue auf Hoare Logic und ich habe Probleme, die Methode zu verstehen, die Schleifeninvariante zu finden. Kann jemand die Methode zur Berechnung der Schleifeninvariante erklären? Und was sollte eine Schleifeninvariante enthalten, um e...
24.01.2011, 15:22
2
Antworten

immutable.js Filter und mutieren (entfernen) gefundene Einträge

Ich habe zwei Schleifen, eine für jeden Tag des Monats, andere mit allen Ereignissen für diesen Monat. Sagen wir, ich habe 100.000 Ereignisse. Ich suche nach einer Möglichkeit, Ereignisse von den Hauptereignissen List zu entfernen, sobald sie...
22.11.2016, 17:44
5
Antworten

Hinzufügen von Ansichten in einer bestimmten Reihenfolge und Speichern dieser Reihenfolge

Ich habe einen 'add' Button und ein GridLayout mit 6 Slots drin, wenn ich auf 'add' klicke, wird view1 in das gridlayout eingefügt, ich klicke erneut auf den 'add' Button, view2 wird hinzugefügt und so weiter . %Vor% Nachdem eine Ansicht hin...
29.04.2016, 21:40
4
Antworten

Vereinfachung eines booleschen Ausdrucks mit 9 Variablen

Ich versuche, ein Tic-Tac-Toe-Programm als eine mentale Übung zu erstellen, und ich habe die Board-Zustände als booleans wie folgt gespeichert: Ссылка Ich möchte diesen booleschen Ausdruck vereinfachen ... %Vor% Meine ersten Gedanken...
29.12.2013, 18:09
5
Antworten

Wie kann ich diesen Anagram-Algorithmus beschleunigen?

Ich mache eine mobile App, um Anagramme und teilweise Übereinstimmungen zu finden. Mobil ist wichtig, weil es nicht viel Rechenleistung gibt und Effizienz der Schlüssel ist. Der Algorithmus nimmt eine beliebige Anzahl von Buchstaben, einschli...
02.07.2011, 04:02
4
Antworten

gegeben eine Reihe von Bedingungen, algorithmisch bestimmen nur eine kann True sein

Wenn zwei oder mehr logische Bedingungen gegeben sind, ist es dann möglich, algorithmisch zu bestimmen, dass genau EINER von ihnen als WAHR ausgewertet wird? Zum Beispiel: %Vor% Diese Bedingungen werden aus einer domänenspezifischen Sprache...
20.08.2010, 15:09
4
Antworten

Ladelogik testen

Wir kennen alle die verschiedenen Möglichkeiten, OO-Systeme zu testen. Es sieht jedoch so aus, als würde ich ein Projekt machen, bei dem es um die SPS-Kontaktplanlogik geht (nicht fragen: /), und ich frage mich, ob es eine gute Möglichkeit gibt,...
16.09.2008, 10:21
2
Antworten

Beschreibe einen Film (Entity und Attribut) mit der Logik erster Ordnung

Guten Morgen, Ich möchte verstehen, wie ich etwas mit der Logik erster Ordnung beschreiben kann. Ich möchte zum Beispiel beschreiben, was ein Film (eine Entität) ist und was ein Attribut (zum Beispiel Schauspieler: Clooney) für den Film ist....
29.04.2015, 16:29
2
Antworten

Wie löst man dieses Rätsel ohne Versuch und Irrtum?

Ich bin in Ubuntu auf das Puzzle slant gestoßen. Ich möchte das Rätsel logisch lösen und nicht durch Versuch und Irrtum usw. Die Regeln sind einfach: Wir müssen alle Felder mit der rechten oder linken Neigung füllen. Die Anzahl der...
01.03.2012, 17:12