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 2 - GeneraCodice
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
What makes a proof assistant a proof assistant?
https://www.generacodice.com/de/articolo/1602771/what-makes-a-proof-assistant-a-proof-assistant
terminology
-
type-theory
-
proof-assistants
cs.stackexchange
What does `Dv` mean in $F\star$ language?
https://www.generacodice.com/de/articolo/1601586/what-does-dv-mean-in-f-star-language
proof-assistants
-
fstar
cs.stackexchange
Explanation of implication-introduction rule
https://www.generacodice.com/de/articolo/1601219/explanation-of-implication-introduction-rule
proof-assistants
-
natural-deduction
cs.stackexchange
How to Efficiently Define the Natural Numbers in Type Theory
https://www.generacodice.com/de/articolo/1599905/how-to-efficiently-define-the-natural-numbers-in-type-theory
type-theory
-
proof-assistants
cs.stackexchange
Is Coq synthetic or analytic?
https://www.generacodice.com/de/articolo/1599797/is-coq-synthetic-or-analytic
type-theory
-
proof-assistants
-
philosophy
cs.stackexchange
«
1
2
3
4
5
6
»
Gefundene Ergebnisse: 75