Titlebook: Information and Communication Technologies in Education, Research, and Industrial Applications; 14th International C Vadim Ermolayev,Mari C

Influx

978-3-030-13928-5Springer Nature Switzerland AG 2019

Rheumatologist

Information and Communication Technologies in Education, Research, and Industrial Applications978-3-030-13929-2Series ISSN 1865-0929 Series E-ISSN 1865-0937

OPINE

強(qiáng)化

hieroglyphic

嘲笑

rods366

nonplus

1865-0929 nologies in Education, Research, and Industrial Applications, ICTERI 2018, held in Kyiv, Ukraine, in May 2018..The 14 revised full papers included in this volume along with one invited full paper were carefully reviewed and selected from 257 initial submissions. The papers are organized in the follo

異端邪說(shuō)2

Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complementmposition of predicate complement. The obtained logic is called the Complemented Partial Floyd-Hoare Logic (CPFHL). The predicate component of this logic is related to three-valued logic. We prove the soundness theorem for CPFHL and discuss further investigations of the problem. The obtained results can be useful for software verification.

GROWL

Category Methods for Modelling Logical Time Based on the Concept of Clocksn valid for the generalisation under consideration. In addition, the proposed generalisation gives a tool for identifying in category-theoretic terms the concepts of global clocks and synchronisation processes.