Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 67,72
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Edité par World Scientific Publishing Co Pte Ltd, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 73,01
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Edité par World Scientific Publishing Co Pte Ltd, SG, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 75,07
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierHardback. Etat : New. This textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team merges two different views to create a unified book for students interested in learning discrete mathematics, the connections between discrete mathematics and computer science, and the mathematical foundations of computer science.Readers will learn how to formally define abstract concepts, reason about objects (such as programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook studies several well-known algorithmic problems including the path problem for graphs and finding the greatest common divisor, inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods such as propositional logic, finite state machines, counting, probability, as well as the foundations of databases such as relational calculus.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 75,56
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 73,44
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 66,29
Autre deviseQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : New.
Edité par World Scientific Publishing Co Pte Ltd, SG, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 82,98
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierHardback. Etat : New. This textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team merges two different views to create a unified book for students interested in learning discrete mathematics, the connections between discrete mathematics and computer science, and the mathematical foundations of computer science.Readers will learn how to formally define abstract concepts, reason about objects (such as programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook studies several well-known algorithmic problems including the path problem for graphs and finding the greatest common divisor, inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods such as propositional logic, finite state machines, counting, probability, as well as the foundations of databases such as relational calculus.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 67,71
Autre deviseQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : New.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 70,98
Autre deviseQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 72,95
Autre deviseQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par World Scientific Publishing Company, Incorporated, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 88,85
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xvi + 346.
Edité par World Scientific Publishing Company, Incorporated, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 90,02
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xvi + 346 Illus.
Edité par World Scientific Publishing Company, Incorporated, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 94,24
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xvi + 346.
Edité par World Scientific Pub Co Inc, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 98,75
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 364 pages. 9.25x6.25x1.00 inches. In Stock.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 65,12
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par World Scientific Publishing Company, 2012
ISBN 10 : 9814340502 ISBN 13 : 9789814340502
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 76,37
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the fundamental topics of discrete mathematics that are introduced from the perspectives of a pure mathematician and an applied computer scientist. This book helps readers learn how to formally define abstract concepts, reason about objects, invest.