theory and practice of logic programming

In Mathematics, a well-defined collection of definite objects is called a set. George Cantor is regarded as the "Father of Set theory". The concept of "Sets" is basic in all branches of mathematics. It has proved to be of particular importance in the foundations of relations and functions..

The theory of finite sets is, arguably, a definition of Combinatorics. In particular, certain combinatorial topics (e.g. Ramsey theory) have important direct analogues in "combinatorial" set theory. Since Axiomatic Set Theory is often used to construct ..

Conclusion - We have seen the application of matrices and determinants in solving system of linear equation with three unknown variables. Matrices and determinants are also widely used in solving large system of linear equation. Some of these methods are Gauss-elimination method, Gauss-Jordan metho..

. Though intuitively we can say that if the next to the last book falls, the last book also falls, but this needs to be proved by logical reasoning. Now let us consider the following. 1. Assume that there is some book 'k' which doesn't fall over i.e., k is the first book which behaves in ..

According to this theory, ageing is the result of the sequential switching on and off of certain given, with senescence. T- lymphocytes or B - lymphocytes have the receptors for self-antigens by which they undergo programmed cell death or apoptosis, thus reducing their numbe..

When free space is the communication channel, antennas radiate and receiver the signal. Theory shows that the antennas operate effective only when their dimensions are of the order of the magnitude of wavelength of the signal being transmitted...

Linear programming is applicable only to problems where the constraints and objective function are linear i.e., where they can be expressed as equations which represent straight lines. In real life situations, when constraints or objective functions are not linear, this technique cannot..

Introduction - We are already familiar with graphical reorientation of linear equations and inequations. This chapter describes the application of linear equations and inequations in solving different kinds of practical problems. Let us consider few examples to understand what we mean by ..

Introduction - The development of Boolean algebra is a more general theory of set theory and mathematical logic. An English mathematician, named George Boole invented this new kind of algebra which analyses logic mathematically. This Boolean algebra provided ..

We are already familiar with set theory and mathematical logic from earlier classes. It has already been seen that there is a similarity between the laws stated in set theory and the mathematical logic. The operations 'union', 'intersection' and 'complement' ..