Hoare's logic and Peano's arithmetic

We develop the proof theory of Hoare's logic for the partial correctness of while- programs applied to arithmetic as it is defined by Peano's axioms. By representing the strongest postcondition calculus in Peano arithmetic PA, we are able to show that Hoare's logic over PA is equivalent to PA itself.     

Ethernet designer's guide

The Ethernet is a local data communications network. It supports communication between machines connected to a common coaxial cable using transceivers and controllers. The purpose of this designer's guide is to help with interfacing to the transmission system. To aid understanding, the transmission system is described in terms of its parts and important parameters. Circuits for interfacing a controller to the transceiver cable (information outlet) are described. Also included are waveforms for a packet propagating through the system, some tests to verify operation and a summary of the Ethernet specification.     

Discrete hill's equations

In the work, based on the formulas of discrete mechanics in a rotating frame, a discretization of classical Hill's equations of the moon motion is worked out. It is proved that the proposed discretization conserves Jacobi's constant of motion. For computational purposes an algorithm to the solution of obtained discrete Hill's equations is given.