Listing 1 - 8 of 8 |
Sort by
|
Choose an application
Algebra --- 512 --- Geometry, Algebraic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebraic geometry --- Geometry --- Mathematical analysis --- 512 Algebra --- Logique algébrique. --- Algebraic logic --- Toposes --- Topos (mathématiques) --- Toposes. --- Topos (mathématiques) --- Algebraic logic. --- Logique mathématique --- Récursivité, Théorie de la --- Catégories (mathématiques) --- Geometrie algebrique
Choose an application
Mathematical logic --- Logique mathématique --- Théorie de la démonstration --- 510.6 --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- Logique mathématique. --- Théorie de la démonstration.
Choose an application
Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Model theory --- Lambda calculus --- Categories (Mathematics) --- Philosophy --- Philosophy & Religion --- Logic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Calculus, Lambda --- Logic, Symbolic and mathematical
Choose an application
Logic, Symbolic and mathematical --- Proposition (Logic) --- Reasoning --- Argumentation --- Ratiocination --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Theory of knowledge --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Language and logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
Number Theory or arithmetic, as some prefer to call it, is the oldest, purest, liveliest, most elementary yet sophisticated field of mathematics. It is no coincidence that the fundamental science of numbers has come to be known as the "Queen of Mathematics." Indeed some of the most complex conventions of the mathematical mind have evolved from the study of basic problems of number theory. André Weil, one of the outstanding contributors to number theory, has written an historical exposition of this subject; his study examines texts that span roughly thirty-six centuries of arithmetical work — from an Old Babylonian tablet, datable to the time of Hammurapi to Legendre’s Essai sur la Théorie des Nombres (1798). Motivated by a desire to present the substance of his field to the educated reader, Weil employs an historical approach in the analysis of problems and evolving methods of number theory and their significance within mathematics. In the course of his study Weil accompanies the reader into the workshops of four major authors of modern number theory (Fermat, Euler, Lagrange and Legendre) and there he conducts a detailed and critical examination of their work. Enriched by a broad coverage of intellectual history, Number Theory represents a major contribution to the understanding of our cultural heritage. ----- A very unusual book combining thorough philological exactness, keen observation, apt comments of the essential points, picturesque fantasy, enthusiastic love of the subject, and brilliant literary style: a romantic novel of documents. It is both number theory and its history in an inseparable oneness, helping us understand the very roots and the first big stage of progress of this discipline. The author, one of the most prominent number theorists…chose to give us a broad perspective of the birth of modern number theory.--Periodica Mathematica Hungaria The volume under review...a discursive, expository, leisurely peek over the shoulders of several great authors in number theory…is perhaps unique in the enthusiasm it has inspired. --Mathematical Reviews.
Number theory --- History. --- History --- #WBIB:dd.Lic.L.De Busschere --- 511(93) --- 511(93) Number theory--Austraalazië. Melanesië --- Number theory--Austraalazië. Melanesië --- Number theory. --- Mathematics. --- Mathematical logic. --- Popular works. --- Number Theory. --- History of Mathematical Sciences. --- Mathematical Logic and Foundations. --- Popular Science, general. --- History of Science. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Annals --- Auxiliary sciences of history --- Math --- Science --- Number study --- Numbers, Theory of --- Algebra --- Number theory - History --- Theorie des nombres --- Histoire
Choose an application
Numerical analysis --- 681.3*A0 --- 681.3*F0 --- 681.3*F1 --- 681.3*F2 --- 681.3*G2 --- General --- Computerwetenschap--?*F0 --- Computation by abstract devices --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Discrete mathematics (Mathematics of computing) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F1 Computation by abstract devices --- 681.3*A0 General --- Information theory. --- Computer science. --- Logic, Symbolic and mathematical. --- Theory of Computation. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics
Choose an application
Computer science --- Mathematical logic --- 681.3*F13 --- 681.3*G21 --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- Machine theory --- Computational complexity --- Decision making --- Automates mathématiques, Théorie des --- Complexité de calcul (Informatique) --- Prise de décision --- 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Machine theory - Congresses. --- Computational complexity - Congresses. --- Decision-making - Congresses. --- Mathematics. --- Computer science. --- Logic, Symbolic and mathematical. --- Mathematics, general. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Math
Choose an application
The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .
Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*F41 --- 681.3*I23 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Automatic theorem proving --- Logic, Symbolic and mathematical --- Congresses. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Logic, Symbolic and mathematical. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science --- Informatique --- Théorèmes --- Démonstration automatique --- Computer science. --- Automatic theorem proving. --- Théorèmes --- Démonstration automatique --- Congresses --- Logic --- Symbolic and mathematical
Listing 1 - 8 of 8 |
Sort by
|