List questions from computer-science

Published on 21 Mar 2018 - 20:25

40

Views

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

Published on 21 Mar 2018 - 22:54

174

Views

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

Published on 25 Mar 2026 - 1:16

20k

Views

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

Published on 25 Mar 2026 - 4:42

193

Views

Church's thesis for oracle computations

Published on 23 Mar 2026 - 11:39

593

Views

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

Published on 25 Mar 2026 - 19:28

131

Views

Assigning drivers to buses and routes

Published on 25 Mar 2026 - 17:36

182

Views

How to use resolution in this set?

Published on 30 Mar 2018 - 5:06

388

Views

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

Published on 26 Mar 2026 - 7:38

181

Views

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

Published on 25 Mar 2026 - 23:24

598

Views

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

Published on 23 Mar 2026 - 6:05

78

Views

Does this equation have an analytical solution?

Published on 24 Mar 2026 - 19:00

438

Views

Devising Multiplication in Untyped Lambda Calculus

Published on 25 Mar 2026 - 9:22

451

Views

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

Published on 25 Mar 2026 - 4:41

611

Views

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

Published on 25 Mar 2026 - 9:25

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