-
Heintz, B.: ¬Die Herrschaft der Regel : zur Grundlagengeschichte des Computers (1993)
0.09
0.08628349 = product of:
0.25885046 = sum of:
0.24403878 = weight(_text_:geschichte in 221) [ClassicSimilarity], result of:
0.24403878 = score(doc=221,freq=40.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
1.4090319 = fieldWeight in 221, product of:
6.3245554 = tf(freq=40.0), with freq of:
40.0 = termFreq=40.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.046875 = fieldNorm(doc=221)
0.014811695 = product of:
0.02962339 = sum of:
0.02962339 = weight(_text_:22 in 221) [ClassicSimilarity], result of:
0.02962339 = score(doc=221,freq=2.0), product of:
0.12760964 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.03644085 = queryNorm
0.23214069 = fieldWeight in 221, 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=221)
0.5 = coord(1/2)
0.33333334 = coord(2/6)
- BK
- 54.01 / Geschichte der Informatik
31.01 / Geschichte der Mathematik
- Classification
- SG 700 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Philosophie und Mathematik
SR 800 Informatik / Nachschlagewerke. Didaktik / Allgemeines, Nachschlagewerke, Ausbildung / Geschichte der Datenverarbeitung
54.01 / Geschichte der Informatik
31.01 / Geschichte der Mathematik
- Date
- 22. 4.2007 12:26:52
- RSWK
- Mathematik / Grundlage / Geschichte 1890-1940
Mathematik / Wissenssoziologie / Geschichte 1890-1940
Computer / Geschichte 1940-1960 / Formalismus <Mathematik> / Turing-Maschine / Rationalisierung / Geschichte 1890-1940
Datenverarbeitung / Soziologie / Geschichte (BVB)
Datenverarbeitung / Mathematik / Geschichte (BVB)
- RVK
- SG 700 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Philosophie und Mathematik
SR 800 Informatik / Nachschlagewerke. Didaktik / Allgemeines, Nachschlagewerke, Ausbildung / Geschichte der Datenverarbeitung
- Subject
- Mathematik / Grundlage / Geschichte 1890-1940
Mathematik / Wissenssoziologie / Geschichte 1890-1940
Computer / Geschichte 1940-1960 / Formalismus <Mathematik> / Turing-Maschine / Rationalisierung / Geschichte 1890-1940
Datenverarbeitung / Soziologie / Geschichte (BVB)
Datenverarbeitung / Mathematik / Geschichte (BVB)
-
Delahaye, J.-P.: PI: Die Story (1999)
0.04
0.036433674 = product of:
0.109301016 = sum of:
0.10066086 = weight(_text_:geschichte in 1705) [ClassicSimilarity], result of:
0.10066086 = score(doc=1705,freq=20.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
0.581196 = fieldWeight in 1705, product of:
4.472136 = tf(freq=20.0), with freq of:
20.0 = termFreq=20.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.02734375 = fieldNorm(doc=1705)
0.008640155 = product of:
0.01728031 = sum of:
0.01728031 = weight(_text_:22 in 1705) [ClassicSimilarity], result of:
0.01728031 = score(doc=1705,freq=2.0), product of:
0.12760964 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.03644085 = queryNorm
0.1354154 = fieldWeight in 1705, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.02734375 = fieldNorm(doc=1705)
0.5 = coord(1/2)
0.33333334 = coord(2/6)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 590 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Geschichte der Mathematik / Geschichte einzelner Probleme
31.01 / Geschichte der Mathematik
- Date
- 20. 3.2008 14:22:43
- RSWK
- Pi <Zahl> / Geschichte (BVB)
- RVK
- SG 590 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Geschichte der Mathematik / Geschichte einzelner Probleme
- Subject
- Pi <Zahl> / Geschichte (BVB)
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.02
0.022277592 = product of:
0.13366555 = sum of:
0.13366555 = weight(_text_:geschichte in 5989) [ClassicSimilarity], result of:
0.13366555 = score(doc=5989,freq=12.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
0.77175856 = fieldWeight in 5989, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.16666667 = coord(1/6)
- 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.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
31.01 / Geschichte der Mathematik
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.02
0.015157981 = product of:
0.09094788 = sum of:
0.09094788 = weight(_text_:geschichte in 303) [ClassicSimilarity], result of:
0.09094788 = score(doc=303,freq=8.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
0.5251152 = fieldWeight in 303, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.16666667 = coord(1/6)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
31.01 / Geschichte der Mathematik
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
-
Hoffmann, P.: ¬Der Mann, der die Zahlen liebte : Die erstaunliche Geschichte des Paul Erdös und die Suche nach der Schönheit in der Mathematik (1999)
0.01
0.01355771 = product of:
0.08134626 = sum of:
0.08134626 = weight(_text_:geschichte in 3244) [ClassicSimilarity], result of:
0.08134626 = score(doc=3244,freq=10.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
0.4696773 = fieldWeight in 3244, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03125 = fieldNorm(doc=3244)
0.16666667 = coord(1/6)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- 31.01 / Geschichte der Mathematik
- RSWK
- Zahlentheorie / Geschichte (BVB)
- Subject
- Zahlentheorie / Geschichte (BVB)
-
Schwartzman, S.: ¬The words of mathematics : an etymological dictionary of mathematical terms used in English ; a reference book describing the origins of over 1500 mathematical terms used in English, including a glossary that explains the historical and linguistic terms used in the book (1994)
0.01
0.010718311 = product of:
0.064309865 = sum of:
0.064309865 = weight(_text_:geschichte in 4881) [ClassicSimilarity], result of:
0.064309865 = score(doc=4881,freq=4.0), product of:
0.17319606 = queryWeight, product of:
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.03644085 = queryNorm
0.3713125 = fieldWeight in 4881, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.7528 = idf(docFreq=1036, maxDocs=44218)
0.0390625 = fieldNorm(doc=4881)
0.16666667 = coord(1/6)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- 31.01 / Geschichte der Mathematik