MATH
Login Or Sign up

List Question

15
558
Views

Most general unifier for set of equations?

Published on
#logic #algorithms #computer-science #first-order-logic #unification
335
Views

How to Disprove Big O

Published on
#asymptotics #computer-science
78
Views

Give me an example of a graph that has a Hamilton path that cannot be found with a greedy heuristic.

Published on
#graph-theory #computer-science #hamiltonian-path
73
Views

Logic- Prove ⊢¬p⇒(p⇒(p⇒q)) using Fitch System with no premise.

Published on
#logic #computer-science
99
Views

Prove that $n^{55} = O(2^n)$

Published on
#asymptotics #computer-science
134
Views

Predicate Logic Negating a WFF, do signs cancel?

Published on
#discrete-mathematics #computer-science #predicate-logic
21
Views

A concise way of representing complexities.

Published on
#computer-science #computational-complexity
1.2k
Views

How many bits to represent these numbers precisely?

Published on
#computer-science #computational-mathematics #floating-point
78
Views

Why does apply F to a fixed point show that its a fixed point?

Published on
#continuity #computer-science #fixed-point-theorems #fixed-points
1.6k
Views

Why does the fixed point theorem justify the existence of the factorial function?

Published on
#computer-science #computability #fixed-point-theorems #fixed-points
195
Views

The continuation passing style transformation in the lambda calculus

Published on
#computer-science #lambda-calculus #type-theory
59
Views

Why does conversion from base happen to base 10 naturally for any base?

Published on
#computer-science
170
Views

$\sum_{k=1}^{519}\frac{1}{k(k+2)}$, how do I solve this?

Published on
#discrete-mathematics #summation #computer-science
66
Views

Necessary and Sufficient Conditions for x and A

Published on
#computer-science #formal-languages #regular-language
30
Views

Find the distribution of the error

Published on
#probability #probability-distributions #normal-distribution #computer-science #chi-squared

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.