Author: Martin GardnerPublisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 186
Book Description
Logic Machines, Diagrams and Boolean Algebra
Author: Martin GardnerPublisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 186
Book Description
The Logician and the Engineer
Author: Paul NahinPublisher: Princeton University Press
ISBN: 0691176000
Category : Biography & Autobiography
Languages : en
Pages : 245
Book Description
Third printing. First paperback printing. Original copyright date: 2013.
Thinking Things Through
Author: Clark N. GlymourPublisher: MIT Press
ISBN: 9780262571197
Category : Philosophy
Languages : en
Pages : 406
Book Description
Thinking Things Through provides a broad, historical, and rigorous introduction to the logical tradition in philosophy and to its contemporary significance. The presentation is centered around three of the most fruitful issues in Western thought: What are proofs, and why do they provide knowledge? How can experience be used to gain knowledge or to alter beliefs in a rational way? What is the nature of mind and of mental events and mental states? In a clear and lively style, Glymour describes these key philosophical problems and traces attempts to solve them, from ancient Greece to the present. Thinking Things Through reveals the philosophical sources of modern work in logic, the theory of computation, Bayesian statistics, cognitive psychology, and artificial intelligence, and it connects these subjects with contemporary problems in epistemology and metaphysics. The text is full of examples and problems, and an instructor's manual is available.Clark Glymour is Alumni Professor of Philosophy at Carnegie-Mellon University and Adjunct Professor of History and Philosophy of Science at the University of Pittsburgh.
Logic from Computer Science
Author: Yiannis N. MoschovakisPublisher: Springer Science & Business Media
ISBN: 9780387976679
Category : Computers
Languages : en
Pages : 632
Book Description
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.
Thinking Things Through, second edition
Author: Clark GlymourPublisher: MIT Press
ISBN: 0262527200
Category : Philosophy
Languages : en
Pages : 471
Book Description
The second edition of a unique introductory text, offering an account of the logical tradition in philosophy and its influence on contemporary scientific disciplines. Thinking Things Through offers a broad, historical, and rigorous introduction to the logical tradition in philosophy and its contemporary significance. It is unique among introductory philosophy texts in that it considers both the historical development and modern fruition of a few central questions. It traces the influence of philosophical ideas and arguments on modern logic, statistics, decision theory, computer science, cognitive science, and public policy. The text offers an account of the history of speculation and argument, and the development of theories of deductive and probabilistic reasoning. It considers whether and how new knowledge of the world is possible at all, investigates rational decision making and causality, explores the nature of mind, and considers ethical theories. Suggestions for reading, both historical and contemporary, accompany most chapters. This second edition includes four new chapters, on decision theory and causal relations, moral and political theories, “moral tools” such as game theory and voting theory, and ethical theories and their relation to real-world issues. Examples have been updated throughout, and some new material has been added. It is suitable for use in advanced undergraduate and beginning graduate classes in philosophy, and as an ancillary text for students in computer science and the natural sciences.
Tintoretto's Difference
Author: Kamini VellodiPublisher: Bloomsbury Publishing
ISBN: 1350083089
Category : Philosophy
Languages : en
Pages : 239
Book Description
A provocative account of the philosophical problem of 'difference' in art history, Tintoretto's Difference offers a new reading of this pioneering 16th century painter, drawing upon the work of the 20th century philosopher Gilles Deleuze. Bringing together philosophical, art historical, art theoretical and art historiographical analysis, it is the first book-length study in English of Tintoretto for nearly two decades and the first in-depth exploration of the implications of Gilles Deleuze's philosophy for the understanding of early modern art and for the discipline of art history. With a focus on Deleuze's important concept of the diagram, Tintoretto's Difference positions the artist's work within a critical study of both art history's methods, concepts and modes of thought, and some of the fundamental dimensions of its scholarly practice: context, tradition, influence, and fact. Indicating potentials of the diagrammatic for art historical thinking across the registers of semiotics, aesthetics, and time, Tintoretto's Difference offers at once an innovative study of this seminal artist, an elaboration of Deleuze's philosophy of the diagram, and a new avenue for a philosophical art history.
Arithmetic and Combinatorics
Author: Gottfried MartinPublisher: SIU Press
ISBN: 9780809311842
Category : Mathematics
Languages : en
Pages : 240
Book Description
This is the only work to provide a historical account of Kant's theory of arithmetic, examining in detail the theories of both his predecessors and his successors. Until his death, Martin was the editor of Kant-Studien from 1954, of the general Kant index from 1964, of the Leibniz index from 1968, and coeditor of Leibnizstudien from 1969. This background is used to its fullest as he strives to make clear the historical milieu in which Kant's mathematical contributions developed. He uses Leibniz, Wolff, and others whose work was accomplished before Kant was born as well as Lambert, Mendelssohn, and others roughly contemporary with Kant; and when a point requires it, he refers to Gauss, Grassman, Frege, Russell, and Hilbert. In her translation Wubnig has approached the original author with an abiding respect. She makes the translation flow in English while preserving as far as possible the flavor of the original. She has added many bibliographical and biographical details to ease the following up of Martin's allusions and suggestions.
Games of No Chance 3
Author: Michael H. AlbertPublisher: Cambridge University Press
ISBN: 0521861349
Category : Mathematics
Languages : en
Pages : 577
Book Description
This fascinating look at combinatorial games, that is, games not involving chance or hidden information, offers updates on standard games such as Go and Hex, on impartial games such as Chomp and Wythoff's Nim, and on aspects of games with infinitesimal values, plus analyses of the complexity of some games and puzzles and surveys on algorithmic game theory, on playing to lose, and on coping with cycles. The volume is rounded out with an up-to-date bibliography by Fraenkel and, for readers eager to get their hands dirty, a list of unsolved problems by Guy and Nowakowski. Highlights include some of Siegel's groundbreaking work on loopy games, the unveiling by Friedman and Landsberg of the use of renormalization to give very intriguing results about Chomp, and Nakamura's "Counting Liberties in Capturing Races of Go." Like its predecessors, this book should be on the shelf of all serious games enthusiasts.
Boolean Reasoning
Author: Frank Markham BrownPublisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Author: