**Данные блоки поддерживают скрол
**Данные блоки поддерживают скрол вверх/вниз
Математическая логика и теория чисел
Математическая логика, часть I
АвторыАлаев П.Е.
ИздательствоНовосибирcкий ГУ
Год издания2014
Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая части пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. ...
Downloaded
2018-08-06
Теория чисел в криптографии
АвторыОрлов В.А., Медведев Н.В., Шимко Н.А., Домрачева А.Б.
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Изложены основы математического аппарата, используемого в современной криптографии; показано его применение при анализе криптосистем и выборе их параметров. Особое внимание уделено вопросам построения криптосистем с открытым ключом. Описание большинства рассмотренных алгоритмов приведено в виде программ на языке программирования Си. <br>Пособие соответствует курсам лекций, которые авторы читают в МГТУ им. Н.Э. Баумана и в МФТИ. Для студентов и аспирантов, изучающих дисциплины по информационной безопасности. ...
Downloaded
2019-10-17
Математическая логика
АвторыЕршов Ю.Л., Палютин Е.А.
ИздательствоФизматлит
Год издания2011
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для специальных курсов. Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика". ...
Downloaded
2016-09-18
Лекции по теории чисел: Учеб. пособие для студентов вузов.
АвторыСизый С.В.
ИздательствоФизматлит
Год издания2008
Настоящее учебное пособие представляет собой переработанный конспект лекций по курсу "Теория чисел" для студентов третьего курса механико-математического факультета Уральского государственного университета. В пособии представлены следующие разделы теории чисел: теория делимости целых чисел, цепные дроби, мультипликативные функции, теория сравнений, трансцендентные числа. Большинство разделов снабжено задачами для самостоятельного решения. Рекомендовано к изданию Научно-методическим советом по математике и механике УМО университетов России в качестве учебного пособия для математических специальностей и направлений подготовки в университетах. Табл. 5. Ил. 8. Библиогр. 22 назв. ...
Downloaded
2014-07-04
Диофантовы приближения и трансцендентные числа
АвторыШидловский А. Б.
ИздательствоФизматлит
Год издания2007
Книга посвящена изложению методов и основных результатов теории трансцендентных чисел. Для студентов, аспирантов и преподавателей университетов и педагогических вузов, а также широкого круга математиков, интересующихся проблемами теории чисел. Рекомендовано учебно-методическим Советом по математике и механике УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности "010101 Математика" Табл. 2. Ил. 1. Библиогр. 165 назв. ...
Downloaded
2016-07-14
Вводный курс математической логики
АвторыУспенский В.А., Верещагин Н.К., Плиско В.Е.
ИздательствоФизматлит
Год издания2007
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв. ...
Downloaded
2014-07-04
Три кита ВМФ: надежность, живучесть, безопасность
АвторыИ.А. Рябинин
ИздательствоПолитехника
Год издания2006
Книга является плодом многолетних размышлений автора о работе, службе, встречах с людьми. Использованы материалы из личных архивов автора и его близких друзей, с которыми ему посчастливилось вместе работать, в частности впервые публикуются материалы из личного архива одного из создателей отечественного атомного подводного флота А.Н. Губанова, любезно предоставленные его семьей. Книга предназначена всем интересующимся историей и судьбой отечественного Флота и Кораблестроения. ...
Downloaded
2015-06-12
Теория тестирования логических устройств
АвторыКудрявцев В.Б., Гасанов Э.Э., Долотова О.А., Погосян Г. Р.
ИздательствоФизматлит
Год издания2006
Тестирование логических устройств - активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции к-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем. Табл.3. Ил. 8. Библиогр.78 назв. ...
Downloaded
2014-02-06
Избранные труды
АвторыПостников А. Г.
ИздательствоФизматлит
Год издания2005
"Избранные труды" выдающегося советского математика А. Г. Постникова (12.06.1921-22.03.1995) содержат его работып о элементарной, аналитической и вероятностной теории чисел. Исследования А. Г. Постникова, включенные в книгу, сформировали современные представления и развили новые методы в этих направлениях математики. ...
Downloaded
2016-07-05
Задачи по теории множеств, математической логике и теории алгоритмов
АвторыЛавров И.А., Максимова Л.Л.
ИздательствоФизматлит
Год издания2002
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. 3-е издание книги вышло в 1995 г. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков. ...
Downloaded
2014-04-30
S-классификация функций трехзначной логики
АвторыМарченков С. С.
ИздательствоФизматлит
Год издания2001
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-зaмкнyтых классов трехзначной логики. В каждом из классов строится конечный базисе по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализируйщихся в области дискретной математики. ...
Downloaded
2014-02-04
Панель управления
Читайте книги в приложении Консутльтант Студента на iOS, Android или Windows