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 3 - GeneraCodice
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
Visualization of Lamport's three-dimensional “space-time diagram” with introduced “tick lines”
https://www.generacodice.com/en/articolo/1515820/visualization-of-lamport-s-three-dimensional-space-time-diagram-with-introduced-tick-lines
clocks
-
distributed-systems
-
intuition
cs.stackexchange
Learning, understanding and using algorithms [closed]
https://www.generacodice.com/en/articolo/1515659/learning-understanding-and-using-algorithms-closed
data-structures
-
algorithms
-
intuition
cs.stackexchange
Real life description for (~A->A)->A
https://www.generacodice.com/en/articolo/1510576/real-life-description-for-a-a-a
logic
-
intuition
-
propositional-logic
cs.stackexchange
What are the characteristics of a $\Theta(n \log n)$ time complexity algorithm?
https://www.generacodice.com/en/articolo/1118915/what-are-the-characteristics-of-a-theta-n-log-n-time-complexity-algorithm
time-complexity
-
algorithm-analysis
-
intuition
cs.stackexchange
Why larger input sizes imply harder instances?
https://www.generacodice.com/en/articolo/1098374/why-larger-input-sizes-imply-harder-instances
complexity-theory
-
time-complexity
-
intuition
cs.stackexchange
Is it intuitive to see that finding a Hamiltonian path is not in P while finding Euler path is?
https://www.generacodice.com/en/articolo/1097790/is-it-intuitive-to-see-that-finding-a-hamiltonian-path-is-not-in-p-while-finding-euler-path-is
graph-theory
-
complexity-theory
-
np-complete
-
intuition
cs.stackexchange
«
1
2
3
4
5
»
Results found: 41