Mathematical Foundations of Computer Science: Sets, Relations, and Induction v. 1

Name: Mathematical Foundations of Computer Science: Sets, Relations, and Induction
Author: Peter A. Fejer

Auteur: Peter A. Fejer

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Peter A. Fejer Dan A. Simovici

Engels
Hardcover
9780387974507
05 december 1990
435 pagina's

Alle productspecificaties

Samenvatting

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 05 december 1990
Aantal pagina's: 435
Illustraties: Nee

Betrokkenen

Hoofdauteur: Peter A. Fejer
Tweede Auteur: Dan A. Simovici
Hoofduitgeverij: Springer-Verlag New York Inc.

Overige kenmerken

Studieboek: Nee
Verpakking hoogte: 28 mm
Verpakkingsgewicht: 760 g

EAN

EAN: 9780387974507

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Wiskunde

Wiskunde voor computerwetenschappers

Calculus & Wiskundige analyse

Discrete wiskunde

Grondslagen van de wiskunde

Numerieke wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Boek
Taal: Engels
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Bindwijze : Hardcover

Prijsinformatie en bestellen

De prijs van dit product is 49 euro. Dit is een tweedehands product.

Alleen tweedehands

Goed
Goede staat, naam voorin.

Op voorraad

Voor 23:59 uur besteld, woensdag in huis