Stock image for illustration purposes only - book cover, edition or condition may vary.
Relational Methods in Computer Science
. Ed(S): Brink, Chris; Kahl, Wolfram; Schmidt, Gunther
€ 63.10
FREE Delivery in Ireland
Description for Relational Methods in Computer Science
Paperback. The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more. Editor(s): Brink, Chris; Kahl, Wolfram; Schmidt, Gunther. Series: Advances in Computing Sciences. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMZ; UN; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 413.
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand ... Read more
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand ... Read more
Product Details
Format
Paperback
Publication date
1997
Publisher
Springer Verlag GmbH Austria
Number of pages
287
Condition
New
Series
Advances in Computing Sciences
Number of Pages
272
Place of Publication
Vienna, Austria
ISBN
9783211829714
SKU
V9783211829714
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Relational Methods in Computer Science