Hyppää sisältöön

MDS511.3092

Sanallinen kuvaus: Natural sciences and mathematicsMathematicsGeneral PrinciplesMathematical (Symbolic) logicTieto puuttuuTieto puuttuuTieto puuttuu

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.300 1	511.301	511.302 7	511.303 1	511.304	511.305	511.306	511.307 2	511.308	511.309 18
511.3090	511.3091	511.3092 17	511.3093	511.3094	511.3095	511.3096	511.3097	511.3098	511.3099
511.30920	511.30921	511.30922 2	511.30923	511.30924 5	511.30925	511.30926	511.30927	511.30928	511.30929

Selected Works under MDS 511.3092 (17)

Piergiorgio Odifreddi racconta Gödel e Turing. La nascita del computer e la società dell'informazione (tekijä: Piergiorgio Odifreddi)

The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory of Relatives (tekijä: Calixto Badesa)

Collected papers. 2, 1935 - 1944 (tekijä: Alfred Tarski)

Sotto il segno di Gödel (tekijä: Gabriele Lolli)

After Godel: Platonism and Rationalism in Mathematics and Logic (tekijä: Richard Tieszen)

Memoirs of a Proof Theorist: Godel and Other Logicians (tekijä: Gaisi Takeuti)

Incompletezza. Saggio su Kurt Gödel (tekijä: Gabriele Lolli)

Godel. L'eccentrica vita di un genio (tekijä: Werner Depauli John L. Casti)

The Boole-DeMorgan Correspondence, 1842-1864 (Oxford Logic Guides) (tekijä: G. C. Smith)

After Gödel: Platonism and Rationalism in Mathematics and Logic (tekijä: Richard L. Tieszen)

George Boole. Filosofia, logica, matematica (tekijä: Evandro Agazzi)

Studies in the Scientific and Mathematical Philosophy of Charles S. Pierce (tekijä: Carolyn Eisele)

Kurt Gödel: The Genius of Metamathematics (Springer Biographies) (tekijä: William D. Brewer)

After Godel (tekijä: Richard Tieszen)

Logica e linguaggio nella filosofia di George Boole (tekijä: Modestino Nuzzetti)

Teokset Kansikuvat

Tähän liittyviä avainsanoja

- Capire la scienza (La Repubblica) (1) 101 (1) Biblioteca Cerroni (1) Divulgazione e saggistica matematica (1) Elämäkerta (1) fail_1 (1) Filosofia (2) George Boole (1) Historia (2) informatica (3) Italia (1) kontoret (1) LOGICA SIMBOLICA (LOGICA MATEMATICA). Persone (1) Logiikka (4) luettavaksi (1) Maahantuonti (1) Malliteoria (2) man001b (1) mansarda (1) Matematiikan filosofia (1) Matematiikka (9) mathematical logic (1) Nl (1) ohiolink (1) Peter5L (1) Philosophy/Logic (1) SC05 (1) Scienze|biografie (1) Teknologia (1) Tiede (5) Tieteen popularisointi (1) Tieteenfilosofia (1) Tietojenkäsittelytiede (1) Tietokirjallisuus (4) Tietokone (1) utlånad (1)

Avainsanojen kääntäminen toiminnassa

"Far Friends"

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

-

Sanallinen kuvaus

1922 laitos

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

Tämä sivusto käyttää evästeitä palvelujen toimittamiseen, toiminnan parantamiseen, analytiikkaan ja (jos et ole kirjautunut sisään) mainostamiseen. Käyttämällä LibraryThingiä ilmaiset, että olet lukenut ja ymmärtänyt käyttöehdot ja yksityisyydensuojakäytännöt. Sivujen ja palveluiden käytön tulee olla näiden ehtojen ja käytäntöjen mukaista.