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 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.
This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.
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."
*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.
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.
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.