Synopsis
Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties. The comprehensive text is supplemented with summaries, proofs and exercises.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Gordon J. Pace is an associate professor in the Department of Computer Science of the University of Malta. He has an M.Sc. and a D.Phil. from Oxford, where he was a Rhodes Scholar. He has considerable experience teaching courses on the topic of his book to undergraduates in Computer Science, Mathematics and Engineering. His research interests include formal methods for software and hardware, runtime verification and formal analysis of contracts.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Mathematics of Discrete Structures for Computer Science
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science.
Edité par
Springer 2012, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : ROBIN SUMMERS BOOKS LTD, Aldeburgh, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fine. First edition. Hardback. Octavo. 312pp. Original printed hardback. Fine and unread, sealed copy. N° de réf. du vendeur C143996
Acheter D'occasion
EUR 34,99
Frais de port :
EUR 28,31
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science
Edité par
Springer, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Ancien ou d'occasion
Couverture rigide
Vendeur : savehere619, San Diego, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. N° de réf. du vendeur SHM.5ND1
Acheter D'occasion
EUR 67,78
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematics of Discrete Structures for Computer Science
Edité par
Springer, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Ancien ou d'occasion
Couverture rigide
Vendeur : SpringBooks, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : As New. Unread. Immediately dispatched from Germany. N° de réf. du vendeur CEA-2411C-TIRANA-01-1000
Acheter D'occasion
EUR 39,82
Frais de port :
EUR 29,90
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematics of Discrete Structures for Computer Science (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 58d95a49ca993f249d606e0e656ebdfd
Acheter neuf
EUR 66,23
Frais de port :
EUR 6,80
De Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 17849349-n
Acheter neuf
EUR 74,93
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematics of Discrete Structures for Computer Science
Edité par
Springer, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Ancien ou d'occasion
Couverture rigide
Vendeur : suspiratio - online bücherstube lic.phil h.b., Basel, Suisse
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Sehr gut. FINE, SEHR GUT, Wie UNGEBRAUCHT NURA-709. N° de réf. du vendeur a-492-myz
Acheter D'occasion
EUR 44
Frais de port :
EUR 47
De Suisse vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science
Edité par
Springer, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 17849349
Acheter D'occasion
EUR 89,23
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematics of Discrete Structures for Computer Science
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642298394_new
Acheter neuf
EUR 83,54
Frais de port :
EUR 13,57
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 17849349-n
Acheter neuf
EUR 83,53
Frais de port :
EUR 16,99
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematics of Discrete Structures for Computer Science
Edité par
Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10 : 3642298397
ISBN 13 : 9783642298394
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs.The book contains chapter and section summaries, detailed proofs and many end-of-section exercises -- key to the learning process. The book is suitable for undergraduate and graduate students, and although the treatment focuses on areas with frequent applications in computer science, the book is also suitable for students of mathematics and engineering. 312 pp. Englisch. N° de réf. du vendeur 9783642298394
Acheter neuf
EUR 80,24
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)