Deutsch
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Vollständige Artikel
Kategorien
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Du schreibst
Benutzer
Anmeldung
Anmeldung
Passwort-Wiederherstellung
Stichworte
Sprachtags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-assistants - Dies ist Seite 1 - GeneraCodice
Was waren die Mängel von Robinsons Auflösungsverfahren?
https://www.generacodice.com/de/articolo/2475739/was-waren-die-maengel-von-robinsons-aufloesungsverfahren
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Wie schwer würde es sein, P vs. NP in einem Proof-Assistenten anzugeben?
https://www.generacodice.com/de/articolo/2474191/wie-schwer-wuerde-es-sein-p-vs-np-in-einem-proof-assistenten-anzugeben
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Beweisen Sie bei einem gegebenen Array $A$ und einem Index $c$, dass es immer ein Unterarray gibt, dessen Summe $\pmod {i} = 0$ ist
https://www.generacodice.com/de/articolo/2468778/beweisen-sie-bei-einem-gegebenen-array-a-und-einem-index-c-dass-es-immer-ein-unterarray-gibt-dessen-summe-pmod-i-0-ist
proof-assistants
cs.stackexchange
Beweis einer Lösung für das $ N $ -Zecken-Puzzle
https://www.generacodice.com/de/articolo/2468702/beweis-einer-loesung-fuer-das-n-zecken-puzzle
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
auf coq:Warum ist der Beweis vollständig, nachdem wir nur eine Induktion bewiesen haben, wenn wir mehr als eine Variable haben?
https://www.generacodice.com/de/articolo/2468046/auf-coq-warum-ist-der-beweis-vollstaendig-nachdem-wir-nur-eine-induktion-bewiesen-haben-wenn-wir-mehr-als-eine-variable-haben
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Finden Sie einen Schwellenwert so, dass eine Funktion immer größer ist als die andere
https://www.generacodice.com/de/articolo/2446159/finden-sie-einen-schwellenwert-so-dass-eine-funktion-immer-groesser-ist-als-die-andere
recursion
-
proof-assistants
cs.stackexchange
Kann jemand bitte ein Beitragsbeispiel dafür geben?Wenn sich ein Problem in NP befindet, gibt es keinen bekannten Polynomzeitalgorithmus, um es zu lösen
https://www.generacodice.com/de/articolo/2443619/kann-jemand-bitte-ein-beitragsbeispiel-dafuer-geben-wenn-sich-ein-problem-in-np-befindet-gibt-es-keinen-bekannten-polynomzeitalgorithmus-um-es-zu-loesen
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/de/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/de/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/de/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Gefundene Ergebnisse: 75