نتایج جستجو برای: boole

تعداد نتایج: 235  

Kazempour, Keshavarz,

The ABCD matrix method is used to simplifying the theoretical coupling efficiency calculation of Elegant Hermite-Cosh-Gaussian (EHChG) laser beams to a Single Mode Fiber (SMF) with a quadric lens formed on the tip. The integrals of coupling efficiency relation are calculated numerically by Boole method. Meanwhile, the structure parameters of surface-lensed fiber are optimized in numerical simul...

2016
Ladislav Kvasz

Logic as a philosophical discipline originated in ancient Greece, at about the same time as mathematics was constituted as a deductive science. From ancient times two logical systems have survived – the Aristotelian syllogistic logic and the Stoic propositional logic. It took almost two thousand years, until in the works of Boole, Frege and Peano logic was turned into a formal discipline. The r...

Journal: :Entropy 2008
Andrei Khrennikov

The main aim of this report is to inform the quantum information community about investigations on the problem of probabilistic compatibility of a family of random variables: a possibility to realize such a family on the basis of a single probability measure (to construct a single Kolmogorov probability space). These investigations were started hundred of years ago by J. Boole (who invented Boo...

2011
Guram Bezhanishvili

In 1931, when he was only 25 years of age, the great Austrian logician Kurt Gödel (1906– 1978) published an epoch-making paper [16] (for an English translation see [8, pp. 5–38]), in which he proved that an effectively definable consistent mathematical theory which is strong enough to prove Peano’s postulates of elementary arithmetic cannot prove its own consistency. In fact, Gödel first establ...

1990
K. A. Andersen J. N. Hooker

We describe how to combine probabilistic logic and Bayesian networks to obtain a new framework (\Bayesian logic") for dealing with uncertainty and causal relationships in an expert system. Probabilistic logic, invented by Boole, is a technique for drawing inferences from uncertain propositions for which there are no independence assumptions. A Bayesian network is a \belief net" that can represe...

2004
Léonard Kwuida Andreja Tepavcevic Branimir Seselja

This contribution discusses a formalization of the “negation of a concept”. The notion of “concept” has been successfully formalized in the early eighties and led to the theory of Formal Concept Analysis. Boole (1815-1864) developed a mathematical theory for human thought based on signs and classes. The formalization of the negation of concepts is needed in order to develop a mathematical theor...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید