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.

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.

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.

Toilet: How It Works

Toilet: How It Works
Author: David Macaulay
Publisher: Macmillan
Total Pages: 34
Release: 2015-04-14
Genre: Juvenile Nonfiction
ISBN: 1626722145

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

Learning and Soft Computing

Learning and Soft Computing
Author: Vojislav Kecman
Publisher: MIT Press
Total Pages: 556
Release: 2001
Genre: Computers
ISBN: 9780262112550

This textbook provides a thorough introduction to the field of learning from experimental data and soft computing. Support vector machines (SVM) and neural networks (NN) are the mathematical structures, or models, that underlie learning, while fuzzy logic systems (FLS) enable us to embed structured human knowledge into workable algorithms. The book assumes that it is not only useful, but necessary, to treat SVM, NN, and FLS as parts of a connected whole. Throughout, the theory and algorithms are illustrated by practical examples, as well as by problem sets and simulated experiments. This approach enables the reader to develop SVM, NN, and FLS in addition to understanding them. The book also presents three case studies: on NN-based control, financial time series analysis, and computer graphics. A solutions manual and all of the MATLAB programs needed for the simulated experiments are available.

Structures by Design

Structures by Design
Author: Rob Whitehead
Publisher: Routledge
Total Pages: 844
Release: 2019-07-19
Genre: Architecture
ISBN: 1315403129

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