MDS511.3

Woordgebruik: Natuurwetenschappen en WiskundeMathematicsGeneral PrinciplesMathematical (Symbolic) logic

Dewmoji: ????

0 Informatie 216,948 ℹ️	1 Filosofie en Psychologie 229,419 💭	2 Religies 562,779 🙏	3 Sociale wetenschappen 1,169,921 👫	4 Taal 177,109 💬	5 Natuurwetenschappen en Wiskunde 380,441 🔬	6 Technologie en Toegepaste kennis 844,132 💡	7 Kunst en Recreatie 857,504 🎨	8 Literatuur 1,201,263 📚	9 Geschiedenis en Aardrijkskunde 703,933 🗺️
50 General Science 30,392 🔬	51 Mathematics 73,720 ➗	52 Astronomy 21,519 🔭	53 Physics 38,941 🍎	54 Chemistry 25,962 ⚗️	55 Earth sciences & geology 32,170 🌎	56 Fossils & prehistoric life 9,345 💀	57 Life Sciences, Biology 50,256 🧬	58 Plants 22,401 🌿	59 Zoology 75,735 🐼
510 General Mathematics 19,038 ➗	511 General Principles 5,977 📐	512 Algebra 8,831 +	513 Arithmetic 5,822 🔢	514 Topology 3,050 🍩	515 Analysis 10,614 Σ	516 Geometry 5,484 ⚫	517 Calculus 1,187 ∫	518 Numerical analysis 897 💻	519 Applied Mathematics, Probabilities 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

Geselecteerde werken in MDS 511.3 (2,340)

Everything and More: A Compact History of Infinity door David Foster Wallace

De stelling van Gödel door Ernest Nagel

Oneindigheid filosofie en wetenschap van het oneindige door Rudy Rucker

Introduction to the Theory of Computation door Michael Sipser

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

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

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

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

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

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

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

Computability and Logic door George S. Boolos

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

Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen door Alfred Tarski

Naive Set Theory door Paul R. Halmos

Seaweed Soup door Stuart J. Murphy

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

Three Little Firefighters door Stuart J. Murphy

Symbolic Logic door Irving M. Copi

Equal Shmequal door Virginia Kroll

Sorting (Math Counts) door Henry Arthur Pluckrose

Laws of Form door G. Spencer-Brown

A Mathematical Introduction to Logic door Herbert B. Enderton

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

Forever Undecided: A Puzzle Guide to Godel door Raymond Smullyan

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

Moderne Logica door E. J. Lemmon

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

First-Order Logic door Raymond Smullyan

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

Elements of the Theory of Computation door Harry R. Lewis

Introduction to Mathematical Logic door Elliott Mendelson

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

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

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

Computability and Unsolvability door Martin Davis

Axiomatic Set Theory door Patrick Suppes

Principia Mathematica to *56 door Alfred North Whitehead

Basic Category Theory for Computer Scientists door Benjamin C. Pierce

Lewis Carroll's Symbolic Logic door Lewis Carroll

Logic: Techniques of Formal Reasoning door Donald Kalish

What is Mathematical Logic? door Christopher J. Ash

More, Fewer, Less door Tana Hoban

An Introduction to Formal Languages and Automata door Peter Linz

Computational Complexity door Christos H. Papadimitriou

Elementary Logic door Benson Mates

Mathematical Fallacies and Paradoxes door Bryan Bunch

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

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

Liz Sorts It Out door Tracey West

Titels Omslagen

Gerelateerde trefwoorden

Algebra (43) Algoritme (45) automata (35) Berekenbaarheid (51) Bewijstheorie (27) Biografie (55) Categorietheorie (59) cellular automata (29) Complexiteit (56) computation (44) Computer (43) Computers (81) CS (32) E-boek (55) Fictie (37) Filosofie (905) Filosofie van de wiskunde (96) Formele taal (48) gelezen (50) Geschiedenis (163) Geschiedenis van de wiskunde (70) Getallen (54) Goodreads (53) Grondslagen van de wiskunde (34) in bezit (60) incompleteness (30) Informatica (84) Informatica (676) Kabbala (34) Kurt Gödel (102) Leerboek (206) Logica (1,780) naslagwerk (32) Natuurkunde (62) Non-fictie (882) Oneindigheid (220) ongelezen (80) Paperback (36) Populaire wetenschap (54) popular mathematics (31) prentenboek (74) Programmeren (98) Proof (53) proofs (62) puzzels (39) Serie (30) Set Theory and Logic (32) Sorteren (123) te lezen (993) Tellen (52) Theoretische informatica (38) Theorie (52) theory of computation (37) Verlanglijst (52) Verzamelingenleer (409) Wetenschap (543) Wetenschapsfilosofie (37) Wetenschapsgeschiedenis (42) Wiskunde (4,720) Wiskundige logica (146)

Trefwoordvertaling ingeschakeld

"Verre vrienden"

MDS-klassen met aanzienlijke aanbevelingsoverlap, uitgezonderd die dezelfde hoofdklasse hebben.

MDS: Planning
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

Woordgebruik

Editie uit 1922

Moderne taal

Emoji

MDS511.3

Woordgebruik: Natuurwetenschappen en WiskundeMathematicsGeneral PrinciplesMathematical (Symbolic) logic

Dewmoji: ????

Geselecteerde werken in MDS 511.3 (2,340)

Gerelateerde trefwoorden

"Verre vrienden"

Woordgebruik

Wat is het MDS?

Gerelateerde genres

Genres

Supergenres

Gerelateerde LC-classificaties