Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 614909)
Контекстум
  Расширенный поиск
510

Фундаментальные и общие проблемы математики. Основания математики, математическая логика


← назад
Результаты поиска

Нашлось результатов: 52 (0,49 сек)

Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
51

Прикладная логика учеб. пособие

Автор: Непейвода Н. Н.
М.: Директ-Медиа

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).

Кондорсе стал одним из основателей математической статистики. <...> Большинство его работ посвящено теории вероятностей, математической статистике и функциональному анализу

Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
52

Про криптографию (Символ — машина — квант)

Автор: Де Касто Виктор
СПб.: Страта

Чем больше одни стремятся что-то скрыть, тем больше другие хотят это «что-то» узнать. Когда люди только научились писать, их тайны материализовались, представ в образе символов, иероглифов, букв, цифр. Но в таком виде они стали доступны другим. С этого времени началось извечное соревнование между шифровальщиками, пытающимися скрыть информацию, и криптоаналитиками, стремящимися расшифровать ее. Криптография сегодня — это область научных, прикладных, инженерно-технических исследований, основанная на фундаментальных понятиях математики, физики, теории информации и сложности вычислений. В книге рассказывается об истории криптографии: от примитивных систем шифрования и дешифровки, придуманных людьми еще в древние времена, до современных компьютерных алгоритмов — как существующих, так и тех, над которыми работают нынешние ученые-криптографы.

Здесь будет показано, что их нельзя клонировать — например, чтобы собрать более полную статистику результатов

Предпросмотр: Про криптографию (Символ — машина — квант).pdf (0,3 Мб)
Страницы: 1 2