C. J. Ash, "What is Mathematical Logic? "
English | ISBN: 0486264041 | 2010 | 96 pages | DJVU | 933 KB
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by Patrick Blackburn
English | PDF | 2019 | 464 Pages | ISBN : 3662602911 | 11.5 MB
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.
Chance, Logic And Intuition: An Introduction To The Counter-intuitive Logic Of Chance
by Tijms, Steven;
English | 2021 | ISBN: 981122918X | 254 pages | True PDF | 16.94 MB
The Logic of Filtering
by Melle Jan Kromhout;
English | 2021 | ISBN: 0190070145 | 179 pages | True EPUB | 6.79 MB
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz, 2 Ch
Genre: eLearning | Language: English + srt | Duration: 26 lectures (3h 44m) | Size: 2.9 GB
Concept based PLC Programming
Logic for Computer Scientists by Uwe Schöning
English | PDF | 2008 | 172 Pages | ISBN : 0817634533 | 10.1 MB
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.
Computer Logic: Design Principles and Applications by John Y. Hsu
English | PDF | 2002 | 208 Pages | ISBN : 0387953043 | 15.9 MB
An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design.
Hegel's Actuality Chapter of the Science of Logic: A Commentary By Nahum Brown
2018 | 126 Pages | ISBN: 1498560563 | PDF | 2 MB
This book explores Hegel's theory of modality (actuality, possibility, necessity, contingency) through extremely close textual analysis of the "Actuality" chapter of Hegel's Science of Logic. The "Actuality" chapter is the equivalence of Aristotle's momentous Metaphysics book 9. Because of this, Hegel's chapter deserves the same thorough investigation into its complex insights and argumentation. This book situates Hegel's insights about possibility and necessity within historical and contemporary debates about metaphysics, while analyzing some of the most controversial themes of Hegel's theory, such as the question of the ontological status of unactualized possibilities, the relationship between contradiction and possibility, and the claim that necessity leads to freedom. This book also contributes to an ongoing philosophical inquiry into the nature of dialectics by articulating Hegel's "Actuality" chapter as a coherent argument divided into twenty-seven premises.
Fred Moseley, Tony Smith, "Marx's Capital and Hegel's Logic: A Reexamination"
English | 2015 | ISBN: 160846475X, 9004209522 | PDF | pages: 343 | 5.1 mb
This book provides a wide-ranging and in-depth reappraisal of the relation between Marx's economic theory in Capital and Hegel's Logic by leading Marxian economists and philosophers from around the world. The subjects dealt with include: systematic dialectics, the New Dialectics, materialism vs. idealism, Marx's 'inversion' of Hegel, Hegel's Concept logic (universality-particularity-singularity), Hegel's Essence logic (essence-appearance), Marx's levels of abstraction of capital in general and competition, and capital as Hegelian Subject.
Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz
English | PDF | 2002 | 257 Pages | ISBN : 081764220X | 18 MB
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist.