SDM511.3

Libellé: SCIENCES DE LA NATURE ET MATHEMATIQUESMathématiquesPrincipes générauxMathematical (Symbolic) logic

Dewmoji: 🔬???

0 INFORMATIQUE, INFORMATION, OUVRAGES GENERAUX 216,948 ℹ️	1 PHILOSOPHIE, PARAPSYCHOLOGIE ET OCCULTISME, PSYCHOLOGIE 229,419 💭	2 RELIGION 562,779 🙏	3 SCIENCES SOCIALES 1,169,921 👫	4 LANGUES 177,109 💬	5 SCIENCES DE LA NATURE ET MATHEMATIQUES 380,441 🔬	6 TECHNOLOGIE 844,132 💡	7 ARTS, LOISIRS ET SPORTS 857,504 🎨	8 LINGUISTIQUE - LITTÉRATURE 1,201,263 📚	9 HISTOIRE ET GÉOGRAPHIE 703,933 🗺️
50 Généralités sur les sciences de la nature et les mathématiques 30,392 🔬	51 Mathématiques 73,720 ➗	52 Astronomie et sciences connexes 21,519 🔭	53 Physique 38,941 🍎	54 Chimie et sciences connexes 25,962 ⚗️	55 Sciences de la Terre 32,170 🌎	56 Paléontologie. Paléobotanique. Paléozoologie 9,345 💀	57 Sciences de la vie. Biologie 50,256 🧬	58 Plantes. Botanique 22,401 🌿	59 Animaux. Zoologie 75,735 🐼
510 Mathématiques générales 19,038 ➗	511 Principes généraux 5,977 📐	512 Algèbre 8,831 +	513 Arithmétique 5,822 🔢	514 Topologie 3,050 🍩	515 Analyse 10,614 Σ	516 Géométrie 5,484 ⚫	517 Calcul 1,187 ∫	518 Analyse numérique 897 💻	519 Mathématiques appliquées, probabilités 12,820 📊
511.0 Arithmetic 25	511.1 Finite Mathematics 75	511.2 Mathematical Systems 51	511.3 Mathematical (Symbolic) logic 2,340	511.4 Approximation Theory 295	511.5 Graph Theory 570	511.6 Combinatorics 549	511.7 Involution and evolution 8	511.8 Modeling And Simulation 376	511.9 Problems and tables 32
511.30 29	511.31 Fuzzy Logic 39	511.32 230	511.33 74	511.34 Finite Model Theory 13	511.35 Theory Of Computation 44	511.36 Proof Theory 38	511.37	511.38	511.39

Oeuvres sélectionnées sous MDS 511.3 (2,340)

Tout et plus encore : Une histoire compacte de l'infini par David Foster Wallace

Le Théorème de Gödel par Ernest Nagel

Infinity and the Mind: The Science and Philosophy of the Infinite par Rudy Rucker

Introduction to the Theory of Computation par Michael Sipser

In Pursuit of the Unknown: 17 Equations That Changed the World par Ian Stewart

The Mystery of the Aleph: Mathematics, the Kabbalah, and the Search for Infinity par Amir D. Aczel

Introduction to Automata Theory, Languages, and Computation par John E. Hopcroft

How to Prove It: A Structured Approach par Daniel J. Velleman

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine par Charles Petzold

Proofs and Refutations: The Logic of Mathematical Discovery par Imre Lakatos

On Formally Undecidable Propositions of Principia Mathematica and Related Systems par Kurt Gödel

Computability and Logic par George S. Boolos

To Infinity and Beyond: A Cultural History of the Infinite par Eli Maor

Introduction à la logique par Alfred Tarski

Naive Set Theory par Paul R. Halmos

Seaweed Soup par Stuart J. Murphy

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes par Daniel Solow

Three Little Firefighters par Stuart J. Murphy

Symbolic Logic par Irving M. Copi

Equal Shmequal par Virginia Kroll

Sorting (Math Counts) par Henry Arthur Pluckrose

Laws of Form par G. Spencer-Brown

A Mathematical Introduction to Logic par Herbert B. Enderton

Q.E.D.: Beauty in Mathematical Proof (Wooden Books) par Burkard Polster

Forever Undecided: A Puzzle Guide to Godel par Raymond Smullyan

More or Less a Mess (Hello Reader Math) par Sheila Keenan

Beginning Logic par E. J. Lemmon

Beyond Infinity: An Expedition to the Outer Limits of Mathematics par Eugenia Cheng

First-Order Logic par Raymond Smullyan

Euclid in the Rainforest: Discovering Universal Truth in Logic and Math par Joseph Mazur

Elements of the Theory of Computation par Harry R. Lewis

Dave's Down-to-Earth Rock Shop par Stuart J. Murphy

Introduction to Mathematical Logic par Elliott Mendelson

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse par Torkel Franzén

An Introduction to Non-Classical Logic: From If to Is par Graham Priest

Computability and Unsolvability par Martin Davis

Axiomatic Set Theory par Patrick Suppes

Principia Mathematica to *56 par Alfred North Whitehead

Basic Category Theory for Computer Scientists par Benjamin C. Pierce

Lewis Carroll's Symbolic Logic par Lewis Carroll

Logic: Techniques of Formal Reasoning par Donald Kalish

What is Mathematical Logic? par Christopher J. Ash

More, Fewer, Less par Tana Hoban

An Introduction to Formal Languages and Automata par Peter Linz

Computational Complexity par Christos H. Papadimitriou

Elementary Logic par Benson Mates

Mathematical Fallacies and Paradoxes par Bryan Bunch

Set Theory and Its Philosophy: A Critical Introduction par Michael Potter

Metalogic: An Introduction to the Metatheory of Standard First Order Logic par Geoffrey Hunter

Liz Sorts It Out par Tracey West

Titres Couvertures

Mots-clés connexes

A lire (993) Algorithmique (45) Algèbre (43) automata (35) Biographie (55) Calculabilité (51) Casse-tête (39) cellular automata (29) Complexité (56) Compte (52) computation (44) CS (32) Fiction (37) Fondements des mathématiques (34) Godel (102) Goodreads (53) Histoire (163) Histoire des mathématiques (70) Histoire des sciences (42) incompleteness (30) Infini (220) Informatique (84) Informatique (676) Informatique théorique (38) Kabbale (34) Langage formel (48) Liste de souhaits (52) livre d'images (74) Livre de poche (36) Livre électronique (55) Logique (1,780) Logique mathématique (146) Lu (50) Manuel scolaire (206) Mathématiques (4,720) nombres (54) Non lu (80) non-fiction (882) Ordinateur (43) Ordinateurs (81) Philosophie (905) Philosophie des mathématiques (96) Philosophie des sciences (37) Physique (62) popular mathematics (31) Possédé (60) Programmation (98) Proof (53) proofs (62) REF (32) Science (543) Set Theory and Logic (32) sets (30) sorting (123) theory of computation (37) Théorie (52) Théorie de la démonstration (27) Théorie des catégories (59) Théorie des ensembles (409) Vulgarisation (54)

Traduction des mots-clés activée

"Amis lointains"

Les classes CDM avec un important chevauchement des recommandations, excluant celles de la même classe qu'une de niveau supérieur.

SDM: Programme
160: Philosophy and PsychologyLogicLogic
16X: Philosophy and PsychologyLogic
005.1: InformationComputing and InformationComputer programming, programs, data, securityProgramming
005: InformationComputing and InformationComputer programming, programs, data, security
00X: InformationComputing and Information
1XX: Philosophy and Psychology
0XX: Information

Libellé

Édition de 1922

Langue moderne

Emoji

SDM511.3

Libellé: SCIENCES DE LA NATURE ET MATHEMATIQUESMathématiquesPrincipes générauxMathematical (Symbolic) logic

Dewmoji: 🔬???

Oeuvres sélectionnées sous MDS 511.3 (2,340)

Mots-clés connexes

"Amis lointains"

Libellé

What is the MDS?

Genres associés

Genres

Supergenres

Classifications associées LC