Modelling Computing Systems, Mathematics for Computer Science View Full Text


Ontology type: schema:Book     


Book Info

DATE

2013

GENRE

Monograph

AUTHORS

Faron Moller , Georg Struth

PUBLISHER

Springer Nature

ABSTRACT

We have all experienced delays and frustrations as a result of the notorious ‘computer glitch.’ However, the more dependent we become on computational systems in our daily lives, the more we must ensure that they are safe, reliable and user-friendly. This engaging textbook presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. Topics and features: Introduces important concepts from discrete mathematics as the basis of computational thinking, presented in a stimulating and motivating style Demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation Contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples Describes an approach to the modelling of computing systems based on state transition systems, exploring the languages and techniques for expressing and reasoning about systems specifications and concurrent implementations This clearly written and classroom-tested textbook/reference is essential reading for first-year undergraduate modules on discrete mathematics and systems modelling. More... »

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-84800-322-4

DOI

http://dx.doi.org/10.1007/978-1-84800-322-4

ISBN

978-1-84800-321-7 | 978-1-84800-322-4

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1027382138


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Swansea University, Singleton Pk., SA2  8PP, Swansea, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Department of Computer Science, Swansea University, Singleton Pk., SA2  8PP, Swansea, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. Computer Science, University of Sheffield, Portobello Street 211, S1   4DP, Sheffield, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.11835.3e", 
          "name": [
            "Dept. Computer Science, University of Sheffield, Portobello Street 211, S1   4DP, Sheffield, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Struth", 
        "givenName": "Georg", 
        "id": "sg:person.011000131703.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000131703.33"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "We have all experienced delays and frustrations as a result of the notorious \u2018computer glitch.\u2019 However, the more dependent we become on computational systems in our daily lives, the more we must ensure that they are safe, reliable and user-friendly. This engaging textbook presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. Topics and features: Introduces important concepts from discrete mathematics as the basis of computational thinking, presented in a stimulating and motivating style Demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation Contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples Describes an approach to the modelling of computing systems based on state transition systems, exploring the languages and techniques for expressing and reasoning about systems specifications and concurrent implementations This clearly written and classroom-tested textbook/reference is essential reading for first-year undergraduate modules on discrete mathematics and systems modelling.", 
    "genre": "monograph", 
    "id": "sg:pub.10.1007/978-1-84800-322-4", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-1-84800-321-7", 
      "978-1-84800-322-4"
    ], 
    "keywords": [
      "discrete mathematics", 
      "textbook/reference", 
      "state transition system", 
      "nature of computation", 
      "computing systems", 
      "computer glitches", 
      "computer science", 
      "computational systems", 
      "system specification", 
      "numerous theorems", 
      "fundamental mathematics", 
      "concurrent implementation", 
      "computational thinking", 
      "transition systems", 
      "mathematical games", 
      "occurrence of errors", 
      "large collection", 
      "detailed solution", 
      "light-hearted way", 
      "mathematics", 
      "prior knowledge", 
      "game theory", 
      "structured method", 
      "intuitive understanding", 
      "logical puzzles", 
      "engaging textbook", 
      "daily life", 
      "important concepts", 
      "key concepts", 
      "system", 
      "theorem", 
      "computer", 
      "text", 
      "first year undergraduate module", 
      "concept", 
      "computation", 
      "specification", 
      "implementation", 
      "language", 
      "module", 
      "game", 
      "theory", 
      "technique", 
      "paradigm", 
      "precise concept", 
      "modelling", 
      "example", 
      "solution", 
      "error", 
      "intuition", 
      "collection", 
      "glitches", 
      "very beginning", 
      "delay", 
      "topic", 
      "undergraduate module", 
      "frustration", 
      "way", 
      "knowledge", 
      "approach", 
      "definition", 
      "method", 
      "science", 
      "style", 
      "basis", 
      "end", 
      "puzzle", 
      "results", 
      "novel", 
      "essential reading", 
      "nature", 
      "textbooks", 
      "reference", 
      "university education", 
      "reading", 
      "students", 
      "thinking", 
      "book", 
      "confines", 
      "understanding", 
      "education", 
      "life", 
      "beginning", 
      "exercise", 
      "occurrence", 
      "half"
    ], 
    "name": "Modelling Computing Systems, Mathematics for Computer Science", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1027382138"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-84800-322-4"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-84800-322-4", 
      "https://app.dimensions.ai/details/publication/pub.1027382138"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2022-05-20T07:40", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/book/book_23.jsonl", 
    "type": "Book", 
    "url": "https://doi.org/10.1007/978-1-84800-322-4"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-1-84800-322-4'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-1-84800-322-4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-84800-322-4'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-84800-322-4'


 

This table displays all metadata directly associated to this object as RDF triples.

146 TRIPLES      21 PREDICATES      111 URIs      104 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-84800-322-4 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Ne1849e40c6164384abdd9e3201feb35e
4 schema:datePublished 2013
5 schema:datePublishedReg 2013-01-01
6 schema:description We have all experienced delays and frustrations as a result of the notorious ‘computer glitch.’ However, the more dependent we become on computational systems in our daily lives, the more we must ensure that they are safe, reliable and user-friendly. This engaging textbook presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. Topics and features: Introduces important concepts from discrete mathematics as the basis of computational thinking, presented in a stimulating and motivating style Demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation Contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples Describes an approach to the modelling of computing systems based on state transition systems, exploring the languages and techniques for expressing and reasoning about systems specifications and concurrent implementations This clearly written and classroom-tested textbook/reference is essential reading for first-year undergraduate modules on discrete mathematics and systems modelling.
7 schema:genre monograph
8 schema:inLanguage en
9 schema:isAccessibleForFree false
10 schema:isbn 978-1-84800-321-7
11 978-1-84800-322-4
12 schema:keywords approach
13 basis
14 beginning
15 book
16 collection
17 computation
18 computational systems
19 computational thinking
20 computer
21 computer glitches
22 computer science
23 computing systems
24 concept
25 concurrent implementation
26 confines
27 daily life
28 definition
29 delay
30 detailed solution
31 discrete mathematics
32 education
33 end
34 engaging textbook
35 error
36 essential reading
37 example
38 exercise
39 first year undergraduate module
40 frustration
41 fundamental mathematics
42 game
43 game theory
44 glitches
45 half
46 implementation
47 important concepts
48 intuition
49 intuitive understanding
50 key concepts
51 knowledge
52 language
53 large collection
54 life
55 light-hearted way
56 logical puzzles
57 mathematical games
58 mathematics
59 method
60 modelling
61 module
62 nature
63 nature of computation
64 novel
65 numerous theorems
66 occurrence
67 occurrence of errors
68 paradigm
69 precise concept
70 prior knowledge
71 puzzle
72 reading
73 reference
74 results
75 science
76 solution
77 specification
78 state transition system
79 structured method
80 students
81 style
82 system
83 system specification
84 technique
85 text
86 textbook/reference
87 textbooks
88 theorem
89 theory
90 thinking
91 topic
92 transition systems
93 undergraduate module
94 understanding
95 university education
96 very beginning
97 way
98 schema:name Modelling Computing Systems, Mathematics for Computer Science
99 schema:productId N114618dc5110484fb3540393a5e8d796
100 N45379c71a59642b8ab2f1c6f50c83431
101 schema:publisher N9d3feedade48423a9795cea3269f9602
102 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027382138
103 https://doi.org/10.1007/978-1-84800-322-4
104 schema:sdDatePublished 2022-05-20T07:40
105 schema:sdLicense https://scigraph.springernature.com/explorer/license/
106 schema:sdPublisher N9faed72e981c463a8dc71180e8e964e7
107 schema:url https://doi.org/10.1007/978-1-84800-322-4
108 sgo:license sg:explorer/license/
109 sgo:sdDataset books
110 rdf:type schema:Book
111 N114618dc5110484fb3540393a5e8d796 schema:name dimensions_id
112 schema:value pub.1027382138
113 rdf:type schema:PropertyValue
114 N11edfd3957d5428693383f9f2aa5864f rdf:first sg:person.011000131703.33
115 rdf:rest rdf:nil
116 N45379c71a59642b8ab2f1c6f50c83431 schema:name doi
117 schema:value 10.1007/978-1-84800-322-4
118 rdf:type schema:PropertyValue
119 N9d3feedade48423a9795cea3269f9602 schema:name Springer Nature
120 rdf:type schema:Organisation
121 N9faed72e981c463a8dc71180e8e964e7 schema:name Springer Nature - SN SciGraph project
122 rdf:type schema:Organization
123 Ne1849e40c6164384abdd9e3201feb35e rdf:first sg:person.010425236217.29
124 rdf:rest N11edfd3957d5428693383f9f2aa5864f
125 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
126 schema:name Information and Computing Sciences
127 rdf:type schema:DefinedTerm
128 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
129 schema:name Computation Theory and Mathematics
130 rdf:type schema:DefinedTerm
131 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
132 schema:familyName Moller
133 schema:givenName Faron
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
135 rdf:type schema:Person
136 sg:person.011000131703.33 schema:affiliation grid-institutes:grid.11835.3e
137 schema:familyName Struth
138 schema:givenName Georg
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000131703.33
140 rdf:type schema:Person
141 grid-institutes:grid.11835.3e schema:alternateName Dept. Computer Science, University of Sheffield, Portobello Street 211, S1 4DP, Sheffield, United Kingdom
142 schema:name Dept. Computer Science, University of Sheffield, Portobello Street 211, S1 4DP, Sheffield, United Kingdom
143 rdf:type schema:Organization
144 grid-institutes:grid.4827.9 schema:alternateName Department of Computer Science, Swansea University, Singleton Pk., SA2 8PP, Swansea, United Kingdom
145 schema:name Department of Computer Science, Swansea University, Singleton Pk., SA2 8PP, Swansea, United Kingdom
146 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...