Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

verzamelingen --- wiskunde --- Mathematics --- Functions --- Algebra, Boolean --- Fonctions (Mathématiques) --- Algèbre de Boole --- 510.22 --- #TCPW W1.0 --- #TCPW W1.2 --- #WPLT:kand --- 512 --- algebra --- oefeningen --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory --- Outlines, syllabi, etc. --- Problems, exercises, etc. --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Fonctions (Mathématiques) --- Algèbre de Boole

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole's work in probability is best viewed as a probability logic - were influential circumstances conducive to a new edition.Chapter 1, presenting Boole's ideas on a mathematical treatment of logic, from their emergence in his early 1847 work on t

Algebra [Booleaanse ] --- Algebra [Boolean ] --- Algebraic logic --- Algebraische logica --- Algèbre de Boole --- Logique algebrique --- Probabiliteit--Theorie --- Probabiliteitstheorie --- Probabilities --- Probabilité [Théorie de la ] --- Probabilités --- Waarschijnlijkheid--Theorie --- Waarschijnlijkheidstheorie --- Algebra, Boolean --- Logique algébrique --- Logique algébrique --- Algèbre de Boole --- Probabilités --- ELSEVIER-B EPUB-LIV-FT --- Algebraic logic. --- Algebra, Boolean. --- Probabilities. --- Probability --- Statistical inference --- Combinations --- Mathematics --- Chance --- Least squares --- Mathematical statistics --- Risk --- Boolean algebra --- Boole's algebra --- Set theory --- Logic, Symbolic and mathematical --- Boole, George,

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Qualitative methods in social research --- Social sciences --- Algebra, Boolean --- Sciences sociales --- Algèbre de Boole --- Comparative method --- Méthode comparative --- 303.022 --- 303.023 --- -#SBIB:303H30 --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Kwalitatieve methoden bij social research --(sociaal wetenschappelijk onderzoek) --- Kwantitatieve methoden bij social research --(sociaal wetenschappelijk onderzoek) --- Kwalitatieve methoden: algemeen --- Algebra, Boolean. --- Comparative method. --- 303.023 Kwantitatieve methoden bij social research --(sociaal wetenschappelijk onderzoek) --- 303.022 Kwalitatieve methoden bij social research --(sociaal wetenschappelijk onderzoek) --- Algèbre de Boole --- Méthode comparative --- #SBIB:303H30 --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algebraic topology --- Algebra --- Algebra, Boolean --- Functional analysis --- Representations of algebras --- Topology --- Algèbre --- Algèbre de Boole --- Analyse fonctionnelle --- Représentations d'algèbres --- Topologie --- 515.122.4 --- 512.56 --- Analysis situs --- Position analysis --- Rubber-sheet geometry --- Geometry --- Polyhedra --- Set theory --- Algebras, Linear --- Functional calculus --- Calculus of variations --- Functional equations --- Integral equations --- Mathematics --- Mathematical analysis --- Topological properties of spaces with supplementary structure and topological transformation groups --- Lattices, including Boolean rings and algebras --- Algebra, Boolean. --- Algebra. --- Functional analysis. --- Representations of algebras. --- Topology. --- 512.56 Lattices, including Boolean rings and algebras --- 515.122.4 Topological properties of spaces with supplementary structure and topological transformation groups --- Algèbre --- Algèbre de Boole --- Représentations d'algèbres --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Boole, Algèbre de --- Boole, Algèbre de --- Boole, Algèbre de. --- Représentations d'algèbres. --- Topologie. --- Algèbre. --- Analyse fonctionnelle.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Calcul propositionnel --- Prise de décision --- Algorithmes --- Algèbre de Boole --- Congresses. --- Congrès --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Boolean algebra --- Boole's algebra --- Calculus, Propositional --- Computer science. --- Operating systems (Computers). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Operating Systems. --- Numeric Computing. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Foundations --- Operating systems --- Algebraic logic --- Logic, Symbolic and mathematical --- Computer software. --- Electronic data processing. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Automation --- Satisfiability testing --- Propositional calculus - Congresses. --- Decision making - Congresses. --- Computer algorithms - Congresses. --- Algebra, Boolean - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Numerical Analysis. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics