skip to content
Modelling Computing Systems : Mathematics for Computer Science Preview this item
ClosePreview this item
Checking...

Modelling Computing Systems : Mathematics for Computer Science

Author: Faron Moller; Georg Struth
Publisher: London : Springer London : Imprint : Springer, 2013.
Series: Undergraduate Topics in Computer Science
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of computing systems through exercises and examples.  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Faron Moller; Georg Struth
ISBN: 9781848003217 1848003218 9781848003224 1848003226
OCLC Number: 929433781
Notes: Libros electrónicos descargables.
Description: 1 online resource (XVI, 500 p. 46 illustrations) : online resource
Contents: Introduction --
Part I: Mathematics for Computer Science --
Propositional Logic --
Sets --
Boolean Algebras and Circuits --
Predicate Logic --
Proof Strategies --
Functions --
Relations --
Inductive and Recursive Definitions --
Proofs by Induction --
Games and Strategies --
Part II: Modelling Computing Systems --
Modelling Processes --
Distinguishing Between Processes --
Logical Properties of Processes --
Concurrent Processes --
Temporal Properties.
Series Title: Undergraduate Topics in Computer Science
Responsibility: by Faron Moller, Georg Struth.

Reviews

Editorial reviews

Publisher Synopsis

"This book by UK academics Moller (Swansea Univ.) and Struth (Univ. of Sheffield) is designed to serve as a textbook for first-year university students in computer science. The volume contains 15 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/929433781> # Modelling Computing Systems Mathematics for Computer Science
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "929433781" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://experiment.worldcat.org/entity/work/data/1785117609#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/1785117609#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1785117609#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/1785117609#Person/struth_georg> ; # Georg Struth
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1785117609#Person/moller_faron> ; # Faron Moller
    schema:datePublished "2013" ;
    schema:description "Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems -- Modelling Processes -- Distinguishing Between Processes -- Logical Properties of Processes -- Concurrent Processes -- Temporal Properties." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1785117609> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1863-7310> ; # Undergraduate Topics in Computer Science,
    schema:name "Modelling Computing Systems Mathematics for Computer Science" ;
    schema:numberOfPages "500" ;
    schema:productID "929433781" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/929433781#PublicationEvent/london_springer_london_imprint_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1785117609#Agent/springer_london> ; # Springer London
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1785117609#Agent/springer> ; # Springer
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1785117609#Agent/imprint> ; # Imprint
    schema:url <http://0-dx.doi.org.fama.us.es/10.1007/978-1-84800-322-4> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-84800-322-4> ;
    schema:workExample <http://worldcat.org/isbn/9781848003224> ;
    schema:workExample <http://worldcat.org/isbn/9781848003217> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/929433781> ;
    .


Related Entities

<http://0-dx.doi.org.fama.us.es/10.1007/978-1-84800-322-4>
    rdfs:comment "Texto completo (SpringerLink). Restringido a miembros USE" ;
    .

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/1785117609#Agent/springer_london> # Springer London
    a bgn:Agent ;
    schema:name "Springer London" ;
    .

<http://experiment.worldcat.org/entity/work/data/1785117609#Person/moller_faron> # Faron Moller
    a schema:Person ;
    schema:familyName "Moller" ;
    schema:givenName "Faron" ;
    schema:name "Faron Moller" ;
    .

<http://experiment.worldcat.org/entity/work/data/1785117609#Person/struth_georg> # Georg Struth
    a schema:Person ;
    schema:familyName "Struth" ;
    schema:givenName "Georg" ;
    schema:name "Georg Struth" ;
    .

<http://experiment.worldcat.org/entity/work/data/1785117609#Topic/computational_complexity> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity" ;
    .

<http://worldcat.org/isbn/9781848003217>
    a schema:ProductModel ;
    schema:isbn "1848003218" ;
    schema:isbn "9781848003217" ;
    .

<http://worldcat.org/isbn/9781848003224>
    a schema:ProductModel ;
    schema:isbn "1848003226" ;
    schema:isbn "9781848003224" ;
    .

<http://worldcat.org/issn/1863-7310> # Undergraduate Topics in Computer Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/929433781> ; # Modelling Computing Systems Mathematics for Computer Science
    schema:issn "1863-7310" ;
    schema:name "Undergraduate Topics in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.