The Logic of Machines and Structures

The Logic of Machines and Structures
Author: Paul Sandori
Publisher: Courier Dover Publications
Total Pages: 193
Release: 2016-09-21
Genre: Technology & Engineering
ISBN: 0486807002

This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historical discoveries offer an enjoyable, useful view of the field. 1982 edition.

The Logic of Typed Feature Structures

The Logic of Typed Feature Structures
Author: Bob Carpenter
Publisher: Cambridge University Press
Total Pages: 282
Release: 1992-06-26
Genre: 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.

Computation Structures

Computation Structures
Author: Stephen A. Ward
Publisher: MIT Press
Total Pages: 826
Release: 1990
Genre: Computers
ISBN: 9780262231398

Computer Systems Organization -- general.

Mathematics and Logic

Mathematics and Logic
Author: Mark Kac
Publisher: Courier Corporation
Total Pages: 189
Release: 1992-01-01
Genre: Philosophy
ISBN: 0486670856

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, and more.Includes 34 illustrations. 1968 edition."

The Logic of Slavery

The Logic of Slavery
Author: Tim Armstrong
Publisher: Cambridge University Press
Total Pages: 265
Release: 2012-08-27
Genre: Literary Criticism
ISBN: 1139510983

In American history and throughout the Western world, the subjugation perpetuated by slavery has created a unique 'culture of slavery'. That culture exists as a metaphorical, artistic and literary tradition attached to the enslaved - human beings whose lives are 'owed' to another, who are used as instruments by another and who must endure suffering in silence. Tim Armstrong explores the metaphorical legacy of slavery in American culture by investigating debt, technology and pain in African-American literature and a range of other writings and artworks. Armstrong's careful analysis reveals how notions of the slave as a debtor lie hidden in our accounts of the commodified self and how writers like Nathaniel Hawthorne, Rebecca Harding Davis, Booker T. Washington, W. E. B. Du Bois, Ralph Ellison and Toni Morrison grapple with the pervasive view that slaves are akin to machines.

Discrete Structures, Logic, and Computability

Discrete Structures, Logic, and Computability
Author: James L. Hein
Publisher: Jones & Bartlett Learning
Total Pages: 976
Release: 2001
Genre: 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.

Introduction to Logic

Introduction to Logic
Author: Alfred Tarski
Publisher: Courier Corporation
Total Pages: 271
Release: 2013-07-04
Genre: Mathematics
ISBN: 0486318893

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

The Mangle of Practice

The Mangle of Practice
Author: Andrew Pickering
Publisher: University of Chicago Press
Total Pages: 297
Release: 2010-12-15
Genre: Science
ISBN: 0226668258

This ambitious book by one of the most original and provocative thinkers in science studies offers a sophisticated new understanding of the nature of scientific, mathematical, and engineering practice and the production of scientific knowledge. Andrew Pickering offers a new approach to the unpredictable nature of change in science, taking into account the extraordinary number of factors—social, technological, conceptual, and natural—that interact to affect the creation of scientific knowledge. In his view, machines, instruments, facts, theories, conceptual and mathematical structures, disciplined practices, and human beings are in constantly shifting relationships with one another—"mangled" together in unforeseeable ways that are shaped by the contingencies of culture, time, and place. Situating material as well as human agency in their larger cultural context, Pickering uses case studies to show how this picture of the open, changeable nature of science advances a richer understanding of scientific work both past and present. Pickering examines in detail the building of the bubble chamber in particle physics, the search for the quark, the construction of the quarternion system in mathematics, and the introduction of computer-controlled machine tools in industry. He uses these examples to address the most basic elements of scientific practice—the development of experimental apparatus, the production of facts, the development of theory, and the interrelation of machines and social organization.

Documentation

Documentation
Author: Defense Documentation Center (U.S.)
Publisher:
Total Pages: 608
Release: 1961
Genre: Documentation
ISBN: