2nd edition. — Cambridge University Press, 2004. — 440 p. — ISBN-10 052154310X; ISBN-13 978-0521543101 One of the leitmotifs of writing the first edition of our book was the observation that most logics used in the design, specification and verification of computer systems fundamentally deal with a satisfaction relation M φ where M is some sort of situation or model of a system,...
В этой книге рассматриваются аспекты системного администрирования операционной системы Linux. В первую очередь данное руководство предназначено для тех, кто практически ничего не знает о системном администрировании, но ознакомлен с основами
работы с системой Linux, которые рассмотрены в книге "Руководство Пользователя Системы Linux". В данном руководстве не уделяется внимания...
[Wrox, 2006].
This book aims to explain those algorithms and data structures most commonly encountered in day-today software development, while remaining at all times practical, concise, and to the point, with little or no verbiage to distract from the core concepts and examples.
Volume 5.
Logic and Algebraic Methods.
The present Volume 5 continues with logical and algebraic methodologies
basic to computer science. Chapter 1 covers Martin-L0f's type theory,
originally developed to clarify the foundations of constructive mathematics
it now plays a major role in theoretical computer science. The second
chapter covers categorial logic, the interaction...
C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams. — N.Y.: Dover Publications, Inc., 1990. — 90 p. — ISBN 0-486-26404-1. This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus...
Посещать сомнительные заведения небезопасно всегда и везде – и в настоящем, и в будущем, и на Земле, и на чужой планете. Ведь именно с визита в салон татуировок на планете Шаркус и началась череда невероятных приключений многоборца по бовиспу (боевым видам спорта) Сергея Воронцова. И все бы ничего, если бы эти приключения разворачивались в реальном, по его понятиям, мире…
Мир Кристалла — грандиозный фэнтезийный аттракцион, компьютерный Диснейлэнд, — неожиданно оживает. Становится настоящим и реальным, унося с собой в компьютерное Зазеркалье несколько тысяч туристов. Из мира, сотворенного воображением классиков мировой фэнтези и воплощенного гением великого программиста Артура Ли Норта, суждено вернуться в XXI век лишь одному. Человеку, чей путь был...
Мир Кристалла — грандиозный фэнтезийный аттракцион, компьютерный Диснейлэнд, — неожиданно оживает. Становится настоящим и реальным, унося с собой в компьютерное Зазеркалье несколько тысяч туристов. Из мира, сотворенного воображением классиков мировой фэнтези и воплощенного гением великого программиста Артура Ли Норта, суждено вернуться в XXI век лишь одному. Человеку, чей путь был...
М.: Армада: Альфа-книга, 2003. — 408 с. — (Фантастический боевик. Выпуск 296). — ISBN: 5-93556-311-8. Второй роман цикла «Магистр». Долину проклятых звонарей обесточили. Не за неуплату, нет. Просто какому-то очередному злодею пришла в голову мысль накрыть всю страну мраком. В темноте ведь сподручнее творить свои черные дела. Усилия местного населения – а это маги, колдуны и...