Mathematical Theory of Domains

Mathematical Theory of Domains
Author: V. Stoltenberg-Hansen
Publisher: Cambridge University Press
Total Pages: 366
Release: 1994-09-22
Genre: Computers
ISBN: 9780521383448

Introductory textbook/general reference in domain theory for professionals in computer science and logic.

Design Theory and Computer Science

Design Theory and Computer Science
Author: Subrata Dasgupta
Publisher: Cambridge University Press
Total Pages: 450
Release: 1991-05-16
Genre: Computers
ISBN: 0521390214

The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design.

Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction
Author: Davide Sangiorgi
Publisher: Cambridge University Press
Total Pages: 341
Release: 2011-10-13
Genre: Computers
ISBN: 1139502905

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Eating the Enlightenment

Eating the Enlightenment
Author: E.C. Spary
Publisher: University of Chicago Press
Total Pages: 380
Release: 2013-04-08
Genre: History
ISBN: 0226768880

Eating the Enlightenment offers a new perspective on the history of food, looking at writings about cuisine, diet, and food chemistry as a key to larger debates over the state of the nation in Old Regime France. Embracing a wide range of authors and scientific or medical practitioners—from physicians and poets to philosophes and playwrights—E. C. Spary demonstrates how public discussions of eating and drinking were used to articulate concerns about the state of civilization versus that of nature, about the effects of consumption upon the identities of individuals and nations, and about the proper form and practice of scholarship. En route, Spary devotes extensive attention to the manufacture, trade, and eating of foods, focusing upon coffee and liqueurs in particular, and also considers controversies over specific issues such as the chemistry of digestion and the nature of alcohol. Familiar figures such as Fontenelle, Diderot, and Rousseau appear alongside little-known individuals from the margins of the world of letters: the draughts-playing café owner Charles Manoury, the “Turkish envoy” Soliman Aga, and the natural philosopher Jacques Gautier d’Agoty. Equally entertaining and enlightening, Eating the Enlightenment will be an original contribution to discussions of the dissemination of knowledge and the nature of scientific authority.

After Law

After Law
Author: Laurent de Sutter
Publisher: John Wiley & Sons
Total Pages: 240
Release: 2021-02-03
Genre: Philosophy
ISBN: 1509545433

Law is the most sacred fetish of our time. From radicals to conservatives, there is no militant, activist or thinker who would consider doing without it. But the history of our fascination with law is long and complex, and reaches deeper into our culture than we might think. In After Law, Laurent de Sutter takes us on a journey to uncover the sources of our fascination. He shows that at a certain moment in our history a choice was made to treat law as a decisive feature of civilization, but this choice was neither obvious nor necessary. Other political, social, religious or cultural possibilities could have been chosen instead – from ancient Egypt to Mesopotamia, from medieval Japan to China, from Islam to Judaism, other cultures have devised sophisticated tools to help people live together without having to deal with norms, rules and principles. This is a lesson worth reflecting on, especially at a time when the rule of law and the functioning of justice are increasingly showing their sinister side – and their impotence. Is there life beyond law?