The Logic of Machines and Structures

The Logic of Machines and Structures

Author: Paul Sandori

Publisher: Courier Dover Publications

Published: 2016-09-21

Total Pages: 193

ISBN-13: 0486807002

DOWNLOAD EBOOK

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.


Discrete Structures, Logic, and Computability

Discrete Structures, Logic, and Computability

Author: James L. Hein

Publisher: Jones & Bartlett Learning

Published: 2001

Total Pages: 976

ISBN-13: 9780763718435

DOWNLOAD EBOOK

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.


The Logic of Typed Feature Structures

The Logic of Typed Feature Structures

Author: Bob Carpenter

Publisher: Cambridge University Press

Published: 1992-06-26

Total Pages: 282

ISBN-13: 0521419328

DOWNLOAD EBOOK

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.


Mathematics and Logic

Mathematics and Logic

Author: Mark Kac

Publisher: Courier Corporation

Published: 1992-01-01

Total Pages: 189

ISBN-13: 0486670856

DOWNLOAD EBOOK

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


Toilet: How It Works

Toilet: How It Works

Author: David Macaulay

Publisher: Macmillan

Published: 2015-04-14

Total Pages: 34

ISBN-13: 1626722145

DOWNLOAD EBOOK

Explains to the reader how a toilet and the sewer system works.


Structures by Design

Structures by Design

Author: Rob Whitehead

Publisher: Routledge

Published: 2019-07-19

Total Pages: 844

ISBN-13: 1315403129

DOWNLOAD EBOOK

*Winner of the 2021 TAA Textbook Excellence Award* Honorable Mention of the 2021 BTES Book Award Structures by Design: Thinking, Making, Breaking is a new type of structures textbook for architects who prefer to learn using the hands-on, creative problem-solving techniques typically found in a design studio. Instead of presenting structures as abstract concepts defined by formulas and diagrams, this book uses a project-based approach to demonstrate how a range of efficient, effective, and expressive architectural solutions can be generated, tested, and revised. Each section of the book is focused on a particular manner by which structural resistance is provided: Form (Arches and Cables), Sections (Beams, Slabs, and Columns), Vectors (Trusses and Space Frames), Surfaces (Shells and Plates), and Frames (Connections and High-Rises). The design exercises featured in each chapter use the Think, Make, Break method of reiterative design to develop and evaluate different structural options. A variety of structural design tools will be used, including the human body, physical models, historical precedents, static diagrams, traditional formulae, and advanced digital analysis. The book can be incorporated into various course curricula and studio exercises because of the flexibility of the format and range of expertise required for these explorations. More than 500 original illustrations and photos provide example solutions and inspiration for further design exploration.


The Logic of Slavery

The Logic of Slavery

Author: Tim Armstrong

Publisher: Cambridge University Press

Published: 2012-08-27

Total Pages: 265

ISBN-13: 1139510983

DOWNLOAD EBOOK

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 Mathematical Structures

Discrete Mathematical Structures

Author: D. S. Malik

Publisher: Course Technology Ptr

Published: 2004

Total Pages: 905

ISBN-13: 9780619212858

DOWNLOAD EBOOK

Teaches students the mathematical foundations of computer science, including logic, Boolean algebra, basic graph theory, finite state machines, grammars and algorithms, and helps them understand mathematical reasoning for reading, comprehension and construction of mathematical arguments.