Propositional logic deals with simple statements that are either true or false. It uses logical connectives to build complex expressions. Example:  P ^ Q if both   P   and  Q  are true, then the whole expression is true. Propositions Proof Theory focuses on the rules for logical deductions and includes completeness,Continue Reading

Gradient is a vector that is made up from a the derivatives of multi-variate function. Gradient of an Image = ∇f = [∂f/∂x,∂f/∂y] The gradient of a function is the vector direction/angle of the most rapid increase in Intensity(Getting Brighter), and the magnitude of that vector is how much itContinue Reading