Wyniki wyszukiwania:

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics. Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a...

The increasing use of satellites for vital communication services, environmental monitoring, navigation, weather prediction, and scientific research is mirrored by the development of military capabilities in space that go far beyond the traditional intelligence and early warning missions of the Cold War period. Protecting and enhancing U.S. military capability in space has emerged as an important focus of military planning, with recent official documents proposing various anti-satellite and space-based weapons. Serious public discussion of military space plans has not yet occurred in the...

This title explores the security implications of military, scientific, and commercial activities in space. The increasing use of satellites for vital communication services, environmental monitoring, navigation, weather prediction, and scientific research is mirrored by the development of military capabilities in space that go far beyond the traditional intelligence and early warning missions of the Cold War period. Protecting and enhancing U.S. military capability in space has emerged as an important focus of military planning, with recent official documents proposing various anti-satellite...