Mathematic

Process Calculus are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems. They can be seen as…

Significant figures are arrived at by rounding off an expression after a calculation is executed. In any calculation, the number of significant figures in the…

Probability is a branch of mathematics that deals with calculating the likelihood of a given event’s occurrence, which is expressed as a number between 1…

This article talks about Subjective Logic, which is a belief reasoning calculus that is compatible with, and an extension of probabilistic logic. It can for…

Abstract algebraic logic can be described in very general terms as the study of the relations between algebra and logic. One of the main reasons…

Abstraction in mathematics is the process of extracting the underlying essence of a mathematical concept. Certainly it at all levels includes ignoring certain features and…

Fuzzy measure theory is necessary theoretical background required for its successful applications in systems, computer information  and  cognitive  sciences, as well as in & artificial…

Hypostatic Abstraction is a formal operation that transforms a predicate into a relation. It takes an element of information, as expressed in a proposition X…

Argument map is a “box and arrow” diagram with boxes corresponding to propositions and arrows corresponding to relationships such as evidential support. It is similar…

Set theory, branch of mathematics that deals with the properties of well-defined collections of objects, which may or may not be of a mathematical nature,…

Axiomatic system is a set of axioms used to derive theorems. This is means that for every theorem in math, there exists an axiomatic system…

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic and computer science for expressing computation by way of variable binding and…