Skip to main content
Sandro Lovnički's user avatar
Sandro Lovnički's user avatar
Sandro Lovnički's user avatar
Sandro Lovnički
  • Member for 6 years
  • Last seen more than 1 year ago
7 votes
Accepted

Reducing lambda expression to normal form

6 votes
Accepted

How easy is it for computers to compute in a 4th Dimension (or more)?

5 votes

Linear Temporal Logic (LTL) Syntax Infinitely Often

4 votes
Accepted

How do you correctly write this sentence as a CTL formula?

4 votes

Is a Turing machine too strong of a model to model physical computation?

4 votes

Whats the difference between an oracle and a decider in Computational Theory?

4 votes
Accepted

lambda expressions, parenthesis, and order of application

4 votes

What is the "spatial information" in convolutional neural network

3 votes
Accepted

QTM & Halting problem

3 votes

Can we use Convolutional Neural Network for dataset containing numeric data?

3 votes

Why SAT Requires A Non-determinstic Algorithm?

3 votes

When are you supposed to eta-reduce?

3 votes
Accepted

Evaluation of $\beta$-Reduction with Parentheses in $\lambda$-Calculus

2 votes
Accepted

Why is it that a lambda function requiring multiple input also requires multiple functions?

2 votes

Why doesn't infinite run time violate Turing completeness? Shouldn't "completeness" include halting?

2 votes
Accepted

Why can't hash coding be reversed?

2 votes

Turing machine that converts decimal to binary

2 votes

Doing beta reduction while constructing the boolean expression in lambda calculus

1 vote

Understanding this explanation about Big O notation

1 vote

complexity class of functions

1 vote

Understanding Alpha Beta Pruning: Why do we ignore the values of a unsearched tree after the first leaf, can they not include acceptable values too?

1 vote

How to generate a binary string so to minimize weighted bitwise distance?

1 vote
Accepted

What is the time complexity for division by repeated subtraction?

1 vote

Big-Oh and Growth Rate

1 vote

Find a subsequence with fastest time for specific distance

1 vote

Merging $k$ sorted lists in $O(n\log k)$ time

1 vote

Proof Idea: There are irrational numbers whose decimal expansion cannot be computed

1 vote
Accepted

is reducing to normal form simply applying beta-reduction?

1 vote
Accepted

Multiple inputs in lambda calculus (Confusing example)

1 vote
Accepted

Addition or Subtraction of Polynomials