Profil
Mes achats
Découvrez plus de 300 000 ebooks aux formats pdf epub, audio en telechargement ou en lecture streaming. Nous vous avons sélectionné nos coups de cœur toutes categories confondues et mettons en avant l'actualité de la litterature française et internationale.
voir toutes les nouveautés
Nouveautés de la semaine
Recherche avancée
This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of...
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...
Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens. Sie scheint unverzichtbar, selbstverständlich und immer schon...
This is the first of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary languages and related problems in the intersection of model theory and combinatorics. Researchers and graduate students in the...
This is the second of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary languages and related problems in the intersection of model theory and combinatorics. Researchers and graduate students in...
Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to...
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of...
The language of 8-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an 8-category is requires various technical models, raising the question of how...
Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries....
This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its...
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also...
The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although category-theoretic methods are now widely used by mathematicians, since (co)ends lie just beyond a...
Dieses Buch widmet sich ausgewählten grundlegenden Begriffen, und zwar im Zusammenhang mit fundamentalen Ideen, beschränkt auf Struktur (Logik, Mengen, Axiomatik, algebraische Strukturen, Gleichungen), Funktion (verallgemeinert: Relation) und Zahl (von den...
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as...
Constraint Satisfaction Problems (CSPs) are natural computational problems that appear in many areas of theoretical computer science. Exploring which CSPs are solvable in polynomial time and which are NP-hard reveals a surprising link with central questions in universal...
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...
The global biodiversity crisis is one of humanity's most urgent problems, but even quantifying biological diversity is a difficult mathematical and conceptual challenge. This book brings new mathematical rigour to the ongoing debate. It was born of research in category...
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Large Cardinals, Determinacy and Other Topics is the final volume in a series of four books collecting the seminal papers from the original volumes together...
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der...
This quick yet detailed introduction to set theory and forcing builds the reader's intuition about it as much as the mathematical detail. Intuition, rather absent from the existing literature on the subject, here plays a large role. The reader will not only learn the...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Restez informé(e) des événements et promotions ebook
Paiements sécurisés