Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
From what I can discern from Goldenberg’s diagram, the roots... of the Talmud makes presenting it as a standard written...
From what I can discern from Goldenberg’s diagram, the roots... of the Talmud makes presenting it as a standard written...
From propositional to predicate logic.
From propositional to predicate logic.
From Proof Nets to the Free *-Autonomous Category
From Proof Nets to the Free *-Autonomous Category
From Philosophical to Industrial Logics ⋆ Moshe Y. Vardi
From Philosophical to Industrial Logics ⋆ Moshe Y. Vardi
From Monadic Logic to PSL ? Moshe Y. Vardi
From Monadic Logic to PSL ? Moshe Y. Vardi
From Last time Cognitivism vs. non-cognitivism Subjective descriptivism Cultural relativism
From Last time Cognitivism vs. non-cognitivism Subjective descriptivism Cultural relativism
From Greek philosophers to circuits: An introduction to boolean logic.
From Greek philosophers to circuits: An introduction to boolean logic.
From DAML-S to Executable Code - iscte-iul
From DAML-S to Executable Code - iscte-iul
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
From Answer Set Logic Programming to Circumscription via Logic of GK
From Answer Set Logic Programming to Circumscription via Logic of GK
Fri.
Fri.
Fri.
Fri.
Freud`s 1914 paper "On narcissism: An Introduction"
Freud`s 1914 paper "On narcissism: An Introduction"
Existential Introduction
Existential Introduction
Existence of solutions to ODEs
Existence of solutions to ODEs
exercises booklet - The Logic Manual
exercises booklet - The Logic Manual
Exercises
Exercises
Exercise on Mergelyan’s theorem
Exercise on Mergelyan’s theorem
Exercise I(c)
Exercise I(c)
Exercise 2 9Mar 2012
Exercise 2 9Mar 2012
Exercise 1 (Conversion to CNF): (2 points) Exercise 2 (Tseitin`s
Exercise 1 (Conversion to CNF): (2 points) Exercise 2 (Tseitin`s
Exercise
Exercise
Excel IF function
Excel IF function