Newbetuts
.
New posts in computer-science
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
soft-question
computer-science
proof-theory
type-theory
programming
What's "P=NP?", and why is it such a famous question? [closed]
computer-science
theory
complexity-theory
np-complete
p-np
Is the $24$ game NP-complete?
computer-science
Why do we believe the Church-Turing Thesis?
soft-question
computer-science
computability
turing-machines
what are the different applications of group theory in CS? [closed]
abstract-algebra
computer-science
book-recommendation
applications
Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in “nLab” page. Need a double check.
computer-science
lambda-calculus
fixed-points
combinatory-logic
rewriting-systems
How to determine the longest increasing subsequence using dynamic programming?
algorithm
computer-science
dynamic-programming
memoization
lis
What is Type-safe?
language-agnostic
programming-languages
computer-science
terminology
type-safety
Why do computers count from zero?
computer-architecture
computer-science
What is referential transparency?
functional-programming
computer-science
theory
referential-transparency
A strange occurrence in the decimal digits of $\pi$?
sequences-and-series
convergence-divergence
computer-science
pi
What books do you recommend before 'Concrete Mathematics'?
reference-request
discrete-mathematics
computer-science
What is the $3$-SAT problem? [closed]
computer-science
computational-complexity
np-complete
Which resources are available to self-study GAP?
abstract-algebra
group-theory
computer-science
gap
Would Relational Calculus be Turing-Complete if it Allowed Unsafe Queries?
computer-science
What is code coverage and how do YOU measure it?
testing
computer-science
code-coverage
What exactly does big Ө notation represent?
algorithm
computer-science
big-o
notation
big-theta
What is "entropy and information gain"?
math
text
computer-science
nltk
text-mining
How to Prove a Programming Language is Turing Complete?
computer-science
Are there dictionaries in math?
algorithms
notation
computer-science
definition
Prev
Next