List questions from computer-science

Published on 16 Jul 2020 - 5:57

43

Views

Tautology propositions

Published on 21 Jul 2020 - 5:02

108

Views

How to prove that there is closure in NP for the reverse operation on strings?

Published on 26 Mar 2026 - 6:28

95

Views

Floating Point Rounding of 2 multiplied single precision numbers

Published on 23 Feb 2026 - 5:42

59

Views

How to solve these kind of Modular Arithmetics situations?

Published on 21 Jul 2020 - 23:45

7.4k

Views

Is $(\mathbb{Z}, \times)$ also a group?

Published on 22 Jul 2020 - 0:24

41

Views

A transitive closure axiom for a machine operating system.

Published on 28 Mar 2026 - 5:01

191

Views

Is "An undirected graph $G(V,E)$ has at least $|V|-|E|$ connected components" a true statement?

Published on 22 Jul 2020 - 4:27

259

Views

What is the definition of "a derivation of a sequent "?

Published on 23 Feb 2026 - 8:40

251

Views

How do we know whether an interpretation of a formula is true or false?

Published on 01 Apr 2026 - 0:27

83

Views

What is the dependency between the equivalence of consistence and satisfiability, and correctness and completeness theorems?

Published on 26 Mar 2026 - 1:10

225

Views

Alteration in Binary Strings Question

Published on 31 Mar 2026 - 17:06

104

Views

Does equivalence between different deductive systems consider choices of axioms?

Published on 26 Mar 2026 - 15:17

34

Views

Is the semantics of a first order logic system defined as part of the first order logic system?

Published on 25 Mar 2026 - 6:05

150

Views

Does "recursive" mean the same in "recursive functions" and in definition of Fibonacci function?

Published on 29 Mar 2026 - 4:33

List Question

How to convert from a flattened 3D index to a set of coordinates?

Tautology propositions

How to prove that there is closure in NP for the reverse operation on strings?

Floating Point Rounding of 2 multiplied single precision numbers

How to solve these kind of Modular Arithmetics situations?

Is $(\mathbb{Z}, \times)$ also a group?

A transitive closure axiom for a machine operating system.

Is "An undirected graph $G(V,E)$ has at least $|V|-|E|$ connected components" a true statement?

What is the definition of "a derivation of a sequent "?

How do we know whether an interpretation of a formula is true or false?

What is the dependency between the equivalence of consistence and satisfiability, and correctness and completeness theorems?

Alteration in Binary Strings Question

Does equivalence between different deductive systems consider choices of axioms?

Is the semantics of a first order logic system defined as part of the first order logic system?

Does "recursive" mean the same in "recursive functions" and in definition of Fibonacci function?

Trending Questions

Popular # Hahtags

Popular Questions