15,752円 A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematic...

5,355円 Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates ('surrounded the fort', 'are...

20,063円 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and...

14,592円 Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics. In this work, Professor Fomenko offers a concise and clean explanation of some of these problems (both solved and unsolved), using current methods...

37,311円 Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations. The model is formulated in terms of scalar neutrices and external numbers, in the form of an extension of...

634円 This book provides a wealth of information on the prime numbers. In the book, Dr Gerald Patterson shows the various approaches to solving the twin primes and the Goldbach conjectures. The reader may improve on some of these approaches and arrive at a strong solution. Dr Patterson has been researc...

11,440円 Recognized as a "Recommended" title by Choice for their April 2021 issue. Choice is a publishing unit at the Association of College & Research Libraries (ACR&L), a division of the American Library Association. Choice has been the acknowledged leader in the provision of objective, high-quality eva...

547円 By Henri Poincaré - Translated by Nicolae Sfetcu Henri Poincaré is a mathematician, physicist, philosopher and engineer, born April 29, 1854 in Nancy and died July 17, 1912 in Paris. He has carried out works of major importance in optics and in infinitesimal calculus. His advances on the problem ...

12,933円 Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field. Based on the author's two-semester course, the text prepares students for research work by providing a solid grou...

8,290円 Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strikes a balance between material of a philosophical and a formal kind, and does this in a way that will bring out the intricate connections between the tw...

11,109円 An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from pre-calculus and calculus, treating them more rigor...

11,109円 ***An Introduction to Mathematical Proofs***presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics....