Filter by
From Logic to Logic Programming
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…
- Edition
- -
- ISBN/ISSN
- 9780262288477
- Collation
- 1 online resource (xii, 214 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Reconceptualizing the Industrial Revolution
Closely linked essays examine distinctive national patterns of industrialization.This collection of essays offers new perspectives on the Industrial Revolution as a global phenomenon. The fifteen contributors go beyond the longstanding view of industrialization as a linear process marked by discrete stages. Instead, they examine a lengthy and creative period in the history of industrialization,…
- Edition
- -
- ISBN/ISSN
- 9780262289504
- Collation
- 1 online resource (vi, 356 pages).
- Series Title
- -
- Call Number
- -
The synthetic age :outdesigning evolution, resurrecting species, and reengine…
Imagining a future in which humans fundamentally reshape the natural world using nanotechnology, synthetic biology, de-extinction, and climate engineering. We have all heard that there are no longer any places left on Earth untouched by humans. The significance of this goes beyond statistics documenting melting glaciers and shrinking species counts. It signals a new geological epoch. In The Syn…
- Edition
- -
- ISBN/ISSN
- 9780262345293
- Collation
- 1 online resource (224 pages)
- Series Title
- -
- Call Number
- -
A grammatical view of logic programming
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic pro…
- Edition
- -
- ISBN/ISSN
- 9780262290845
- Collation
- 1 online resource (xxxi, 454 pages) : illustrations.
- Series Title
- Logic Programming
- Call Number
- -
The continued exercise of reason :public addresses
Lectures, many never before published, that offer insights into the early thinking of the mathematician and polymath George Boole.George Boole (1815-1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only because of the application of Boolean logic to the design of switching circuits but also because of h…
- Edition
- -
- ISBN/ISSN
- 9780262345576
- Collation
- 1 online resource (ix, 237 pages)
- Series Title
- -
- Call Number
- -
Innovating :a doer's manifesto for starting from a hunch, prototyping problem…
Innovation is the subject of countless books and courses, but there's very little out there about how you actually innovate. Innovation and entrepreneurship are not one and the same, although aspiring innovators often think of them that way. They are told to get an idea and a team and to build a show-and-tell for potential investors. In Innovating, Luis Perez-Breva describes another approach --…
- Edition
- -
- ISBN/ISSN
- 9780262336680
- Collation
- 1 online resource (xxv, 396 pages) :illustrations
- Series Title
- -
- Call Number
- -
The iconic logic of Peirce's graphs
"A Bradford book.""At the dawn of modern logic, Charles S. Peirce invented two types of logical systems, one symbolic and the other graphical. In this book Sun-Joo Shin explores the philosophical roots of the birth of Peirce's Existential Graphs in his theory of representation and logical notation. Shin demonstrates that Peirce is the first philosopher to lay a solid philosophical foundation fo…
- Edition
- -
- ISBN/ISSN
- 9780262283557
- Collation
- 1 online resource (x, 208 pages) : illustrations
- Series Title
- -
- Call Number
- 100 SHI i
Humanity's end: Why we should reject radical enhancement
"A Bradford book."""Arguments against radical enhancement have too often in the past been characterized by irrationalism and mysticism. Nicholas Agar presents the first cogent case for the rationality of opposing radical enhancement. Moving easily between science and philosophy, he argues for a species-relative conception of valuable experiences, according to which we have a strong reason to re…
- Edition
- -
- ISBN/ISSN
- 9780262289122
- Collation
- 1 online resource (viii, 219 pages).
- Series Title
- -
- Call Number
- -
Inventing future cities
How we can invent--but not predict--the future of cities. We cannot predict future cities, but we can invent them. Cities are largely unpredictable because they are complex systems that are more like organisms than machines. Neither the laws of economics nor the laws of mechanics apply; cities are the product of countless individual and collective decisions that do not conform to any grand plan…
- Edition
- -
- ISBN/ISSN
- 9780262349895
- Collation
- 1 online resource (304 pages).
- Series Title
- -
- Call Number
- -
Insatiable Curiosity: Innovation in a Fragile Future
An influential scholar in science studies argues that innovation tames the insatiable and limitless curiosity driving science, and that society's acute ambivalence about this is an inevitable legacy of modernity.Curiosity is the main driving force behind scientific activity. Scientific curiosity, insatiable in its explorations, does not know what it will find, or where it will lead. Science nee…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (179 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography