Newbetuts
.
New posts in computer-science
Is there an algorithm for deciding big/little-O queries?
limits
algorithms
asymptotics
computer-science
math-software
Is finding the equivalence of two functions undecidable?
math
compiler-construction
function
computer-science
theory
Is there ever a good reason to use Insertion Sort?
algorithm
computer-science
Is there an infinite set of finite strings such that no element is a subsequence of another?
discrete-mathematics
computer-science
lambda calculus and category theory
logic
category-theory
computer-science
lambda-calculus
What exactly is the halting problem?
computer-science
halting-problem
What does a pair of vertical pipes mean within a function, as related to computational complexity?
computer-science
computational-complexity
How to formulate the P v.s. NP problem as a formal statement inside the language of set theory?
elementary-set-theory
logic
computer-science
computational-complexity
Computational complexity of computing the determinant
linear-algebra
soft-question
computer-science
Finite automaton that recognizes the empty language $\emptyset$
computer-science
formal-languages
automata
Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct
definition
computer-science
lambda-calculus
rewriting-systems
Lower bound for finding second largest element
algorithms
computer-science
searching
The practical implication of P vs NP problem
computer-science
np-complete
Are computer integers a finite group (under addition with overflow)?
abstract-algebra
group-theory
finite-groups
computer-science
Why binary and not ternary computing? [closed]
computer-science
ternary-representation
Function pointers, Closures, and Lambda
c
lisp
lambda
computer-science
closures
Calculate minimal operations to make two tree structures identical
algorithm
tree
comparison
diff
computer-science
How to show that if there's a mapping reduction from L to its complement, it doesn't imply that L∈R?
computer-science
computability
formal-languages
turing-machines
decidability
What is the algorithm hiding beneath the complexity in this paper?
soft-question
algorithms
computer-science
fractals
complex-dynamics
Proof of big-O notation
proof-writing
computer-science
education
Prev
Next