proof

Fragen
Ein mathematischer Beweis ist ein mathematisches Argument, das die Wahrheit einer mathematischen Aussage zeigt. Informelle Beweise werden in der Regel in natürlicher Sprache wiedergegeben und im Konsens wahrgehalten; Formale Beweise werden typischerweise symbolisch gerendert und können mechanisch überprüft werden. "Beweise" können gültig oder ungültig sein; nur die erstere stellt einen tatsächlichen Beweis dar, während die letztere Art gewöhnlich auf einen fehlerhaften Beweisversuch hinweist.
1
Antwort

Wie oder ist das möglich, zu beweisen oder zu verfälschen 'für alle (P Q: Prop), (P - Q) - (Q - P) - P = Q.' in Coq?

Ich möchte forall (P Q : Prop), (P -> Q) -> (Q -> P) -> P = Q. in Coq beweisen oder verfälschen. Hier ist mein Ansatz. %Vor% Aber inversion H tut nichts. Ich denke, es liegt vielleicht daran, dass die Unabhängigkeit des Coq...
26.10.2014, 10:39
3
Antworten

Wäre es von Vorteil, Lisp-Funktionen als "rein" deklarieren zu können?

Ich habe in letzter Zeit viel über gelesen und die Vorteile, die daraus erwachsen, dass ich rein funktionale Sprache. (Ich bin nicht daran interessiert, Monaden für Lisp zu diskutieren). Es macht für mich Sinn, Funktionen mit Nebenwirkungen...
31.08.2011, 08:38
3
Antworten

Wie kann die Höhe eines Rekursionsbaums aus einer Rekursionsbeziehung ermittelt werden?

Wie wird man die Höhe eines Rekursionsbaums bestimmen, der bei wiederkehrenden Laufzeiten erstellt wird? Wie unterscheidet es sich von der Höhe eines normalen Baumes? alt text http://homepages.ius.edu/rwisman/C455 /html/notes/Chapter4/ch4-9....
28.08.2009, 15:55
1
Antwort

Kontextfreie Sprachfrage (Pumping Lemma)

Ich weiß, dass dies nicht direkt mit der Programmierung zusammenhängt, aber ich habe mich gefragt, ob jemand das Pumping-Lemma auf den folgenden Beweis anwenden kann:    Zeige, dass L = {(a ^ n) (b ^ n) (c ^ m): n! = m} ist keine kontextfre...
08.04.2010, 02:12
1
Antwort

Wie kann Idris automatisch beweisen, dass zwei Werte nicht gleich sind?

Wie kann Idris automatisch beweisen, dass zwei Werte nicht gleich sind? %Vor% Wie kann ich Idris diesen Beweis automatisch erstellen lassen? auto scheint nicht in der Lage zu sein, Aussagen mit Not zu beweisen. Mein Endziel ist es, Id...
30.09.2017, 22:45
4
Antworten

beweisen n = Big-O (1) mit Induktion

Ich weiß, dass die Beziehung n = Big-O (1) falsch ist. Aber wenn wir Induktion mit Big-O verwenden, kann es bewiesen werden. Aber der Irrtum ist, dass wir Big-O nicht einführen können. Aber meine Frage ist, wie wir die Beziehung durch Verwendung...
26.09.2010, 10:16