Logic category: 1296 books
Refinement in Z and Object-Z
Foundations and Advanced Applications
Language: English
Release Date: August 30, 2013
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application...
Semantics of Probabilistic Processes
An Operational Approach
Language: English
Release Date: February 6, 2015
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives....
by Per Stenström
Language: English
Release Date: February 22, 2019
Language: English
Release Date: February 22, 2019
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research...
Supercomputing
4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Language: English
Release Date: December 31, 2018
This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.
The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized...
Accelerator Programming Using Directives
5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Language: English
Release Date: January 23, 2019
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.
The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers...
Jumpstarting Your Own PCB
Learn How to Design and Make Customized Circuit Boards
Language: English
Release Date: October 23, 2018
Learn to make your own printed circuit boards, using open source software and inexpensive manufacturing techniques!
“Set Theory”
Reserved Power Clause!!! and Article V!!!
Language: English
Release Date: October 16, 2014
The powers not delegated to the United States by the Constitution, nor prohibited by it to the States, are (reserved power clause) reserved to the States respectively, or to the people. Constitution Universal set Bill of Rights and Amendments Subset of Universal set 10th Amendment Subset of Bill of...
by Encyclopaedia Universalis, Les Grands Articles
Language: French
Release Date: October 28, 2015
Language: French
Release Date: October 28, 2015
La notion d'analogie a connu une telle fortune qu'il semble presque impossible de lui conférer une définition dépourvue d'équivoque. Son usage premier, en mathématique pythagoricienne, ne présageait aucun glissement : elle était la formule ramenant des termes inégaux proportionnellement comparés à une identité de rapport ...
Adaptive Logics for Defeasible Reasoning
Applications in Argumentation, Normative Reasoning and Default Reasoning
Language: English
Release Date: November 29, 2013
This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics.
The author first familiarizes readers with defeasible reasoning,...
by David S G Stirling
Language: English
Release Date: April 30, 2009
Language: English
Release Date: April 30, 2009
This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to...
by Bradford Skow
Language: English
Release Date: August 18, 2016
Language: English
Release Date: August 18, 2016
Reasons Why first argues that what philosophers are really after, or at least should be after, when they seek a theory of explanation, is a theory of answers to why-questions. It then advances a thesis about what form a theory of answers to why-questions should take: a theory of answers to why-questions...
by Gregor Betz
Language: English
Release Date: August 15, 2012
Language: English
Release Date: August 15, 2012
Is critical argumentation an effective way to overcome disagreement? And does the exchange of arguments bring opponents in a controversy closer to the truth? This study provides a new perspective on these pivotal questions. By means of multi-agent simulations, it investigates the truth and consensus-conduciveness...
The Philosophers and Mathematics
Festschrift for Roshdi Rashed
Language: English
Release Date: August 14, 2018
This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the...
by
Language: English
Release Date: March 9, 2013
Language: English
Release Date: March 9, 2013
In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Graßmann (1809-1877), the remarkable universalist whose work recast the foundations of these disciplines and shaped the course of their modern development.