Learn IT - Books tags logic

Batman and Ethics

John Wiley & Sons, 2019

Batman has been one of the world’s most beloved superheroes since his first appearance in Detective Comics #27 in 1939. Clad in his dark cowl and cape, he has captured the imagination of millions with his single-minded mission to create a better world for the people of Gotham City by fighting crime, making use of expert...

Practical Quantum Computing for Developers: Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience

Apress, 2018

Write algorithms and program in the new field of quantum computing. This book covers major topics such as the physical components of a quantum computer: qubits, entanglement, logic gates, circuits, and how they differ from a traditional computer. Also, Practical Quantum Computing for Developers...

The Big Nine: How the Tech Titans and Their Thinking Machines Could Warp Humanity

PublicAffairs, 2019

A call-to-arms about the broken nature of artificial intelligence, and the powerful corporations that are turning the human-machine relationship on its head.

We like to think that we are in control of the future of "artificial" intelligence. The reality, though, is that we--the everyday...

Green, Pervasive, and Cloud Computing: 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers (Lecture Notes in Computer Science (11204))

Springer, 2019

This book constitutes the proceedings of the 13th International Conference on Green, Pervasive, and Cloud Computing, GPC 2018, held in Hangzhou, China, in May 2018.

The 35 full papers included in this volume were carefully reviewed and selected from 101 initial submissions. They are organized in the following...

Fundamental Mathematical Structures of Quantum Theory: Spectral Theory, Foundational Issues, Symmetries, Algebraic Formulation

Springer, 2019

This textbook presents in a concise and self-contained way the advanced fundamental mathematical structures in quantum theory. It is based on lectures prepared for a 6 months course for MSc students. The reader is introduced to the beautiful interconnection between logic, lattice theory, general probability theory, and general...

Mastering Python Design Patterns: A guide to creating smart, efficient, and reusable software, 2nd Edition

Packt Publishing, 2018

Exploit various design patterns to master the art of solving problems using Python

Key Features

Master the application design using the core design patterns and latest features of Python 3.7

Learn tricks to solve common design and architectural challenges

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer, 2009

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion...

Perceptual Computing: Aiding People in Making Subjective Judgments

John Wiley & Sons, 2010

Explains for the first time how "computing with words" can aidin making subjective judgments

Lotfi Zadeh, the father of fuzzy logic, coined the phrase"computing with words" (CWW) to describe a methodology in which theobjects of computation are words and propositions drawn from anatural language....

Logic and Philosophy of Mathematics in the Early Husserl (Synthese Library)

Springer, 2009

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics....

Burp Suite Cookbook: Practical recipes to help you master web penetration testing with Burp Suite

Packt Publishing, 2018

Get hands-on experience of using Burp Suite to execute attacks and perform web assessments

Key Features

Use tools in Burp Suite to meet your web infrastructure security demands

Configure Burp to fine-tune the suite of tools specific to the target

Use Burp...

Professional Crystal Reports for Visual Studio .NET, 2nd Edition

Wrox Press, 2004

The addition of Crystal Reports 9.0 to Visual Studio .NET 2003 offers developers a reporting tool that allows you to turn almost any data into interactive, dynamic content through portals, wireless devices, and Microsoft Office documents. This code-intensive guide takes you step by step through developing reports and incorporating them into...

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Springer, 2009

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

Result Page: 98 97 96 95 94 93 92 91 90 89