Relational Methods in Computer Science (Advances in ...

worldofbooksinc
（255955）
賣家的其他物品
聯絡賣家
US $68.99
大約HK$ 536.90
狀況：
良好
無後顧之憂！ 免費運送及退貨。
運送：
免費 USPS Media MailTM.
所在地：Montgomery Illinois, 美國
送達日期：
估計於 10月15日 (星期三)至 10月18日 (星期六)之間送達 運送地點 94104
估計送達日期 — 會在新視窗或分頁中開啟考慮到賣家的處理時間、寄出地郵遞區碼、目的地郵遞區碼、接收包裹時間，並取決於所選的運送方式以及收到全部款項全部款項 — 會在新視窗或分頁中開啟的時間。送達時間會因時而異，尤其是節日。
退貨：
30 日退貨. 由賣家支付退貨運費.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：316619744379
上次更新時間： 2025-10-03 22:59:50查看所有版本查看所有版本

物品細節

物品狀況
良好: ...
Book Title
Relational Methods in Computer Science (Advances in Computing ...
ISBN
3211829717
EAN
9783211829714
Release Title
Relational Methods in Computer Science (Advances in Computing ...
Artist
various
Brand
N/A
Colour
N/A
類別

關於產品

Product Identifiers

Publisher
Springer
ISBN-10
3211829717
ISBN-13
9783211829714
eBay Product ID (ePID)
607735

Product Key Features

Number of Pages
Xv, 272 Pages
Language
English
Publication Name
Relational Methods in Computer Science
Subject
Computer Science, Databases / General, Applied, Logic Design
Publication Year
1997
Type
Textbook
Author
G. Schmidt
Subject Area
Mathematics, Computers
Series
Advances in Computing Sciences Ser.
Format
Trade Paperback

Dimensions

Item Weight
18.2 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
Dewey Edition
21
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1/31
Table Of Content
I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Ströhlein).- Symbol Table.- Addresses of Contributors.
Synopsis
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 Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the "calculus of relatives" what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper "On the calculus of binary relations" of 1941 (actually his presidential address to the Association for Symbolic Logic).
LC Classification Number
QA76.9.C62

賣家提供的物品說明

賣家簡介

worldofbooksinc

98.3% 正面信用評價•已賣出 120.02 萬 件物品

加入日期：2月 2020
通常在 24 小時內回覆
In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company ...
查看更多內容
瀏覽商店聯絡

詳盡賣家評級

過去 12 個月的平均評級
說明準確
4.8
運費合理
5.0
運送速度
5.0
溝通
5.0

賣家信用評價 （294,238）

全部評級selected
正面
中立
負面
查看所有信用評價