Search (3765 results, page 2 of 189)

  1. Piros, A.: Az ETO-jelzetek automatikus interpretálásának és elemzésének kérdései (2018) 0.10
    0.0966902 = product of:
      0.1933804 = sum of:
        0.0483451 = product of:
          0.1450353 = sum of:
            0.1450353 = weight(_text_:3a in 855) [ClassicSimilarity], result of:
              0.1450353 = score(doc=855,freq=2.0), product of:
                0.30967396 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.036526725 = queryNorm
                0.46834838 = fieldWeight in 855, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=855)
          0.33333334 = coord(1/3)
        0.1450353 = weight(_text_:2f in 855) [ClassicSimilarity], result of:
          0.1450353 = score(doc=855,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.46834838 = fieldWeight in 855, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0390625 = fieldNorm(doc=855)
      0.5 = coord(2/4)
    
    Content
    Vgl. auch: New automatic interpreter for complex UDC numbers. Unter: <https%3A%2F%2Fudcc.org%2Ffiles%2FAttilaPiros_EC_36-37_2014-2015.pdf&usg=AOvVaw3kc9CwDDCWP7aArpfjrs5b>
  2. Gabler, S.: Vergabe von DDC-Sachgruppen mittels eines Schlagwort-Thesaurus (2021) 0.10
    0.0966902 = product of:
      0.1933804 = sum of:
        0.0483451 = product of:
          0.1450353 = sum of:
            0.1450353 = weight(_text_:3a in 1000) [ClassicSimilarity], result of:
              0.1450353 = score(doc=1000,freq=2.0), product of:
                0.30967396 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.036526725 = queryNorm
                0.46834838 = fieldWeight in 1000, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=1000)
          0.33333334 = coord(1/3)
        0.1450353 = weight(_text_:2f in 1000) [ClassicSimilarity], result of:
          0.1450353 = score(doc=1000,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.46834838 = fieldWeight in 1000, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0390625 = fieldNorm(doc=1000)
      0.5 = coord(2/4)
    
    Content
    Master thesis Master of Science (Library and Information Studies) (MSc), Universität Wien. Advisor: Christoph Steiner. Vgl.: https://www.researchgate.net/publication/371680244_Vergabe_von_DDC-Sachgruppen_mittels_eines_Schlagwort-Thesaurus. DOI: 10.25365/thesis.70030. Vgl. dazu die Präsentation unter: https://www.google.com/url?sa=i&rct=j&q=&esrc=s&source=web&cd=&ved=0CAIQw7AJahcKEwjwoZzzytz_AhUAAAAAHQAAAAAQAg&url=https%3A%2F%2Fwiki.dnb.de%2Fdownload%2Fattachments%2F252121510%2FDA3%2520Workshop-Gabler.pdf%3Fversion%3D1%26modificationDate%3D1671093170000%26api%3Dv2&psig=AOvVaw0szwENK1or3HevgvIDOfjx&ust=1687719410889597&opi=89978449.
  3. Stock, W.G.: Semantische Vagheiten im Lichte der dreiwertigen Logik, der Superbewertung und der unscharfen Logik (1988) 0.09
    0.09234108 = product of:
      0.36936432 = sum of:
        0.36936432 = weight(_text_:logik in 2730) [ClassicSimilarity], result of:
          0.36936432 = score(doc=2730,freq=4.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.4872916 = fieldWeight in 2730, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.109375 = fieldNorm(doc=2730)
      0.25 = coord(1/4)
    
  4. Huo, W.: Automatic multi-word term extraction and its application to Web-page summarization (2012) 0.09
    0.09197005 = product of:
      0.1839401 = sum of:
        0.17404236 = weight(_text_:2f in 563) [ClassicSimilarity], result of:
          0.17404236 = score(doc=563,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 563, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=563)
        0.009897733 = product of:
          0.0296932 = sum of:
            0.0296932 = weight(_text_:22 in 563) [ClassicSimilarity], result of:
              0.0296932 = score(doc=563,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = queryNorm
                0.23214069 = fieldWeight in 563, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.046875 = fieldNorm(doc=563)
          0.33333334 = coord(1/3)
      0.5 = coord(2/4)
    
    Content
    A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Master of Science in Computer Science. Vgl. Unter: http://www.inf.ufrgs.br%2F~ceramisch%2Fdownload_files%2Fpublications%2F2009%2Fp01.pdf.
    Date
    10. 1.2013 19:22:47
  5. Bezzel, C.: Wittgenstein zur Einführung (1988) 0.08
    0.08122135 = product of:
      0.1624427 = sum of:
        0.14924572 = weight(_text_:logik in 4890) [ClassicSimilarity], result of:
          0.14924572 = score(doc=4890,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            0.60095656 = fieldWeight in 4890, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0625 = fieldNorm(doc=4890)
        0.013196978 = product of:
          0.039590932 = sum of:
            0.039590932 = weight(_text_:22 in 4890) [ClassicSimilarity], result of:
              0.039590932 = score(doc=4890,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = queryNorm
                0.30952093 = fieldWeight in 4890, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0625 = fieldNorm(doc=4890)
          0.33333334 = coord(1/3)
      0.5 = coord(2/4)
    
    Abstract
    Ludwig Wittgenstein hat bis heute seinen Interpreten Rätsel aufgegeben. Die komplexe Einheit seines Werkes, das sämtlich Formen menschlicher Zeichenpraxis einbezieht, ist zumeist unerkannt geblieben und auf einzelne Theoreme der Sprachanalyse und Logik reduziert worden. Der Autor rekonstruiert in Grundzügen die Einheit des Werkes von Wittgenstein aus dem Gehalt seiner Texte. Als wichtigstes Ergebnis zeigt sich die Destruktion jeder System-Philosophie zugunsten eines radikal handlungstheoretischen Denkens. Veränderungen der individuellen wie kulturellen Lebenspraxis wird zum utopischen Ziel jenseits der 'Philosophie'
    Date
    15. 7.2000 14:03:22
  6. Stojanovic, N.: Ontology-based Information Retrieval : methods and tools for cooperative query answering (2005) 0.08
    0.077352166 = product of:
      0.15470433 = sum of:
        0.038676083 = product of:
          0.11602824 = sum of:
            0.11602824 = weight(_text_:3a in 701) [ClassicSimilarity], result of:
              0.11602824 = score(doc=701,freq=2.0), product of:
                0.30967396 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.036526725 = queryNorm
                0.3746787 = fieldWeight in 701, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.03125 = fieldNorm(doc=701)
          0.33333334 = coord(1/3)
        0.11602824 = weight(_text_:2f in 701) [ClassicSimilarity], result of:
          0.11602824 = score(doc=701,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.3746787 = fieldWeight in 701, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.03125 = fieldNorm(doc=701)
      0.5 = coord(2/4)
    
    Content
    Vgl.: http%3A%2F%2Fdigbib.ubka.uni-karlsruhe.de%2Fvolltexte%2Fdocuments%2F1627&ei=tAtYUYrBNoHKtQb3l4GYBw&usg=AFQjCNHeaxKkKU3-u54LWxMNYGXaaDLCGw&sig2=8WykXWQoDKjDSdGtAakH2Q&bvm=bv.44442042,d.Yms.
  7. Bühler, A.: Einführung in die Logik : Argumentation und Folgerung (1992) 0.07
    0.07462286 = product of:
      0.29849145 = sum of:
        0.29849145 = weight(_text_:logik in 6139) [ClassicSimilarity], result of:
          0.29849145 = score(doc=6139,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.2019131 = fieldWeight in 6139, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.125 = fieldNorm(doc=6139)
      0.25 = coord(1/4)
    
  8. Bühler, A.: ¬Die Logik kognitiver Sätze (1983) 0.07
    0.07462286 = product of:
      0.29849145 = sum of:
        0.29849145 = weight(_text_:logik in 6140) [ClassicSimilarity], result of:
          0.29849145 = score(doc=6140,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.2019131 = fieldWeight in 6140, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.125 = fieldNorm(doc=6140)
      0.25 = coord(1/4)
    
  9. Axelos, C.; Flasch, K.; Schepers, H.; Kuhlen, R.; Romberg, R.; Zimmermann, R.: Allgemeines/Besonderes (1971-2007) 0.07
    0.07178881 = product of:
      0.28715524 = sum of:
        0.28715524 = weight(_text_:2f in 4031) [ClassicSimilarity], result of:
          0.28715524 = score(doc=4031,freq=4.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.92728245 = fieldWeight in 4031, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0546875 = fieldNorm(doc=4031)
      0.25 = coord(1/4)
    
    Footnote
    DOI: 10.24894/HWPh.5033. Vgl. unter: https://www.schwabeonline.ch/schwabe-xaveropp/elibrary/start.xav#__elibrary__%2F%2F*%5B%40attr_id%3D%27verw.allgemeinesbesonderes%27%5D__1515856414979.
  10. Handbuch der Künstlichen Intelligenz (2003) 0.07
    0.07106868 = product of:
      0.14213736 = sum of:
        0.13059 = weight(_text_:logik in 2916) [ClassicSimilarity], result of:
          0.13059 = score(doc=2916,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            0.525837 = fieldWeight in 2916, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0546875 = fieldNorm(doc=2916)
        0.011547356 = product of:
          0.034642067 = sum of:
            0.034642067 = weight(_text_:22 in 2916) [ClassicSimilarity], result of:
              0.034642067 = score(doc=2916,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = queryNorm
                0.2708308 = fieldWeight in 2916, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=2916)
          0.33333334 = coord(1/3)
      0.5 = coord(2/4)
    
    Abstract
    Das Handbuch der Künstlichen Intelligenz bietet die umfassendste deutschsprachige Übersicht über die Disziplin "Künstliche Intelligenz". Es vereinigt einführende und weiterführende Beiträge u.a. zu folgenden Themen: - Kognition - Neuronale Netze - Suche, Constraints - Wissensrepräsentation - Logik und automatisches Beweisen - Unsicheres und vages Wissen - Wissen über Raum und Zeit - Fallbasiertes Schließen und modellbasierte Systeme - Planen - Maschinelles Lernen und Data Mining - Sprachverarbeitung - Bildverstehen - Robotik - Software-Agenten Das Handbuch bietet eine moderne Einführung in die Künstliche Intelligenz und zugleich einen aktuellen Überblick über Theorien, Methoden und Anwendungen.
    Date
    21. 3.2008 19:10:22
  11. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.07
    0.07008197 = product of:
      0.14016394 = sum of:
        0.13191584 = weight(_text_:logik in 3100) [ClassicSimilarity], result of:
          0.13191584 = score(doc=3100,freq=4.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            0.5311756 = fieldWeight in 3100, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
        0.008248111 = product of:
          0.024744334 = sum of:
            0.024744334 = weight(_text_:22 in 3100) [ClassicSimilarity], result of:
              0.024744334 = score(doc=3100,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = queryNorm
                0.19345059 = fieldWeight in 3100, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=3100)
          0.33333334 = coord(1/3)
      0.5 = coord(2/4)
    
    BK
    31.10 Mathematische Logik Mengenlehre
    Classification
    31.10 Mathematische Logik Mengenlehre
    Date
    8. 9.2016 22:04:09
  12. Poundstone, W.: Im Labyrinth des Denkens : Wenn Logik nicht weiterkommt: Paradoxien, Zwickmühlen, Sackgassen, Rätsel, und die Hinfälligkeit des Wissens (1992) 0.07
    0.06995893 = product of:
      0.27983573 = sum of:
        0.27983573 = weight(_text_:logik in 709) [ClassicSimilarity], result of:
          0.27983573 = score(doc=709,freq=18.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.1267935 = fieldWeight in 709, product of:
              4.2426405 = tf(freq=18.0), with freq of:
                18.0 = termFreq=18.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0390625 = fieldNorm(doc=709)
      0.25 = coord(1/4)
    
    BK
    08.33 / Logik <Philosophie>
    Classification
    CC 2400 Philosophie / Systematische Philosophie / Logik / Einführungen, Handbücher, Sammelbände und Bibliographien
    CC 2600 Philosophie / Systematische Philosophie / Logik / Abhandlungen zur Logik und mathematischen Grundlagenforschung
    08.33 / Logik <Philosophie>
    RVK
    CC 2400 Philosophie / Systematische Philosophie / Logik / Einführungen, Handbücher, Sammelbände und Bibliographien
    CC 2600 Philosophie / Systematische Philosophie / Logik / Abhandlungen zur Logik und mathematischen Grundlagenforschung
  13. Prätor, K.: Logik als Organisation von Handlungen (2013) 0.07
    0.068545476 = product of:
      0.2741819 = sum of:
        0.2741819 = weight(_text_:logik in 901) [ClassicSimilarity], result of:
          0.2741819 = score(doc=901,freq=12.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.1040277 = fieldWeight in 901, product of:
              3.4641016 = tf(freq=12.0), with freq of:
                12.0 = termFreq=12.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.046875 = fieldNorm(doc=901)
      0.25 = coord(1/4)
    
    Abstract
    Kann Logik, die für Systeme der Wissensorganisation immer eine wichtige Rolle gespielt hat, auch einen Beitrag leisten, wenn man Organisation als Tätigkeit begreift? Diese Frage wird im Rückgriff auf zwei zunächst disparate Gebiete behandelt. Auf dem Gebiet der Planungskalküle (Planungsexpertensysteme) haben sich gewichtige Schwierigkeiten für den Einsatz von Logik für die Handlungsplanung ergeben. Deren Bewertung führt zu grundsätzlichen Fragen des Verständnisses von Logik und in diesem Zusammenhang zur konstruktiven Logik. Diese konzipiert Logik selbst als Planung oder auch Organisation von Handlungen. Werden gewisse Anschlussprobleme beseitigt, die sich aus ihrer dialogischen Form ergeben, so bietet sie die Grundlage für einen erfolgversprechenden Einsatz von logikbasierten Verfahren auch im Feld der als Aktivität verstandenen Wissensorganisation (Wissensverarbeitung).
  14. Lenski, W.: Wissensrepräsentation und Sacherschließung in Literaturdatenbanken : Herausforderungen, Realisierungen und Perspektiven am Beispiel der Mathematischen Logik (1995) 0.07
    0.06595792 = product of:
      0.26383168 = sum of:
        0.26383168 = weight(_text_:logik in 925) [ClassicSimilarity], result of:
          0.26383168 = score(doc=925,freq=4.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.0623512 = fieldWeight in 925, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.078125 = fieldNorm(doc=925)
      0.25 = coord(1/4)
    
    Field
    Mathematische Logik
  15. Spies, M.: Unsicheres Wissen : Wahrscheinlichkeit, Fuzzy-Logik, neuronale Netze und menschliches Denken (1993) 0.07
    0.06595792 = product of:
      0.26383168 = sum of:
        0.26383168 = weight(_text_:logik in 3314) [ClassicSimilarity], result of:
          0.26383168 = score(doc=3314,freq=4.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.0623512 = fieldWeight in 3314, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.078125 = fieldNorm(doc=3314)
      0.25 = coord(1/4)
    
    Abstract
    Alltagswissen ist of vage und unscharf. Um herauszufinden, wie menschliches Denken funktionieren könnte, benutzt man Computersimulationen. Sie dienen als Modell, um herauszufinden, wie sich Wahrscheinlichkeiten, Schlüsse bei unscharfen Voraussetzungen (Fuzzy-Logik) und Muster (in neuronalen Netzwerken) verarbeiten lassen
  16. Kunz, W.: Grundlagen der Informationswissenschaft : zur Logik von Forschungs- und Informationsprozessen (1983) 0.07
    0.065295 = product of:
      0.26118 = sum of:
        0.26118 = weight(_text_:logik in 446) [ClassicSimilarity], result of:
          0.26118 = score(doc=446,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.051674 = fieldWeight in 446, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.109375 = fieldNorm(doc=446)
      0.25 = coord(1/4)
    
  17. Peirce, C.S.: Phänomen und Logik der Zeichen (1993) 0.07
    0.065295 = product of:
      0.26118 = sum of:
        0.26118 = weight(_text_:logik in 3448) [ClassicSimilarity], result of:
          0.26118 = score(doc=3448,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.051674 = fieldWeight in 3448, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.109375 = fieldNorm(doc=3448)
      0.25 = coord(1/4)
    
  18. Wüster, E.: Allgemeine Terminologielehre : ein Grenzgebiet zwischen Sprachwissenschaft, Logik, Ontologie, Informatik und den Sachwissenschaften (1993) 0.07
    0.065295 = product of:
      0.26118 = sum of:
        0.26118 = weight(_text_:logik in 4624) [ClassicSimilarity], result of:
          0.26118 = score(doc=4624,freq=2.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.051674 = fieldWeight in 4624, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.109375 = fieldNorm(doc=4624)
      0.25 = coord(1/4)
    
  19. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.06
    0.06257318 = product of:
      0.25029272 = sum of:
        0.25029272 = weight(_text_:logik in 5989) [ClassicSimilarity], result of:
          0.25029272 = score(doc=5989,freq=10.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.0078349 = fieldWeight in 5989, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.046875 = fieldNorm(doc=5989)
      0.25 = coord(1/4)
    
    Abstract
    Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
    RSWK
    Gödel, Kurt / Mathematische Logik (GBV)
    Subject
    Gödel, Kurt / Mathematische Logik (GBV)
  20. Poundstone, W.: Im Labyrinth des Denkens : Wenn Logik nicht weiterkommt: Paradoxien, Zwickmühlen und die Hinfälligkeit unseres Denkens (1998) 0.06
    0.06257318 = product of:
      0.25029272 = sum of:
        0.25029272 = weight(_text_:logik in 98) [ClassicSimilarity], result of:
          0.25029272 = score(doc=98,freq=10.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.0078349 = fieldWeight in 98, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.046875 = fieldNorm(doc=98)
      0.25 = coord(1/4)
    
    BK
    08.33 / Logik <Philosophie>
    Classification
    08.33 / Logik <Philosophie>
    RSWK
    Unterhaltungsmathematik / Logik (BVB)
    Subject
    Unterhaltungsmathematik / Logik (BVB)

Languages

Types

  • a 3099
  • m 399
  • el 164
  • s 148
  • x 40
  • b 39
  • i 24
  • r 17
  • ? 8
  • d 4
  • p 4
  • n 3
  • u 2
  • z 2
  • au 1
  • h 1
  • More… Less…

Themes

Subjects

Classifications