Transactions on Computational Science II
Yingxu Wang Β· Yiyu Y. Yao Β· C. J. Kenneth Tan Β· Guoyin Wang
ΡΠ΅ΠΏ. 2008β―Π³. Β· Springer
Π-ΠΊΠ½ΠΈΠ³Π°
250
Π‘ΡΡΠ°Π½ΠΈΡΠΈ
reportΠΡΠ΅Π½ΠΈΡΠ΅ ΠΈ ΡΠ΅ΡΠ΅Π½Π·ΠΈΠΈΡΠ΅ Π½Π΅ ΡΠ΅ ΠΏΠΎΡΠ²ΡΠ΄Π΅Π½ΠΈ Β ΠΠΎΠ·Π½Π°ΡΡΠ΅ ΠΏΠΎΠ²Π΅ΡΠ΅
ΠΠ° Π΅-ΠΊΠ½ΠΈΠ³Π°Π²Π°
The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of mathematical structures that formalize rigorous expressions and long-chain inferences of system compositions and behaviors with abstract concepts, complex relations, and dynamic processes. Typical paradigms of denotational mathematics are concept algebra, system algebra, Real-Time Process Algebra (RTPA), Visual Semantic Algebra (VSA), fuzzy logic, and rough sets. A wide range of applications of denotational mathematics have been identified in many modern science and engineering disciplines that deal with complex and intricate mathematical entities and structures beyond numbers, Boolean variables, and traditional sets. This issue of Springerβs Transactions on Computational Science on Denotational Mathematics for Computational Intelligence presents a snapshot of current research on denotational mathematics and its engineering applications. The volume includes selected and extended papers from two international conferences, namely IEEE ICCI 2006 (on Cognitive Informatics) and RSKT 2006 (on Rough Sets and Knowledge Technology), as well as new contributions. The following four important areas in denotational mathem- ics and its applications are covered: Foundations and applications of denotational mathematics, focusing on: a) c- temporary denotational mathematics for computational intelligence; b) deno- tional mathematical laws of software; c) a comparative study of STOPA and RTPA; and d) a denotational mathematical model of abstract games.
ΠΡΠ΅Π½Π΅ΡΠ΅ ΡΠ° Π΅-ΠΊΠ½ΠΈΠ³Π°Π²Π°
ΠΠ°ΠΆΠ΅ΡΠ΅ Π½ΠΈ ΡΡΠΎ ΠΌΠΈΡΠ»ΠΈΡΠ΅.
ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ Π·Π° ΡΠΈΡΠ°ΡΠ΅
ΠΠ°ΠΌΠ΅ΡΠ½ΠΈ ΡΠ΅Π»Π΅ΡΠΎΠ½ΠΈ ΠΈ ΡΠ°Π±Π»Π΅ΡΠΈ
ΠΠ½ΡΡΠ°Π»ΠΈΡΠ°ΡΡΠ΅ ΡΠ° Π°ΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡΠ°ΡΠ° Google Play Books Π·Π° Android ΠΈ iPad/iPhone. ΠΠ²ΡΠΎΠΌΠ°ΡΡΠΊΠΈ ΡΠ΅ ΡΠΈΠ½Ρ
ΡΠΎΠ½ΠΈΠ·ΠΈΡΠ° ΡΠΎ ΡΠΌΠ΅ΡΠΊΠ°ΡΠ° ΠΈ Π²ΠΈ ΠΎΠ²ΠΎΠ·ΠΌΠΎΠΆΡΠ²Π° Π΄Π° ΡΠΈΡΠ°ΡΠ΅ ΠΎΠ½Π»Π°ΡΠ½ ΠΈΠ»ΠΈ ΠΎΡΠ»Π°ΡΠ½ ΠΊΠ°Π΄Π΅ ΠΈ Π΄Π° ΡΡΠ΅.
ΠΠ°ΠΏΡΠΎΠΏΠΈ ΠΈ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠΈ
ΠΠΎΠΆΠ΅ Π΄Π° ΡΠ»ΡΡΠ°ΡΠ΅ Π°ΡΠ΄ΠΈΠΎΠΊΠ½ΠΈΠ³ΠΈ ΠΊΡΠΏΠ΅Π½ΠΈ ΠΎΠ΄ Google Play ΡΠΎ ΠΊΠΎΡΠΈΡΡΠ΅ΡΠ΅ Π½Π° Π²Π΅Π±-ΠΏΡΠ΅Π»ΠΈΡΡΡΠ²Π°ΡΠΎΡ Π½Π° ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠΎΡ.
Π-ΡΠΈΡΠ°ΡΠΈ ΠΈ Π΄ΡΡΠ³ΠΈ ΡΡΠ΅Π΄ΠΈ
ΠΠ° Π΄Π° ΡΠΈΡΠ°ΡΠ΅ Π½Π° ΡΡΠ΅Π΄ΠΈ ΡΠΎ Π΅-ΠΌΠ°ΡΡΠΈΠ»ΠΎ, ΠΊΠ°ΠΊΠΎ ΡΡΠΎ ΡΠ΅ Π΅-ΡΠΈΡΠ°ΡΠΈΡΠ΅ Kobo, ΡΠ΅ ΡΡΠ΅Π±Π° Π΄Π° ΠΏΡΠ΅Π·Π΅ΠΌΠ΅ΡΠ΅ Π΄Π°ΡΠΎΡΠ΅ΠΊΠ° ΠΈ Π΄Π° ΡΠ° ΠΏΡΠ΅ΡΡΠ»ΠΈΡΠ΅ Π½Π° ΡΡΠ΅Π΄ΠΎΡ. Π‘Π»Π΅Π΄Π΅ΡΠ΅ Π³ΠΈ Π΄Π΅ΡΠ°Π»Π½ΠΈΡΠ΅ ΡΠΏΠ°ΡΡΡΠ²Π° Π²ΠΎ Π¦Π΅Π½ΡΠ°ΡΠΎΡ Π·Π° ΠΏΠΎΠΌΠΎΡ Π·Π° ΠΏΡΠ΅ΡΡΠ»Π°ΡΠ΅ Π½Π° Π΄Π°ΡΠΎΡΠ΅ΠΊΠΈΡΠ΅ Π½Π° ΠΏΠΎΠ΄Π΄ΡΠΆΠ°Π½ΠΈ Π΅-ΡΠΈΡΠ°ΡΠΈ.
