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.

Art produced outside hegemonic centers is often seen as a form of derivation or relegated to a provisional status. Forming Abstraction turns this narrative on its head. In the first book-length study of postwar Brazilian art and culture, Adele Nelson highlights the importance of exhibitionary and pedagogical institutions in the development of abstract art in Brazil. By focusing on the formation of the São Paulo Biennial in 1951; the early activities of artists Geraldo de Barros, Lygia Clark, Waldemar Cordeiro, Hélio Oiticica, Lygia Pape, and Ivan Serpa; and the ideas of critics like Mário Pedrosa, Nelson illuminates the complex, strategic processes of citation and adaption of both local and international forms. The book ultimately demonstrates that Brazilian art institutions and abstract artistic groups—and their exhibitions of abstract art in particular—served as crucial loci for the articulation of societal identities in a newly democratic nation at the onset of the Cold War.

Abstraction is one facet of intellectual functioning. The study of abstraction allows extremely valuable insights into human intelligence. While this monograph indicates that the ability to think abstractly declines slightly with age, there are a number of variables determining abstract thinking and its relation to intelligence over the life-span. This monograph defines abstraction from all angles of thought, contrasting it with high-order thinking and stereotyped thinking; it discusses and evaluates tests of abstract thinking; and it presents new findings in sociological and psychological research on abstraction.

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.

John McGreal's three new books – It’s Abstraction, Concretely, It’s Figuration, Groundly and It’s Representation, Really – continue the ‘It’ Series published by Matador since 2010. They constitute another stage in an artistic journey exploring the visual and audial dialectic of mark, word and image that began over 25 years ago. Emerging out of the first books on the Bibliograph published in 2016, initiated with It’s Nothing, Seriously, these new texts retain some of the same structural features. The Bibliographs contain the same focus on repetition and variation in meaning of their dominant motifs of representation, abstraction and figuration which have framed philosophical discourse on epistemology and ontology in aesthetics; their chance placement in each Bibliograph interspersed with one another displaying and enhancing similarities and differences. At the same time these works constitute a development in the aesthetic form of the Bibliograph. In earlier works on Nothing, Absence and Silence, it was just a question of finding and transferring given textual references from their source to construct their Bibliographs, with the focus being on the strategic position of the latter within each book. In these new works, the concern has been with working on the line and shape of the references themselves, with their enhanced spacial form as well as that of each Bibliograph as a whole. In shaping and spacing the referential images, the place of words and letters became as important as their semantic & syntactical role. Expansion and contraction of whole words was used to enhance this process. Under such detailed attention their breakdown into particles of language, into part-words and single letters was a result. The recombination of elements produced new words in a process of restrangement with new sequences of letters having visual rather than semantic value. The play on prefixes of dominant motifs yielded new words as did tmesis. This concern with the form of referential images does not preclude an equal commitment to their content. The aleatory character of textual entries in each Bibliograph encourage the reader to let his or her mind go; to read in a new way on diverse contemporary issues across conventional boundaries in the arts and sciences at several levels of physical, psychical and social reproduction.

A landmark study of abstraction in architectural history, theory, and practice that challenges our assumptions about the meaning of abstract forms. In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the purposeful reduction of the complexities of design to its essentials—Aureli shows that abstraction instead arises from the material conditions of building production. In a lively study informed by Walter Benjamin, Karl Marx, Alfred Sohn-Rethel, and other social theorists, this book presents abstraction in architecture not as an aesthetic tendency but as a movement that arises from modern divisions of labor and consequent social asymmetries. These divisions were anticipated by the architecture of antiquity, which established a distinction between manual and intellectual labor, and placed the former in service to the latter. Further abstractions arose as geometry, used for measuring territories, became the intermediary between land and money and eventually produced the logic of the grid. In our own time, architectural abstraction serves the logic of capitalism and embraces the premise that all things can be exchanged—even experience itself is a commodity. To resist this turn, Aureli seeks a critique of architecture that begins not by scaling philosophical heights, but by standing at the ground level of material practice.