Search (2 results, page 1 of 1)
-
Heintz, B.: ¬Die Innenwelt der Mathematik : Zur Kultur und Praxis einer beweisenden Disziplin (2000)
10.60
10.602856 = weight(author_ss:Heintz, B. in 1736) [ClassicSimilarity], result of: 10.602856 = fieldWeight in 1736, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.602856 = idf(docFreq=2, maxDocs=44421) 1.0 = fieldNorm(doc=1736)
- Author
- Heintz, B.
-
Heintz, B.: ¬Die Herrschaft der Regel : zur Grundlagengeschichte des Computers (1993)
10.60
10.602856 = weight(author_ss:Heintz, B. in 1221) [ClassicSimilarity], result of: 10.602856 = fieldWeight in 1221, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.602856 = idf(docFreq=2, maxDocs=44421) 1.0 = fieldNorm(doc=1221)
- Author
- Heintz, B.
Subjects
- Computer / Geschichte 1940-1960 / Formalismus <Mathematik> / Turing-Maschine / Rationalisierung / Geschichte 1890-1940 1
- Computers 1
- Datenverarbeitung / Mathematik / Geschichte (BVB) 1
- Datenverarbeitung / Soziologie / Geschichte (BVB) 1
- Mathematik / Grundlage / Geschichte 1890-1940 1
- Mathematik / Wissenschaftssoziologie (21) 1
- Mathematik / Wissenssoziologie / Geschichte 1890-1940 1
- Techniksoziologie (BVB) 1
- More… Less…
Classifications
- 31.01 / Geschichte der Mathematik 1
- 54.00 / Informatik: Allgemeines 1
- 54.01 / Geschichte der Informatik 1
- Mat A 291 / Turing-Maschine 1
- Mat T 1091 / Turing-Maschine 1
- QA76.5.H4455 1993 1
- SG 700 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Philosophie und Mathematik 1
- SR 800 Informatik / Nachschlagewerke. Didaktik / Allgemeines, Nachschlagewerke, Ausbildung / Geschichte der Datenverarbeitung 1
- ST 120 Informatik / Monographien / Grundlagen der Informatik / Grundlagen der Informatik 1
- More… Less…