List questions from computer-science

Published on 17 Apr 2026 - 12:58

43

Views

Two's complement and a number without a representation in a computer

Published on 12 Apr 2026 - 21:02

177

Views

Prove that $(A\cup B)^\star=A^\star (BA^\star)^\star$

Published on 10 May 2026 - 15:19

20k

Views

Solutions of recurrence relations $T(n) = 2T(n-1)$ and $T(n) = 2T(n-1) - 1$

Published on 10 May 2026 - 23:38

205

Views

Church's thesis for oracle computations

Published on 11 May 2026 - 19:17

600

Views

A formula is satisfiable under $I \iff |I|=1$?

Published on 13 May 2026 - 21:24

135

Views

Assigning drivers to buses and routes

Published on 10 May 2026 - 20:50

187

Views

How to use resolution in this set?

Published on 14 May 2026 - 7:57

391

Views

Intro to computational "side effects" from an algebraic perspective.

Published on 13 May 2026 - 8:12

183

Views

The notation $f < o(g)$ and $f > o(g)$ from the Landau family of asymptotic notations

Published on 15 Apr 2026 - 6:37

605

Views

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Published on 11 May 2026 - 10:08

79

Views

Does this equation have an analytical solution?

Published on 10 May 2026 - 14:47

441

Views

Devising Multiplication in Untyped Lambda Calculus

Published on 10 May 2026 - 13:44

454

Views

Prove that $\operatorname{fib}(n)$ is the closest integer to $\frac{\phi^{n}}{\sqrt{5}}$

Published on 10 May 2026 - 12:42

613

Views

Lambda calculus, $M$ doesn't have a normal form, $N$ has normal form. Find $M N$ that has a normal form?

Published on 10 May 2026 - 13:48

List Question

Is there a way to prove that a binary operator is commutative?

Two's complement and a number without a representation in a computer

Prove that $(A\cup B)^\star=A^\star (BA^\star)^\star$

Solutions of recurrence relations $T(n) = 2T(n-1)$ and $T(n) = 2T(n-1) - 1$

Church's thesis for oracle computations

A formula is satisfiable under $I \iff |I|=1$?

Assigning drivers to buses and routes

How to use resolution in this set?

Intro to computational "side effects" from an algebraic perspective.

The notation $f < o(g)$ and $f > o(g)$ from the Landau family of asymptotic notations

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Does this equation have an analytical solution?

Devising Multiplication in Untyped Lambda Calculus

Prove that $\operatorname{fib}(n)$ is the closest integer to $\frac{\phi^{n}}{\sqrt{5}}$

Lambda calculus, $M$ doesn't have a normal form, $N$ has normal form. Find $M N$ that has a normal form?

Trending Questions

Popular # Hahtags

Popular Questions