Logic category: 1296 books
The Nuts and Bolts of Proofs
An Introduction to Mathematical Proofs
Language: English
Release Date: November 25, 2011
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by...
Mereology and the Sciences
Parts and Wholes in the Contemporary Scientific Context
Language: English
Release Date: June 2, 2014
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics,...
by Daniel Parrochia, Pierre Neuville
Language: English
Release Date: May 14, 2013
Language: English
Release Date: May 14, 2013
This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping...
Risk Management Technologies
With Logic and Probabilistic Models
Language: English
Release Date: April 27, 2012
This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk models. The technologies presented here consider such models for structurally complex systems and processes with logical links and with random events in economics and...
by John P. Burgess
Language: English
Release Date: February 12, 2015
Language: English
Release Date: February 12, 2015
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies...
Rule Technologies. Research, Tools, and Applications
10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Language: English
Release Date: June 27, 2016
This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.
The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed...
Statistics and Causality
Methods for Applied Empirical Research
Language: English
Release Date: May 12, 2016
A one-of-a-kind guide to identifying and dealing with modern statistical developments in causality
Written by a group of well-known experts, Statistics and Causality: Methods for Applied Empirical Research focuses on the most up-to-date developments in statistical methods in respect to causality....
The Mathematics of Coordinated Inference
A Study of Generalized Hat Problems
Language: English
Release Date: October 17, 2013
Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses...
Language and Automata Theory and Applications
12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language: English
Release Date: April 3, 2018
This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.
The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected...
Foundations of Software Science and Computation Structures
19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Language: English
Release Date: March 22, 2016
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software,...
Diagrammatic Representation and Inference
10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
Language: English
Release Date: June 7, 2018
This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018.
The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and...
Make: FPGAs
Turning Software into Hardware with Eight Fun and Easy DIY Projects
Language: English
Release Date: February 29, 2016
What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gate Arrays (FPGAs), you can design such a machine...
by Chon Tejedor
Language: English
Release Date: September 4, 2014
Language: English
Release Date: September 4, 2014
This book advances a reading of Wittgenstein’s Tractatus that moves beyond the main interpretative options of the New Wittgenstein debate. It covers Wittgenstein’s approach to language and logic, as well as other areas unduly neglected in the literature, such as his treatment of metaphysics, the...
Justice, Law, and Argument
Essays on Moral and Legal Reasoning
Language: English
Release Date: December 6, 2012
This collection contains studies on justice, juridical reasoning and argumenta tion which contributed to my ideas on the new rhetoric. My reflections on justice, from 1944 to the present day, have given rise to various studies. The ftrst of these was published in English as The Idea of Justice and...