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

Свободный доступ

Ограниченный доступ

Уточняется продление лицензии
Автор: Непейвода Н. Н.
М.: Директ-Медиа
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).
Кондорсе стал одним из основателей математической статистики. <...> Большинство его работ посвящено теории вероятностей, математической статистике и функциональному анализу
Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
Автор: Де Касто Виктор
СПб.: Страта
Чем больше одни стремятся что-то скрыть, тем больше другие хотят это «что-то» узнать. Когда люди только научились писать, их тайны материализовались,
представ в образе символов, иероглифов, букв, цифр. Но в таком виде они стали доступны другим. С этого времени началось извечное соревнование между шифровальщиками, пытающимися скрыть информацию, и криптоаналитиками, стремящимися расшифровать ее. Криптография сегодня — это область научных, прикладных, инженерно-технических исследований,
основанная на фундаментальных понятиях математики, физики, теории информации и сложности вычислений. В книге рассказывается об истории криптографии: от примитивных систем шифрования и дешифровки,
придуманных людьми еще в древние времена, до современных компьютерных алгоритмов — как существующих, так и тех, над которыми работают нынешние
ученые-криптографы.
Здесь будет показано, что их нельзя клонировать — например, чтобы собрать более полную статистику результатов
Предпросмотр: Про криптографию (Символ — машина — квант).pdf (0,3 Мб)