В книге собрано 46 классических статей по информатике, которые прочертили карту развития этой науки. Охвачены все аспекты компьютерных наук; особое внимание уделяется периоду с 1936 по 1980 годы, но рассматриваются и важные ранние работы. Знакомя читателей с работами мыслителей от Аристотеля и Лейбница до Алана Тьюринга и Норберта Винера, книга документирует открытия и изобретения, приведшие к созданию современного цифрового мира. Каждую статью сопровождает краткий очерк, где представлен исторический и интеллектуальный контекст, за авторством Гарри Льюиса, редактора издания.
В этой работе сделана попытка исследовать логические основания компьютерного программирования с помощью методов, которые впервые были применены при изучении геометрии, а затем распространены на другие разделы математики. Речь идет о нахождении наборов аксиом и правил вывода, которые можно использовать для доказательства свойств компьютерных программ. Приводятся примеры таких аксиом и правил и формальное доказательство одной простой теоремы. Наконец, выдвигаются аргументы в пользу того, что дальнейшее изучение этих вопросов может принести важную теоретическую и практическую пользу.
Компьютерное программирование – точная наука, позволяющая в принципе вывести все свойства программы и все последствия выполнения ее в заданном окружении из текста самой программы с помощью дедуктивных рассуждений. Дедуктивные рассуждения подразумевают применение корректных правил вывода к набору корректных аксиом. Таким образом, желательно и интересно найти аксиомы и правила вывода, которые можно было бы положить в основу рассуждений о компьютерной программе. Конкретный выбор аксиом в какой-то мере зависит от выбора языка программирования. В целях иллюстрации эта работа ограничивается очень простым языком, который, по сути дела, является подмножеством всех современных процедурно ориентированных языков.
Самая известная криптографическая проблема – конфиденциальность: предотвращение несанкционированного извлечения информации из сообщений, передаваемых по небезопасным каналам. Однако чтобы использовать криптографию для обеспечения конфиденциальности, в настоящее время сообщающиеся стороны должны иметь общий ключ, неизвестный больше никому. Для этого ключ необходимо заранее передать по безопасному каналу, например курьером или заказным почтовым отправлением. Однако конфиденциальный разговор между двумя ранее незнакомыми людьми – типичная ситуация в бизнесе, и было бы нереалистично ожидать, что первый деловой контакт будет отложен на время, достаточное для передачи ключей с помощью каких-то физических средств. Затраты и задержки, вызванные этой проблемой распределения ключей, – основное препятствие на пути перевода деловых коммуникаций на крупные сети телеобработки.
Книга будет полезна всем, кто интересуется информатикой, программированием, сетями, криптографией и истоками этого увлекательного мира.
Разместите ссылку на эту страницу в социальных сетях. Так о ней узнают тысячи человек:
Facebook
Twitter
Мой мир
Вконтакте
Одноклассники
Нашли ошибку? Сообщите администрации сайта: Выберите один из разделов меню и, если необходимо, напишите комментарий
За ложную информацию бан на месяц
Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:
Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
В учебном пособии рассматриваются основные методы и алгоритмы построения графических изображений. Подробно анализируются приемы моделирования движения (анимации) двумерных изображений, рассматриваются алгоритмы трехмерной графики, построение сплайнов и сплайновых поверхностей, основы работы в графической библиотеке OpenGL. Каждое теоретическое поло ...
В книге рассматриваются вопросы сравнительного анализа языков программирования и конструирование компиляторов. В первой части издания подробно обсуждаются языки Ява и Си#. Большое внимание уделяется Оберону — одному из самых совершенных языков программирования. В этой книге впервые публикуется его спецификация на русском языке. Также приводятся рез ...
Даже если вы никогда не имели дела с программированием, эта книга поможет вам освоить язык C# и научиться писать на нем программы любой сложности. Для читателей, которые уже знакомы с каким-либо языком программирования, процесс изучения C# только упростится, но иметь опыт программирования для чтения книги совершенно необязательно.
Графический дизайн и реклама — Книга рассказывает обо всем, что необходимо знать начинающему дизайнеру, решившему попробовать свои силы в сфере информационной технологии. Основное внимание уделяется тому, как проектировать и создавать визуальные сообщения, распространяемые с помощью современных средств массовой информации: газет, журналов, р ...
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.