Skip to main content

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Logique

Si vous aimez les titres Logique, vous allez adorer cette sélection.
Affichage des résultats 1 - 24 sur 1141
Skip side bar filters
  • Mathematical Thinking - For People Who Hate Math

    Level Up Your Analytical and Creative Thinking Skills. Excel at Problem-Solving and Decision-Making.

    Struggling with math? Are numbers your #1 enemy?Learn the EXACT thinking tools the top mathematicians use to utilize their math skills in real life and radically change how you shop, save, and think!Achieve your full potential with unlocking your mathematical mind – even if you think you don’t have one.Math is taught in a dull, authoritarian, and limited way. You either know how to do the ... En savoir plus

    4,33 € ou Gratuit avec Kobo Plus

  • Nondeductive Inference

    Collection series Routledge Library Editions: Logic
    Originally published in 1966. An introduction to current studies of kinds of inference in which validity cannot be determined by ordinary deductive models. In particular, inductive inference, predictive inference, statistical inference, and decision making are examined in some detail. The last chapter discusses the relationship of these forms of inference to philosophical notions of rationality ... En savoir plus

    41,40 €

  • Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

    Collection series Mathematics and Statistics (R0)
    The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general ... En savoir plus

    46,34 €

  • Logic with a Probability Semantics

    The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to ... En savoir plus

    67,35 €

  • How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers

    'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The ... En savoir plus

    73,43 €

  • The Rohonc Code

    Tracing a Historical Riddle

    First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the Phaistos Disk, and Linear A. Written entirely in cipher, this 400-year-old, 450-page-long, richly illustrated manuscript initially gained considerable attention but was later dismissed as an apparent ... En savoir plus

    16,78 €

  • Attack-and-Defense Games for Control Systems

    Analysis and Synthesis

    This vital work for researchers and graduate students focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender game theory. It presents attack and defense strategies and describes the design and resilience of control systems to withstand cyberattacks.Complex control systems, including cyber-physical and cloud control systems, are in open network ... En savoir plus

    207,06 €

  • Ludwig Wittgenstein: Dictating Philosophy

    To Francis Skinner – The Wittgenstein-Skinner Manuscripts

    Collection series Philosophy and Religion (R0)
    In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy. The book includes key explanations of the origin and background of these previously unknown manuscripts. It investigates how Wittgenstein’s philosophical thought-processes are revealed in his dictation to, as well as his editing and revision with Francis Skinner, in the latter’s ... En savoir plus

    41,70 €

  • Combinatorial Set Theory

    With a Gentle Introduction to Forcing

    Collection series Mathematics and Statistics (R0)
    This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent ... En savoir plus

    139,04 €

  • Kurt Gödel

    The Genius of Metamathematics

    Collection series Mathematics and Statistics (R0)
    During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then for his Habilitation (Dr.Sci.), he wrote earthshaking articles on the completeness and provability of mathematical-logical systems, upsetting the hypotheses of the most famous mathematicians/philosophers ... En savoir plus

    50,97 €

  • Kripke’s Worlds

    An Introduction to Modal Logics via Tableaux

    Collection series Mathematics and Statistics (R0)
    Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, ... En savoir plus

    78,78 €

  • Introduction to Modern Cryptography

    Collection series Chapman & Hall/CRC Cryptography and Network Security Series
    Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security. ... En savoir plus

    136,07 €

  • The Mathematics of Paul Erdős II

    Collection series Mathematics and Statistics (R0)
    This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes. ... En savoir plus

    212,27 €

  • A Course on Mathematical Logic

    Collection series Mathematics and Statistics (R0)
    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... En savoir plus

    60,24 €

  • The Lifebox, the Seashell, and the Soul

    par Rudy Rucker ...
    A playful and profound survey of the concept of computation across the entire spectrum of human thought—written by a mathematician novelist who spent twenty years as a Silicon Valley computer scientist. The logic is correct, and the conclusions are startling. Simple rules can generate gnarly patterns. Physics obeys laws, but the outcomes aren't predictable. Free will is real. The mind is like a ... En savoir plus

    7,49 €

  • Scientific Philosophy

    Collection series Physics and Astronomy (R0)
    This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way.The book has two parts: one with the general theory and a second part ... En savoir plus

    74,15 €

  • Discrete Mathematics and Graph Theory

    A Concise Study Companion and Guide

    par K. Erciyes ...
    Collection series Computer Science (R0)
    This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula.The study of discrete mathematics is ... En savoir plus

    32,43 €

  • The Logical Foundations of Nonstandard Analysis

    With Applications to Economic Theory

    Collection series Philosophy and Religion (R0)
    This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory. Starting from scratch, from Ackermann's set theory, it moves carefully to Boolean algebra, first order logic, ultraproducts, nonstandard universes, the system of hyper-real numbers, nonstandard analysis proper (including a disquisition on topology relevant for ... En savoir plus

    129,77 €

  • Belief Revision in Non-Classical Logics

    Collection series Computer Science (R0)
    Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of ... En savoir plus

    46,34 €

  • A Protocol-theoretic Framework for the Logic of Epistemic Norms

    par Ralph Jenkins ...
    Collection series Philosophy and Religion (R0)
    This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic ... En savoir plus

    83,42 €

  • Das Primzahlensystem

    Ursache und Wirkung

    par P. J. Kaluza ...
    Collection Livre 1 - contrived.de
    Es wird eine Systemtabelle erstellt mit der die Ursache der Primzahlen erkennbar, nachvollziehbar wird. Empfohlen für eki (emotionale künstliche Intelligenz) und alle anderen Zahleninteressierten. ... En savoir plus

    2,99 €

  • The Rise of Modern Logic: from Leibniz to Frege

    Modifié par Dov M. Gabbay, John Woods ...
    Collection Livre 3 - Handbook of the History of Logic
    With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware ... En savoir plus

    198,06 €

  • Reasoning Web. Declarative Artificial Intelligence

    17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

    Modifié par Mantas Šimkus, Ivan Varzinczak ...
    Collection series Computer Science (R0)
    The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school ... En savoir plus

    74,15 €

  • Canonical Ramsey Theory on Polish Spaces

    Collection Livre 202 - Cambridge Tracts in Mathematics
    This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has ... En savoir plus

    119,37 €