The science of computing: shaping a discipline
"Preface "That's not computer science," a professor told me when I abandoned the traditional computer science and software engineering study tracks to pursue computing topics that I thought to be more societally valuable. Very quickly I learned that the best way to respond to suc...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton [u.a.]
CRC Press
2015
|
| Schriftenreihe: | A Chapman & Hall book
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | "Preface "That's not computer science," a professor told me when I abandoned the traditional computer science and software engineering study tracks to pursue computing topics that I thought to be more societally valuable. Very quickly I learned that the best way to respond to such remarks was a series of counter questions about what exactly is computer science and why. The difficulties that many brilliant people had responding those questions led me to suspect that there's something deeper about that topic, yet the more I read about it, the more confused I got. Over the years I've heard the same reason..."That's not computer science"...used to turn down tenure, to reject doctoral theses, and to decline funding. Eventually I became convinced that the nature of computing as a discipline is something worth studying and writing about. Fortunate enough, the word "no" does not belong to the vocabulary of professor Erkki Sutinen, who became my supervisor, academic mentor, colleague, and friend. Throughout my studies in his group I worked on a broad variety of applied computing topics, ranging from unconventional to eccentric, yet in the meanwhile Erkki encouraged me to continue to study computing's disciplinary identity, and I ended up writing, in a great rush, a thesis on the topic. When my curiosity took me from the University of Eastern Finland to Asia and then to Africa for the better half of a decade, I kept on writing small practice essays on computing's identity".. |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XII, 280 S. |
| ISBN: | 9781482217698 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042153781 | ||
| 003 | DE-604 | ||
| 005 | 20230216 | ||
| 007 | t | ||
| 008 | 141028s2015 xxu |||| 00||| eng d | ||
| 010 | |a 014039070 | ||
| 020 | |a 9781482217698 |9 978-1-4822-1769-8 | ||
| 035 | |a (OCoLC)908459036 | ||
| 035 | |a (DE-599)BVBBV042153781 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a SU 100 |0 (DE-625)143693: |2 rvk | ||
| 100 | 1 | |a Tedre, Matti |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The science of computing |b shaping a discipline |c Matti Tedre |
| 264 | 1 | |a Boca Raton [u.a.] |b CRC Press |c 2015 | |
| 300 | |a XII, 280 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a A Chapman & Hall book | |
| 500 | |a Includes bibliographical references and index | ||
| 520 | |a "Preface "That's not computer science," a professor told me when I abandoned the traditional computer science and software engineering study tracks to pursue computing topics that I thought to be more societally valuable. Very quickly I learned that the best way to respond to such remarks was a series of counter questions about what exactly is computer science and why. The difficulties that many brilliant people had responding those questions led me to suspect that there's something deeper about that topic, yet the more I read about it, the more confused I got. Over the years I've heard the same reason..."That's not computer science"...used to turn down tenure, to reject doctoral theses, and to decline funding. Eventually I became convinced that the nature of computing as a discipline is something worth studying and writing about. Fortunate enough, the word "no" does not belong to the vocabulary of professor Erkki Sutinen, who became my supervisor, academic mentor, colleague, and friend. Throughout my studies in his group I worked on a broad variety of applied computing topics, ranging from unconventional to eccentric, yet in the meanwhile Erkki encouraged me to continue to study computing's disciplinary identity, and I ended up writing, in a great rush, a thesis on the topic. When my curiosity took me from the University of Eastern Finland to Asia and then to Africa for the better half of a decade, I kept on writing small practice essays on computing's identity".. | ||
| 650 | 7 | |a COMPUTERS / Information Theory |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / General |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Recreations & Games |2 bisacsh | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a COMPUTERS / Information Theory | |
| 650 | 4 | |a MATHEMATICS / General | |
| 650 | 4 | |a MATHEMATICS / Recreations & Games | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027593555&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805084770146713600 |
|---|---|
| adam_text |
Contents
List of Figures
vii
List of Tables
ix
Preface
xi
Part I Introduction
Chapter
1 ■
Introduction
_3
1.1
SCIENCE, ENGINEERING, AND MATHEMATICS
12
Part II Computer Scientists and Mathematicians
Computer Scientists and Mathematicians
19
Chapter
2 ■
Theoretical Roots of Modern Computing
21
Chapter
3 ■
Marriage to Mathematics
33
3.1
CUTTING THE TIES THAT BIND
34
3.2
EDUCATING THE COMPUTER SCIENTIST
41
Chapter
4 ■
The Formal Verification Debate
59
4.1
PROOFS OF CORRECTNESS
61
4.2
TEXTS MAKE NO MISTAKES
68
Part IIS The Fall and Rise of Engineering
The Fall and Rise of Engineering
87
Chapter
5 ■
Engineering the Modern Computer
_91^
5.1
ROOTS OF THE STORED-PROGRAM PARADIGM
92
vi
■ Contents
5.2
DIFFERENCE
BETWEEN "KNOW-HOW" AND "KNOW-
THAT"
101
Chapter
6 ■
Software Engineering to the Rescue
_
VV^
6.1
SOFTWARE CRISES
113
6.2
ENGINEERING SOLUTIONS
120
Part IV The Science of Computing
The Science of Computing
141
Chapter
7 ·
What's in a Name?
145
Chapter
8 ■
Science of the Artificial
153
8.1
THE NATURE OF COMPUTING AS A SCIENCE
155
8.2
THE FUNDAMENTAL QUESTION
164
Chapter
9 ■
Empirical Computer Science
175
9.1
HOW DO PEOPLE IN COMPUTING REALLY WORK?
178
9.2
EXPERIMENTAL COMPUTER SCIENCE
184
9.3
SCIENCE OF THE NATURAL
194
Part V Conclusions
Chapter
IO"
Conclusions
205
References
219
Bibliography
253
Index
277 |
| any_adam_object | 1 |
| author | Tedre, Matti |
| author_facet | Tedre, Matti |
| author_role | aut |
| author_sort | Tedre, Matti |
| author_variant | m t mt |
| building | Verbundindex |
| bvnumber | BV042153781 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 |
| callnumber-search | QA76 |
| callnumber-sort | QA 276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SU 100 |
| ctrlnum | (OCoLC)908459036 (DE-599)BVBBV042153781 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV042153781</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230216</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">141028s2015 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">014039070</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781482217698</subfield><subfield code="9">978-1-4822-1769-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908459036</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042153781</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SU 100</subfield><subfield code="0">(DE-625)143693:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tedre, Matti</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The science of computing</subfield><subfield code="b">shaping a discipline</subfield><subfield code="c">Matti Tedre</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">CRC Press</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 280 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">A Chapman & Hall book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"Preface "That's not computer science," a professor told me when I abandoned the traditional computer science and software engineering study tracks to pursue computing topics that I thought to be more societally valuable. Very quickly I learned that the best way to respond to such remarks was a series of counter questions about what exactly is computer science and why. The difficulties that many brilliant people had responding those questions led me to suspect that there's something deeper about that topic, yet the more I read about it, the more confused I got. Over the years I've heard the same reason..."That's not computer science"...used to turn down tenure, to reject doctoral theses, and to decline funding. Eventually I became convinced that the nature of computing as a discipline is something worth studying and writing about. Fortunate enough, the word "no" does not belong to the vocabulary of professor Erkki Sutinen, who became my supervisor, academic mentor, colleague, and friend. Throughout my studies in his group I worked on a broad variety of applied computing topics, ranging from unconventional to eccentric, yet in the meanwhile Erkki encouraged me to continue to study computing's disciplinary identity, and I ended up writing, in a great rush, a thesis on the topic. When my curiosity took me from the University of Eastern Finland to Asia and then to Africa for the better half of a decade, I kept on writing small practice essays on computing's identity"..</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Recreations & Games</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS / Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / Recreations & Games</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027593555&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| id | DE-604.BV042153781 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T08:09:44Z |
| institution | BVB |
| isbn | 9781482217698 |
| language | English |
| lccn | 014039070 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027593555 |
| oclc_num | 908459036 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | XII, 280 S. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | CRC Press |
| record_format | marc |
| series2 | A Chapman & Hall book |
| spelling | Tedre, Matti Verfasser aut The science of computing shaping a discipline Matti Tedre Boca Raton [u.a.] CRC Press 2015 XII, 280 S. txt rdacontent n rdamedia nc rdacarrier A Chapman & Hall book Includes bibliographical references and index "Preface "That's not computer science," a professor told me when I abandoned the traditional computer science and software engineering study tracks to pursue computing topics that I thought to be more societally valuable. Very quickly I learned that the best way to respond to such remarks was a series of counter questions about what exactly is computer science and why. The difficulties that many brilliant people had responding those questions led me to suspect that there's something deeper about that topic, yet the more I read about it, the more confused I got. Over the years I've heard the same reason..."That's not computer science"...used to turn down tenure, to reject doctoral theses, and to decline funding. Eventually I became convinced that the nature of computing as a discipline is something worth studying and writing about. Fortunate enough, the word "no" does not belong to the vocabulary of professor Erkki Sutinen, who became my supervisor, academic mentor, colleague, and friend. Throughout my studies in his group I worked on a broad variety of applied computing topics, ranging from unconventional to eccentric, yet in the meanwhile Erkki encouraged me to continue to study computing's disciplinary identity, and I ended up writing, in a great rush, a thesis on the topic. When my curiosity took me from the University of Eastern Finland to Asia and then to Africa for the better half of a decade, I kept on writing small practice essays on computing's identity".. COMPUTERS / Information Theory bisacsh MATHEMATICS / General bisacsh MATHEMATICS / Recreations & Games bisacsh Informatik Computer science COMPUTERS / Information Theory MATHEMATICS / General MATHEMATICS / Recreations & Games Informatik (DE-588)4026894-9 gnd rswk-swf Informatik (DE-588)4026894-9 s DE-604 Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027593555&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tedre, Matti The science of computing shaping a discipline COMPUTERS / Information Theory bisacsh MATHEMATICS / General bisacsh MATHEMATICS / Recreations & Games bisacsh Informatik Computer science COMPUTERS / Information Theory MATHEMATICS / General MATHEMATICS / Recreations & Games Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 |
| title | The science of computing shaping a discipline |
| title_auth | The science of computing shaping a discipline |
| title_exact_search | The science of computing shaping a discipline |
| title_full | The science of computing shaping a discipline Matti Tedre |
| title_fullStr | The science of computing shaping a discipline Matti Tedre |
| title_full_unstemmed | The science of computing shaping a discipline Matti Tedre |
| title_short | The science of computing |
| title_sort | the science of computing shaping a discipline |
| title_sub | shaping a discipline |
| topic | COMPUTERS / Information Theory bisacsh MATHEMATICS / General bisacsh MATHEMATICS / Recreations & Games bisacsh Informatik Computer science COMPUTERS / Information Theory MATHEMATICS / General MATHEMATICS / Recreations & Games Informatik (DE-588)4026894-9 gnd |
| topic_facet | COMPUTERS / Information Theory MATHEMATICS / General MATHEMATICS / Recreations & Games Informatik Computer science |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027593555&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tedrematti thescienceofcomputingshapingadiscipline |