Narrow your search
Listing 1 - 8 of 8
Sort by
Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry
Authors: ---
ISBN: 9027716714 Year: 1984 Publisher: Dordrecht Reidel


Book
Mathematical logic
Authors: --- ---
ISBN: 0387908951 3540908951 9783540908951 Year: 1984 Publisher: New York Springer


Book
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982
Authors: --- --- --- ---
ISBN: 0444868763 9780444868763 Year: 1984 Volume: v. 112 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,

Introduction to logic : propositional logic
Author:
ISBN: 0134861671 Year: 1984 Publisher: Englewood Cliffs (N.J.): Prentice Hall

Number theory : an approach through history from Hammurapi to Legendre.
Author:
ISBN: 9780817645656 0817645659 9780817645717 0817645713 0817631410 3764331410 9783764331412 9780817631413 Year: 1984 Publisher: Boston Birkhäuser

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Logic and machines : decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Authors: --- ---
ISBN: 3540133313 9783540133315 0387133313 9780387133317 3540388567 Year: 1984 Volume: vol 171 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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

7th international conference on automated deduction, Napa, May 14-16, 1984
Author:
ISBN: 3540960228 0387960228 0387347682 Year: 1984 Volume: vol 170 Publisher: Berlin Heidelberg Tokyo Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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) .

Keywords

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