Author: Janet Abbate
Publisher: JHU Press
ISBN: 1421444380
Category : Technology & Engineering
Languages : en
Pages : 473
Get Book Here
Book Description
Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures. Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, André Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Švelch
Author: Daniel Jackson
Publisher: MIT Press
ISBN: 0262017156
Category : Computers
Languages : en
Pages : 373
Get Book Here
Book Description
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
Author: Max Hailperin
Publisher: Max Hailperin
ISBN: 0534952119
Category : Abstract data types (Computer science).
Languages : en
Pages : 686
Get Book Here
Book Description
CONCRETE ABSTRACTIONS offers students a hands-on, abstraction-based experience of thinking like a computer scientist. This text covers the basics of programming and data structures, and gives first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well. Students learn a variety of programming styles, including functional programming, assembly-language programming, and object-oriented programming (OOP). While most of the book uses the Scheme programming language, Java is introduced at the end as a second example of an OOP system and to demonstrate concepts of concurrent programming.
Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 0262344122
Category : Computers
Languages : en
Pages : 793
Get Book Here
Book Description
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming. This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning. The environment grows with readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. This second edition has been completely revised. While the book continues to teach a systematic approach to program design, the second edition introduces different design recipes for interactive programs with graphical interfaces and batch programs. It also enriches its design recipes for functions with numerous new hints. Finally, the teaching languages and their IDE now come with support for images as plain values, testing, event-driven programming, and even distributed programming.
Author: Eric Roberts
Publisher: Prentice Hall
ISBN: 9780133454840
Category : C++ (Computer program language)
Languages : en
Pages : 0
Get Book Here
Book Description
This text is intended for use in the second programming course Programming is a matter of learning by doing. Eric Roberts' Programming Abstractions in C++ gives students opportunities to practice and learn with engaging graphical assignments. A client-first approach to data structures helps students absorb, and then apply the material. Teaching and Learning Experience This program presents a better teaching and learning experience--for you and your students. It will help: Improve Student Comprehension with a Client-first Approach to Data Structures: To aid in student understanding, this book presents the full set of collection classes early. Defer the Presentation of C++ Features that Require a Detailed Understanding of the Underlying Machine: Introducing collection classes early enables students to master other equally important topics without having to struggle with low-level details at the same time. Engage Students with Exciting Graphical Assignments: An open-source library supports graphics and interactivity in a simple, pedagogically appropriate way. Support Instructors and Students: The companion website provides source code, sample run PDFs, answers to review questions, and more.
Author: Tamara Munzner
Publisher: CRC Press
ISBN: 1466508930
Category : Business & Economics
Languages : en
Pages : 422
Get Book Here
Book Description
Learn How to Design Effective Visualization SystemsVisualization Analysis and Design provides a systematic, comprehensive framework for thinking about visualization in terms of principles and design choices. The book features a unified approach encompassing information visualization techniques for abstract data, scientific visualization techniques
Author: Marie-Laure Ryan
Publisher: JHU Press
ISBN: 1421412233
Category : Computers
Languages : en
Pages : 553
Get Book Here
Book Description
The first systematic, comprehensive reference covering the ideas, genres, and concepts behind digital media. The study of what is collectively labeled “New Media”—the cultural and artistic practices made possible by digital technology—has become one of the most vibrant areas of scholarly activity and is rapidly turning into an established academic field, with many universities now offering it as a major. The Johns Hopkins Guide to Digital Media is the first comprehensive reference work to which teachers, students, and the curious can quickly turn for reliable information on the key terms and concepts of the field. The contributors present entries on nearly 150 ideas, genres, and theoretical concepts that have allowed digital media to produce some of the most innovative intellectual, artistic, and social practices of our time. The result is an easy-to-consult reference for digital media scholars or anyone wishing to become familiar with this fast-developing field.
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309165636
Category : Computers
Languages : en
Pages : 216
Get Book Here
Book Description
Computer Science: Reflections on the Field, Reflections from the Field provides a concise characterization of key ideas that lie at the core of computer science (CS) research. The book offers a description of CS research recognizing the richness and diversity of the field. It brings together two dozen essays on diverse aspects of CS research, their motivation and results. By describing in accessible form computer science's intellectual character, and by conveying a sense of its vibrancy through a set of examples, the book aims to prepare readers for what the future might hold and help to inspire CS researchers in its creation.
Author: Allan Bäck
Publisher: Springer
ISBN: 3319047590
Category : Philosophy
Languages : en
Pages : 315
Get Book Here
Book Description
This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects. This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna.
Author: Zachary Tellman
Publisher: Lulu.com
ISBN: 0359360580
Category : Technology & Engineering
Languages : en
Pages : 122
Get Book Here
Book Description
This book tries to put words to what most experienced programmers already know. It provides a framework for making better design choices, and a vocabulary for teams to discuss the software they collaborate on.
