Mathematical Foundations for Computing:
This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and...
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
London
Macmillan Education UK
1995
|
| Schriftenreihe: | Computer Science Series
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-1-349-10719-3 https://doi.org/10.1007/978-1-349-10719-3 |
| Zusammenfassung: | This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed. Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design |
| Umfang: | 1 Online-Ressource (XI, 401 p) |
| ISBN: | 9781349107193 |
| DOI: | 10.1007/978-1-349-10719-3 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045186624 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180912s1995 xx o|||| 00||| eng d | ||
| 020 | |a 9781349107193 |9 978-1-349-10719-3 | ||
| 024 | 7 | |a 10.1007/978-1-349-10719-3 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-1-349-10719-3 | ||
| 035 | |a (OCoLC)1053840808 | ||
| 035 | |a (DE-599)BVBBV045186624 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 100 | 1 | |a McKeown, G. P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematical Foundations for Computing |c by G. P. McKeown, V. J. Rayward-Smith |
| 264 | 1 | |a London |b Macmillan Education UK |c 1995 | |
| 300 | |a 1 Online-Ressource (XI, 401 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Computer Science Series | |
| 520 | |a This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed. Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design | ||
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Information theory | |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Rayward-Smith, V. J. |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780333488553 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781349107209 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-349-10719-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_Archiv | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030575801 | |
| 966 | e | |u https://doi.org/10.1007/978-1-349-10719-3 |l DE-634 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818984513089306624 |
|---|---|
| any_adam_object | |
| author | McKeown, G. P. Rayward-Smith, V. J. |
| author_facet | McKeown, G. P. Rayward-Smith, V. J. |
| author_role | aut aut |
| author_sort | McKeown, G. P. |
| author_variant | g p m gp gpm v j r s vjr vjrs |
| building | Verbundindex |
| bvnumber | BV045186624 |
| classification_rvk | SK 110 ST 120 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-1-349-10719-3 (OCoLC)1053840808 (DE-599)BVBBV045186624 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-1-349-10719-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02575nam a2200517zc 4500</leader><controlfield tag="001">BV045186624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180912s1995 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781349107193</subfield><subfield code="9">978-1-349-10719-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-349-10719-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-1-349-10719-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1053840808</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045186624</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="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">McKeown, G. P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical Foundations for Computing</subfield><subfield code="c">by G. P. McKeown, V. J. Rayward-Smith</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Macmillan Education UK</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 401 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Computer Science Series</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed. Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rayward-Smith, V. J.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780333488553</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781349107209</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-349-10719-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_Archiv</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030575801</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-349-10719-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045186624 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:20:12Z |
| institution | BVB |
| isbn | 9781349107193 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030575801 |
| oclc_num | 1053840808 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | 1 Online-Ressource (XI, 401 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_Archiv ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Macmillan Education UK |
| record_format | marc |
| series2 | Computer Science Series |
| spelling | McKeown, G. P. Verfasser aut Mathematical Foundations for Computing by G. P. McKeown, V. J. Rayward-Smith London Macmillan Education UK 1995 1 Online-Ressource (XI, 401 p) txt rdacontent c rdamedia cr rdacarrier Computer Science Series This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed. Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design Mathematics of Computing Theory of Computation Computer science Information theory Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s 1\p DE-604 Rayward-Smith, V. J. aut Erscheint auch als Druck-Ausgabe 9780333488553 Erscheint auch als Druck-Ausgabe 9781349107209 https://doi.org/10.1007/978-1-349-10719-3 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | McKeown, G. P. Rayward-Smith, V. J. Mathematical Foundations for Computing Mathematics of Computing Theory of Computation Computer science Information theory Diskrete Mathematik (DE-588)4129143-8 gnd |
| subject_GND | (DE-588)4129143-8 |
| title | Mathematical Foundations for Computing |
| title_auth | Mathematical Foundations for Computing |
| title_exact_search | Mathematical Foundations for Computing |
| title_full | Mathematical Foundations for Computing by G. P. McKeown, V. J. Rayward-Smith |
| title_fullStr | Mathematical Foundations for Computing by G. P. McKeown, V. J. Rayward-Smith |
| title_full_unstemmed | Mathematical Foundations for Computing by G. P. McKeown, V. J. Rayward-Smith |
| title_short | Mathematical Foundations for Computing |
| title_sort | mathematical foundations for computing |
| topic | Mathematics of Computing Theory of Computation Computer science Information theory Diskrete Mathematik (DE-588)4129143-8 gnd |
| topic_facet | Mathematics of Computing Theory of Computation Computer science Information theory Diskrete Mathematik |
| url | https://doi.org/10.1007/978-1-349-10719-3 |
| work_keys_str_mv | AT mckeowngp mathematicalfoundationsforcomputing AT raywardsmithvj mathematicalfoundationsforcomputing |