MATH
Login Or Sign up

List Question

15
104
Views

Decidability/Semidecidability and P,NP... Computational Complexity

Published on
#logic #linear-programming #first-order-logic #computational-complexity
56
Views

Help needed in task involving structures and models

Published on
#logic #first-order-logic #model-theory
496
Views

What's the relationship between mathematical logic and just plain old "logic"? The notation differs, do the concepts? The rules?

Published on
#logic #proof-writing #predicate-logic #first-order-logic #quantifiers
40
Views

Short task in model theory / 1.st order logic

Published on
#logic #first-order-logic #model-theory
185
Views

First order logic - SLD algorithm

Published on
#logic #first-order-logic
36
Views

Prenex form with two same variables versus equivalence

Published on
#logic #predicate-logic #first-order-logic
1.3k
Views

What does it mean for a variable to be free for something?

Published on
#logic #predicate-logic #first-order-logic
209
Views

Having trouble with a translation in first-order logic

Published on
#logic #first-order-logic #logic-translation
67
Views

does a consistent closed theory in a finite languge, which is not finitely axiomatizable has an infinite model?

Published on
#logic #first-order-logic #model-theory
153
Views

SLD Resolution and Logic Consequence

Published on
#logic #first-order-logic
160
Views

Why are local rings a coherent theory?

Published on
#logic #ring-theory #first-order-logic #categorical-logic
165
Views

two finite models of complete orderings are elementary equivalent

Published on
#logic #first-order-logic #model-theory
48
Views

restriction on axioms in system QS

Published on
#first-order-logic #metalogic
155
Views

Show that a formula $\phi(v)$ is $\Sigma_2$ iff the following holds

Published on
#logic #set-theory #first-order-logic
426
Views

True and False in Predicate logic

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic

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.