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