Přeskočit na hlavní obsah

Nákupní košík

Dostáváte VIP zacházení!

Položka(y), kterou si nemůžete koupit
Prosím, zkontrolujte svůj košík. Nedostupnou položku (y) můžete odebrat nyní nebo ji automaticky odebereme v pokladně.
položkypoložka
položkypoložka

Doporučeno pro vás

Loading...

Logika elektronické knihy

Pokud se vám líbí e-knihy v oblasti Logika, pak budete milovat tyto top výběry.
Zobrazuje se 1–24 z 1111
Přeskočit filtry boční lišty
  • Build a Mathematical Mind - Even If You Think You Can't Have One

    podle Albert Rutherford ...
    Would you like to be a proficient mathematician… without using numbers?There is so much more to math than geometry and calculus! It is present in almost every life aspect, from improving your communication skills to how to fit your luggage into your car.Did you always hate math because you couldn't understand complex formulas?Don't let a few equations or a bad teacher deter you from building a ... Přečtěte si více

    104,12 Kč

  • Fermat’s Last Theorem

    podle Simon Singh ...
    ‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorious unsolved mathematical problem, a puzzle whose basics most children could grasp but whose solution ... Přečtěte si více

    250,29 Kč

  • Artificial Intelligence Versus Natural Intelligence

    Série série Philosophy and Religion (R0)
    This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness.Additional insightful essays by Mauro D'Ariano, Federico Faggin, Ines Testoni, Giuseppe Vitiello and an introduction of Fabio ... Přečtěte si více

    1 968,89 Kč

  • Alan M. Turing

    Centenary Edition

    'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since ... Přečtěte si více

    359,29 Kč

  • The Logic of Commands

    podle Nicholas Rescher ...
    Série série Routledge Library Editions: Logic
    Originally published in 1966. Professor Rescher’s aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in ... Přečtěte si více

    1 036,05 Kč

  • Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

    podle Justus Diller ...
    This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular ... Přečtěte si více

    1 464,79 Kč

  • Learn Digital and Microprocessor Techniques on your Smartphone

    podle Clive W. Humphris ...
    An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Přečtěte si více

    76,16 Kč

  • Cocktail Party Mathematics: Fun Ways to Master Math and Be the Life of the Party – Really!

    podle Amir Pirnazar PhD ...
    Want to master math while wowing your friends and boosting your bottom line? Does crunching numbers bore you to tears? Do you wish you could puzzle out the facts and figures behind placing bets and playing the lottery? Calculus whiz and PhD grad Amir Pirnazar has tutored hundreds of students from the brink of failing grades to mathlete material. Now he's here to show you little-known tricks that ... Přečtěte si více

    166,71 Kč nebo zdarma s Kobo Plus

  • The Penguin Book Quiz

    From The Very Hungry Caterpillar to Ulysses – The Perfect Gift for Book Lovers!

    podle James Walton ...
    THE PERFECT QUIZ BOOK FOR BOOKWORMS!Which Haruki Murakami novel shares its title with a Beatles song?In Roald Dahl's Charlie and the Chocolate Factory, what is Charlie's surname?What is heavy-drinking Rachel Watson known as in the title of a 21st-century bestseller?And what do you get if you add the number of Bennet sisters in Jane Austen's Pride and Prejudice to the ... ... Přečtěte si více

    237,89 Kč

  • Electromagnetic Compatibility

    Principles and Applications, Second Edition, Revised and Expanded

    podle David Weston ...
    Série série Electrical and Computer Engineering
    This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electrical equipment/systems-including new information on basic theories, applications, evaluations, prediction techniques, and practical diagnostic options for preventing EMI through cost-effective solutions. ... Přečtěte si více

    5 881,86 Kč

  • Computational Complexity of Solving Equation Systems

    Série série Computer Science (R0)
    This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, ... Přečtěte si více

    1 093,79 Kč

  • Janus-Faced Probability

    podle Paolo Rocchi ...
    Série série Mathematics and Statistics (R0)
    The problem of probability interpretation was long overlooked before exploding in the 20th century, when the frequentist and subjectivist schools formalized two conflicting conceptions of probability. Beyond the radical followers of the two schools, a circle of pluralist thinkers tends to reconcile the opposing concepts. The author uses two theorems in order to prove that the various ... Přečtěte si více

    1 093,79 Kč

  • Applications of Mathematics and Informatics in Natural Sciences and Engineering

    AMINSE 2019, Tbilisi, Georgia, September 23-26

    Série série Springer Nature Proceedings excluding Computer Science
    This book presents peer-reviewed papers from the 4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2019), held in Tbilisi, Georgia, in September 2019.Written by leading researchers from Austria, France, Germany, Georgia, Hungary, Romania, South Korea and the UK, the book discusses important aspects of mathematics, and informatics ... Přečtěte si více

    1 968,89 Kč

  • Goedel's Way

    Exploits into an undecidable world

    podle Gregory Chaitin ...
    Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein’s general relativity, as he proved that Einstein’s theory allows for time machines.The Gödel incompleteness theorem - the usual formal mathematical systems cannot prove nor ... Přečtěte si více

    1 568,22 Kč

  • Nonstandard Methods and Applications in Mathematics

    Lecture Notes in Logic 25

    A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, t ... Přečtěte si více

    1 652,24 Kč

  • Cyber Defense Mechanisms

    Security, Privacy, and Challenges

    Série série Artificial Intelligence (AI): Elementary to Advanced Practices
    This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.The book will take readers on a journey to understanding the security issues and possible solutions involving various threats, attacks, and defense mechanisms, which include IoT, cloud computing, Big Data, lightweight cryptography for blockchain, ... Přečtěte si více

    1 428,17 Kč

  • I Punti di Alef

    podle Mauro Bernardini ...
    Questo è il secondo libro della trilogia di Alef che Mauro Bernardini ha disegnato per divulgare la sua affascinante congettura razionale sul mistero dell’esistenza. La storia è ambientata nel futuro dei discendenti di Luino e Lena che, 500 anni prima, hanno voluto che il primo libro della trilogia - scritto da Luino nel 2014 e intitolato Il Mistero dell'Esistenza - fosse conservato nella loro ... Přečtěte si více

    36,22 Kč nebo zdarma s Kobo Plus

  • Mathematical Labyrinths. Pathfinding

    podle Boris Pritsker ...
    Série Kniha 22 - Problem Solving In Mathematics And Beyond
    Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions. The essential idea is a framework laid upon the reader on how to solve nonconventional problems — particularly in the realm of mathematics and logic. It goes over the key steps in approaching a difficult problem, contemplating a plan for its solution, and discusses set ... Přečtěte si více

    563,39 Kč

  • Combinatorial Set Theory of C*-Algebras

    podle Ilijas Farah ...
    Série série Mathematics and Statistics (R0)
    This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The author is at the forefront of research on the interplay between logic and operator algebras (C*-algebras, in particular). The deep level of scholarship contained in these pages opens doors to ... Přečtěte si více

    4 375,49 Kč

  • Introduction to Modern Cryptography, Revised Third Edition

    Student Solutions Manual

    podle Jonathan Katz ...
    Série série Chapman & Hall/CRC Cryptography and Network Security Series
    The Student Solutions Manual to Introduction to Modern Cryptography, Revised Third Edition, is available for the first time for the author. This contains solutions to all the even-numbered exercises in the book. ... Přečtěte si více

    1 456,18 Kč

  • Foundations of Constructive Probability Theory

    podle Yuen-Kwok Chan ...
    Série Kniha 177 - Encyclopedia of Mathematics and its Applications
    Using Bishop's work on constructive analysis as a framework, this monograph gives a systematic, detailed and general constructive theory of probability theory and stochastic processes. It is the first extended account of this theory: almost all of the constructive existence and continuity theorems that permeate the book are original. It also contains results and methods hitherto unknown in the ... Přečtěte si více

    3 439,09 Kč

  • Concrete Abstractions

    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

    podle Wolfgang Schreiner ...
    Série série Computer Science (R0)
    This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is ... Přečtěte si více

    1 203,09 Kč

  • The Logic, Philosophy, and History of the Lambda-Calculus

    Theory and Applications

    podle Levis Zerpa ...
    Série série Philosophy and Religion (R0)
    This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called “lambda-philosophy”: a branch of logic-based analytic philosophy in the tradition of Frege and Russell, directly constructed from the lambda-calculus. Another innovation of the book is a new ... Přečtěte si více

    2 843,99 Kč

  • L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

    How Mathematics Is Rooted in Life

    podle Dirk van Dalen ...
    Série série Mathematics and Statistics (R0)
    Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific ... Přečtěte si více

    1 421,89 Kč