Scientific Tracts
Download Scientific Tracts full books in PDF, epub, and Kindle. Read online free Scientific Tracts ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Scientific Tracts and Family Lyceum
Author | : Jerome Van Crowninshield Smith |
Publisher | : |
Total Pages | : 404 |
Release | : 1834 |
Genre | : Science |
ISBN | : |
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
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
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
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
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?