Daniel Jackson - Software Abstractions: Logic, Language, and Analysis
Published: 2012-02 | ISBN: 0262017156 | PDF | 376 pages | 2.05 MB
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy (Alloy 4).
Fantastic Book of Logic Puzzles By Muriel Mandell , Elise Chanowitz
128 pages | 1986 | ISBN: 0806947543 | PDF | 3,5 MB
This is a great book for anyone that enjoys logic puzzles. These are challenging for all ages. The illustrations and creative stories prove these aren't just for the older generations.
In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard.
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Godel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Godel's compactness theorem for propositional logic.
This fourth edition of Programmable Logic Controllers continues to provide an up-to-date introduction to all aspects of PLC programming, installation, and maintaining procedures. No previous knowledge of PLC systems or programming is assumed. As one reviewer of this edition put it "I honestly believe that someone with little or no background to PLC systems could take this book and teach themselves PLCs".
Visual Basic Programs to Accompany Programming Logic and Design By Jo Ann Smith
219 Pages | Publisher: C{our[se Techno]logy; 6 edition 2011 | ISBN: 0538746254 | PDF | 2 MB
The Visual Basic PAL is designed to be paired with the Sixth Edition of Joyce Farrell's Programming Logic and Design text. Together, the two books provide the perfect opportunity to learn the fundamentals of programming while gaining exposure to an actual programming language.
Franck Frommer, "How PowerPoint Makes You Stupid: The Faulty Causality, Sloppy Logic, Decontextualized Data, and Seductive Showmanship That Have Taken Over Our Thinking"
288 pages | N-wPr-ss | 2012 | ISBN-10: 1595587020 | PDF | 4,6 MB
With over 500 million users worldwide, Microsoft’s PowerPoint software has become the ubiquitous tool for nearly all forms of public presentation—in schools, government agencies, the military, and, of course, offices everywhere. In this revealing and powerfully argued book, author Franck Frommer shows us that PowerPoint’s celebrated ease and efficiency actually mask a profoundly disturbing but little-understood transformation in human communication.
The Logic of Life: The Rational Economics of an Irrational World (Audiobook) by Tim Harford - Narrator: John Lee
Audiobook | English | ISBN-10: 0739365568 | MP3 64 kbps | Run time: ~9 hours | 248 MB Non-fiction, Economics
Life sometimes seems illogical. Individuals do strange things: take drugs, have unprotected sex, mug each other. Love seems irrational and so does divorce. On a larger scale, life seems no fairer or easier to fathom - why do some neighborhoods thrive and others become ghettos? Why is racism so persistent? Why is your idiot boss paid a fortune for sitting behind a mahogany altar? Thorny questions, and you might be surprised to hear the answers coming from an economist.
Benoît Robyns, "Vector Control of Induction Machines: Desensitisation and Optimisation Through Fuzzy Logic (Power Systems)"
248 pages | Publisher: ///ing**r | 2012 | ISBN: 085729900X | PDF | 12.8 MB
After a brief introduction to the main law of physics and fundamental concepts inherent in electromechanical conversion, Vector Control of Induction Machines introduces the standard mathematical models for induction machines – whichever rotor technology is used – as well as several squirrel-cage induction machine vector-control strategies. The use of causal ordering graphs allows systematization of the design stage, as well as standardization of the structure of control devices.
Robert B. Talisse, Steven M. Cahn, "Thinking about Logic: Classic Essays"
224 pages | W-stview Pr-ss | 2010 | ISBN: 0813344697 | PDF | 1,1 MB
Thinking about Logic is an accessible and thought-provoking collection of classic articles in the philosophy of logic. An ideal companion to any formal logic course or textbook, this volume illuminates how logic relates to perennial philosophical issues about knowledge, meaning, rationality, and reality.
David Makinson, "Sets, Logic and Maths for Computing, 2nd Edition"
304 pages | Publisher: S//in..r | 2012 | ISBN: 1447124995 | PDF | 2 MB
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability.
Paolo Rocchi, "Logic of Analog and Digital Machines"
228 pages | N va Sci ence | 2011 | ISBN: 1621007545, 1616688157 | PDF | 3,7 MB
Scientists from different fields are searching for the appropriate definition of what is digital and analogue, but the profile of the technologies that have changed mankind's lifestyle and the history of the world still resist the scrutiny of thinkers. This book suggests some keys to interpret the digital and the analogue machines and claims that understanding analogue versus digital is not as easy as comparing the adjectives digital/continuous or natural/artificial, and conducts an accurate analysis of the systems' core.
Martin Fricke, "Logic and the Organization of Information"
327 pages | Publisher: Sp....er | 2012 | ISBN: 1461430879 | PDF | 3 MB
Logic and the Organization of Information closely examines the historical and contemporary methodologies used to catalogue information objects—books, ebooks, journals, articles, web pages, images, emails, podcasts and more—in the digital era.
Jacob T. Schwartz, Domenico Cantone, "Computational Logic and Set Theory: Applying Formalized Logic to Analysis"
433 pages | S,...er | 2011 | ISBN: 0857298070 | PDF | 5,3 MB
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.
