Spring til hovedindhold

MDS511.36

Ordlyd: Natural sciences and mathematicsMathematicsGeneral PrinciplesMathematical (Symbolic) logicProof Theory

Dewmoji: ?????

0 Information 216,948 ℹ️	1 Philosophy and Psychology 229,419 💭	2 Religions 562,779 🙏	3 Social sciences 1,169,921 👫	4 Language 177,109 💬	5 Natural sciences and mathematics 380,441 🔬	6 Technology 844,132 💡	7 The arts 857,504 🎨	8 Literature 1,201,263 📚	9 History and Geography 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
511.360 7	511.361	511.362	511.363	511.364	511.365	511.366	511.367	511.368	511.369

Selected Works under MDS 511.36 (38)

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

Book of Proof af Richard Hammack

Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series) af Jay Cummings

Math Proofs DeMYSTiFieD af Stan Gibilisco

The Story of Proof: Logic and the History of Mathematics af John Stillwell

Tracking Reason: Proof, Consequence, and Truth af Jody Azzouni

Proof and the Art of Mathematics af Joel David Hamkins

Proof Theory: The First Step into Impredicativity af Wolfram Pohlers

The Proof is in the Pudding: The Changing Nature of Mathematical Proof af Steven G. Krantz

The History of Mathematical Proof in Ancient Traditions af Karine Chemla

The Meaning of Proofs: Mathematics as Storytelling af Gabriele Lolli

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides) af Laura Crosilla

An Introduction to Proof through Real Analysis af Daniel J. Madden

Linear logic in computer science af Thomas Ehrhard

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs af Paolo Mancosu

Introduction to Proof in Abstract Mathematics (Dover Books on Mathematics) af Andrew Wohlgemuth

Proof Patterns af Mark Joshi

The Blind Spot: Lectures on Logic af Jean-Yves Girard

Writing Proofs in Analysis af Jonathan M. Kane

Apartness and Uniformity A Constructive Development af Douglas S. Bridges

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings af Konrad Slind

Proving in the elementary mathematics classroom af Andreas J. Stylianides

Proof-theoretic Semantics af Nissim Francez

L. E. J. Brouwer - van Mystiek tot wiskunde af D. van Dalen

Proof in Mathematics Education: Research, Learning and Teaching af David A. Reid

Building Proofs af David Stewart

Writing proofs af Tim Hsu

How to write proofs af Larry W. Cusick

A guide to proof writing af Ron Morash

A Spiral Workbook for Discrete Mathematics af Harris Kwong

Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings af Amy Felty

Relaterede nøgleord

_to_sort (1) antiquity (1) bag (1) beauty (3) book (2) Box 4 (1) calibre (1) computer science (1) dino (1) dont-track-reading (2) E (2) ebog (3) ejer (2) essays (1) faglitteratur (15) filosofi (8) gedownload boek (2) general mathematics (1) geometry (2) global analysis (1) Goodreads (2) greadsimport (1) Grækenland (1) hardback (3) historie (3) history of mathematics (2) history of science (1) illustreret (2) Indien (1) information theory (1) Kina (1) kunst (2) li_3 (1) LOC-TO-FILE-0-0 (2) logic (15) LS31 (1) LT2 (1) matematik (143) math.GM (1) mathematical proof (3) mathematical proofs (1) mathematics education (1) official (1) paperback (2) PDF (3) Princeton (1) programmering (2) proof (13) proof theory (7) proofs (14) prove (2) self-study (2) Shelfmark 511.36 M (1) Skal læses (24) symbolic and mathematical logic (1) Teacher Resources: Math: Multiplication & Division (1) ulæst (3) videnskab (7) Wooden Books (12) ønskeliste (2)

Oversættelse af emneord aktiv

"Far Friends"

MDS classes with significant recommendations overlap, excluding ones under the same top-level class.

Ingen

Ordlyd

1922 udgaven

Modern Language

Emoji

What is the MDS?

The Melvil Decimal System (MDS) is named after Melvil Dewey, whose Dewey Decimal System is used by libraries around the world.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.