en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag intuition - This is page 2 - GeneraCodice
Elimination rule for the equality type aka J axiom
https://www.generacodice.com/en/articolo/1564075/elimination-rule-for-the-equality-type-aka-j-axiom
equality
-
lambda-calculus
-
intuition
cs.stackexchange
Is the following intuition valid for understanding $k$-wise independent hash functions?
https://www.generacodice.com/en/articolo/1561797/is-the-following-intuition-valid-for-understanding-k-wise-independent-hash-functions
hash
-
number-theory
-
intuition
cs.stackexchange
What does it mean for a problem to be both NP hard and coNP hard
https://www.generacodice.com/en/articolo/1561463/what-does-it-mean-for-a-problem-to-be-both-np-hard-and-conp-hard
complexity-theory
-
intuition
cs.stackexchange
An intuitive explanation for LR grammars?
https://www.generacodice.com/en/articolo/1560281/an-intuitive-explanation-for-lr-grammars
formal-languages
-
formal-grammars
-
parsers
-
intuition
-
lr-k
cs.stackexchange
Is there a more intuitive proof of the halting problem's undecidability than diagonalization?
https://www.generacodice.com/en/articolo/1545591/is-there-a-more-intuitive-proof-of-the-halting-problem-s-undecidability-than-diagonalization
computability
-
halting-problem
-
undecidability
-
proof-techniques
-
intuition
cs.stackexchange
Intuition behind the max-flow min-cut theorem
https://www.generacodice.com/en/articolo/1544362/intuition-behind-the-max-flow-min-cut-theorem
intuition
-
graphs
-
network-flow
cs.stackexchange
Given the “programs as proofs” isomorphism, how do we know that the program isn't lying?
https://www.generacodice.com/en/articolo/1542447/given-the-programs-as-proofs-isomorphism-how-do-we-know-that-the-program-isn-t-lying
type-theory
-
curry-howard
-
proof-assistants
-
correctness-proof
-
intuition
cs.stackexchange
What do we gain by having “dependent types”?
https://www.generacodice.com/en/articolo/1542221/what-do-we-gain-by-having-dependent-types
logic
-
type-theory
-
intuition
cs.stackexchange
Why do we believe that PSPACE ≠ EXPTIME?
https://www.generacodice.com/en/articolo/1532547/why-do-we-believe-that-pspace-exptime
complexity-theory
-
intuition
-
complexity-classes
cs.stackexchange
How can I use the NP complexity Venn diagram to quickly see which class of NP problem can be poly reducible to another class?
https://www.generacodice.com/en/articolo/1532543/how-can-i-use-the-np-complexity-venn-diagram-to-quickly-see-which-class-of-np-problem-can-be-poly-reducible-to-another-class
complexity-theory
-
proof-techniques
-
intuition
-
complexity-classes
cs.stackexchange
«
1
2
3
4
5
»
Results found: 41