Book Description
New corrected printing of a well-established text on logic at the introductory level.
Author : Dirk van Dalen
Publisher : Springer Science & Business Media
Page : 218 pages
File Size : 28,19 MB
Release : 2013-11-11
Category : Mathematics
ISBN : 3662023822
New corrected printing of a well-established text on logic at the introductory level.
Author : Bruno Courcelle
Publisher : Cambridge University Press
Page : 743 pages
File Size : 45,58 MB
Release : 2012-06-14
Category : Mathematics
ISBN : 1139644009
The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
Author : James Wilkinson Miller
Publisher : Routledge
Page : 97 pages
File Size : 46,86 MB
Release : 2015-08-14
Category : Philosophy
ISBN : 1317375424
Originally published in 1938. This compact treatise is a complete treatment of Aristotle’s logic as containing negative terms. It begins with defining Aristotelian logic as a subject-predicate logic confining itself to the four forms of categorical proposition known as the A, E, I and O forms. It assigns conventional meanings to these categorical forms such that subalternation holds. It continues to discuss the development of the logic since the time of its founder and address traditional logic as it existed in the twentieth century. The primary consideration of the book is the inclusion of negative terms - obversion, contraposition etc. – within traditional logic by addressing three questions, of systematization, the rules, and the interpretation.
Author : Heinrich Wansing
Publisher :
Page : 180 pages
File Size : 26,3 MB
Release : 2014-01-15
Category :
ISBN : 9783662213469
Author : Joseph D. Sneed
Publisher : Springer Science & Business Media
Page : 325 pages
File Size : 16,85 MB
Release : 2012-12-06
Category : Science
ISBN : 9401030669
This book is about scientific theories of a particular kind - theories of mathematical physics. Examples of such theories are classical and relativis tic particle mechanics, classical electrodynamics, classical thermodynamics, statistical mechanics, hydrodynamics, and quantum mechanics. Roughly, these are theories in which a certain mathematical structure is employed to make statements about some fragment of the world. Most of the book is simply an elaboration of this rough characterization of theories of mathematical physics. It is argued that each theory of mathematical physics has associated with it a certain characteristic mathematical struc ture. This structure may be used in a variety of ways to make empirical claims about putative applications of the theory. Typically - though not necessarily - the way this structure is used in making such claims requires that certain elements in the structure play essentially different roles. Some playa "theoretical" role; others playa "non-theoretical" role. For example, in classical particle mechanics, mass and force playa theoretical role while position plays a non-theoretical role. Some attention is given to showing how this distinction can be drawn and describing precisely the way in which the theoretical and non-theoretical elements function in the claims of the theory. An attempt is made to say, rather precisely, what a theory of mathematical physics is and how you tell one such theory from anothe- what the identity conditions for these theories are.
Author : Bob Carpenter
Publisher : Cambridge University Press
Page : 282 pages
File Size : 27,69 MB
Release : 1992-06-26
Category : Computers
ISBN : 0521419328
This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.
Author : Kurt Engesser
Publisher : Elsevier
Page : 727 pages
File Size : 40,18 MB
Release : 2009-06-16
Category : Mathematics
ISBN : 0080931669
Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled, "The logic of quantum mechanics, quantum logic has undergone an enormous development. Various schools of thought and approaches have emerged, and there are a variety of technical results. The chapters of this volume constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic. - Authored by eminent scholars in the field - Material presented is of recent origin representing the frontier of the subject - Provides the most comprehensive and varied discussion of Quantum Mechanics available
Author : Dave Prowse
Publisher : Pearson Education
Page : 620 pages
File Size : 28,61 MB
Release : 2011-01-25
Category : Computers
ISBN : 0132682826
Computer Structure and Logic Pearson Certification Team The place to start your computer career! Learn about computers and networks from the ground up! Learn about computers and networks from the ground up! Your first step toward certifications from CompTIA, Microsoft, or Cisco... absolutely no experience necessary! Explains every part of your computer and shows how each part works together Teaches simple troubleshooting and repair techniques Packed with real-world examples and case studies Master the basics and build your strong foundation for success! I/O: How information gets into and out of computers Motherboards and buses: How your computer’s parts are connected CPU: How your computer’s “brain” works—and how to install and troubleshoot it Memory and storage: The types you need and how to install them Bootup: How your computer starts, what can go wrong, and how to fix it Operating systems: The basics of Windows, Mac OS X, and Linux Basic security: Protecting your data, connections, and computer Troubleshooting: The tools and methods every good PC technician must know Networks and the Internet: How they work, how they communicate, and how to connect to them Test your knowledge, gain confidence, and succeed! More than 150 questions, with clear explanations of every answer!
Author : James L. Hein
Publisher : Jones & Bartlett Learning
Page : 976 pages
File Size : 24,55 MB
Release : 2001
Category : Computers
ISBN : 9780763718435
Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability. The emphasis is on the computational aspects, so that the reader can see how the concepts are actually used. Because of logic's fundamental importance to computer science, the topic is examined extensively in three phases that cover informal logic, the technique of inductive proof; and formal logic and its applications to computer science.
Author : Damon Scott
Publisher :
Page : 0 pages
File Size : 16,58 MB
Release : 2013
Category : Logic, Symbolic and mathematical
ISBN : 9781611633689
Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs. A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is simultaneously machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure--and understand--the mathematics you work with on a daily basis. The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively. Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system's many results and features. Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science.