Søkt på: Søkeresultat
totalt 25 treff
A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived …
Logics for AI and Law. Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou
This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, …
O'Kheiluf! The Rabbinic Struggle with the Contrapositive
In this book Dr. Amelia Spivak uncovers a type of tannaitic argument that was lost: neither traditional nor academic scholars seem to have known of its existence. The author finds …
An Introduction to Discrete Dynamical Systems and their General Solutions. 4th Edition
This book studies 1-D and 2-D solutions of discrete and continuous analogue dynamical systems and identifies their intrinsic differences. It starts by introducing discrete …
The Logic of Knowledge Bases
The idea of a knowledge base lies at the heart of symbolic or "good old-fashioned" artificial intelligence (GOFAI). A knowledge-based systemdecides how to act by running formal …
Stages of Theater
Stages of Theater: The Dramatic Criticism of Stanley Kauffmann, 1951-2006 is a collection of 100 pieces of dramatic criticism by the late Stanley Kauffmann (1916-2013). Kauffmann's …
The Logic of Partitions
This book is an introduction to the logic of partitions on a set as well as the (quantum) logic of partitions (direct-sum decompositions or DSDs) on a vector space. Partitions of a …
The Fertile Debate. Affective Exploration of a Controversy
Fertile rather than sterile, what makes constructive debate possible? How to reason together at tackling such a vital issue as drinking water management? Claire Polo here presents …
A Primer of Mathematical Analysis and the Foundations of Computation
This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of "formal definitions", which are …
Sciences, Circulations, Révolutions. Festschrift pour Philippe Nabonnand
Cette Festschrift est publi e en l'honneur de Philippe Nabonnand. Math maticien, historien, philosophe, acteur engag dans le monde universitaire et ailleurs, il a produit une …
Classification Theory. Second Edition with a new introduction
Theories of Paradox in the Middle Ages
Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every …