Relational Methods in Computer Science
Chris Brink Β· Wolfram Kahl Β· GΓΌnther Schmidt
12.2012β―Π³. Β· Springer Science & Business Media
ΠΠ»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
272
Π‘ΡΡΠ°Π½ΠΈΡΠΈ
reportΠΡΠ΅Π½ΠΊΠΈΡΠ΅ ΠΈ ΠΎΡΠ·ΠΈΠ²ΠΈΡΠ΅ Π½Π΅ ΡΠ° ΠΏΠΎΡΠ²ΡΡΠ΄Π΅Π½ΠΈ Β ΠΠ°ΡΡΠ΅ΡΠ΅ ΠΏΠΎΠ²Π΅ΡΠ΅
ΠΡΠΈΡΠΊΠΎ Π·Π° ΡΠ°Π·ΠΈ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
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).
ΠΡΠ΅Π½Π΅ΡΠ΅ ΡΠ°Π·ΠΈ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½Π° ΠΊΠ½ΠΈΠ³Π°
ΠΠ°ΠΆΠ΅ΡΠ΅ Π½ΠΈ ΠΊΠ°ΠΊΠ²ΠΎ ΠΌΠΈΡΠ»ΠΈΡΠ΅.
ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ Π·Π° ΡΠ΅ΡΠ΅Π½Π΅ΡΠΎ
Π‘ΠΌΠ°ΡΡΡΠΎΠ½ΠΈ ΠΈ ΡΠ°Π±Π»Π΅ΡΠΈ
ΠΠ½ΡΡΠ°Π»ΠΈΡΠ°ΠΉΡΠ΅ ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΡΠΎ Google Play ΠΠ½ΠΈΠ³ΠΈ Π·Π° Android ΠΈ iPad/iPhone. Π’ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠΈΡΠ½ΠΎ ΡΠ΅ ΡΠΈΠ½Ρ
ΡΠΎΠ½ΠΈΠ·ΠΈΡΠ° Ρ ΠΏΡΠΎΡΠΈΠ»Π° Π²ΠΈ ΠΈ Π²ΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ²Π° Π΄Π° ΡΠ΅ΡΠ΅ΡΠ΅ ΠΎΠ½Π»Π°ΠΉΠ½ ΠΈΠ»ΠΈ ΠΎΡΠ»Π°ΠΉΠ½, ΠΊΡΠ΄Π΅ΡΠΎ ΠΈ Π΄Π° ΡΡΠ΅.
ΠΠ°ΠΏΡΠΎΠΏΠΈ ΠΈ ΠΊΠΎΠΌΠΏΡΡΡΠΈ
ΠΠΎΠΆΠ΅ΡΠ΅ Π΄Π° ΡΠ»ΡΡΠ°ΡΠ΅ Π·Π°ΠΊΡΠΏΠ΅Π½ΠΈΡΠ΅ ΠΎΡ Google Play Π°ΡΠ΄ΠΈΠΎΠΊΠ½ΠΈΠ³ΠΈ ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ ΡΠ΅Π± Π±ΡΠ°ΡΠ·ΡΡΠ° Π½Π° ΠΊΠΎΠΌΠΏΡΡΡΡΠ° ΡΠΈ.
ΠΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈ ΡΠ΅ΡΡΠΈ ΠΈ Π΄ΡΡΠ³ΠΈ ΡΡΡΡΠΎΠΉΡΡΠ²Π°
ΠΠ° Π΄Π° ΡΠ΅ΡΠ΅ΡΠ΅ Π½Π° ΡΡΡΡΠΎΠΉΡΡΠ²Π° Ρ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎ ΠΌΠ°ΡΡΠΈΠ»ΠΎ, ΠΊΠ°ΡΠΎ Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈΡΠ΅ ΡΠ΅ΡΡΠΈ ΠΎΡ Kobo, ΡΡΡΠ±Π²Π° Π΄Π° ΠΈΠ·ΡΠ΅Π³Π»ΠΈΡΠ΅ ΡΠ°ΠΉΠ» ΠΈ Π΄Π° Π³ΠΎ ΠΏΡΠ΅Ρ
Π²ΡΡΠ»ΠΈΡΠ΅ Π½Π° ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎΡΠΎ ΡΠΈ. ΠΠ·ΠΏΡΠ»Π½Π΅ΡΠ΅ ΠΏΠΎΠ΄ΡΠΎΠ±Π½ΠΈΡΠ΅ ΠΈΠ½ΡΡΡΡΠΊΡΠΈΠΈ Π² ΠΠΎΠΌΠΎΡΠ½ΠΈΡ ΡΠ΅Π½ΡΡΡ, Π·Π° Π΄Π° ΠΏΡΠ΅Ρ
Π²ΡΡΠ»ΠΈΡΠ΅ ΡΠ°ΠΉΠ»ΠΎΠ²Π΅ΡΠ΅ Π² ΠΏΠΎΠ΄Π΄ΡΡΠΆΠ°Π½ΠΈΡΠ΅ Π΅Π»Π΅ΠΊΡΡΠΎΠ½Π½ΠΈ ΡΠ΅ΡΡΠΈ.
