snab-remont.ru

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Математическая логика. Введение в математическую логику. 6-е издание. Драгалин А. Г., Колмогоров А.Н.

Математическая логика: Дополнительные главы. 5-е издание. Колмогоров А.Н., Драгалин А.Г.

Мальцев Иван Анатольевич Дискретная математика. Учебное пособие

Книга содержит следующие разделы: теория множеств, комбинаторика, графы, математическая логика, конечные автоматы, теория алгоритмов, теория чисел, алгебраические системы. Поскольку дискретная математика обычно читается студентам младших курсов, материал излагается доступно и иллюстрируется многочисленными примерами. Книга адресована студентам, аспирантам и преподавателям вузов, а также лицам, желающим самостоятельно познакомиться с основными разделами дискретной математики. 4-е издание, стереотипное.

Верещагин Н., Шень А. Вычислимые функции. Математическая логика и теория алгоритмов

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.Предыдущее издание книги вышло в 2012 г.

Верещагин Н., Шень А. Вычислимые функции. Математическая логика и теория алгоритмов

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.Предыдущее издание книги вышло в 2012 г.

Глухов Михаил Михайлович, Козлитин Олег Алексеевич, Шапошников Виталий Анатольевич Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. Уч. пособие

Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов.Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика. 3-е издание, стереотипное.

Гуц А. Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Гуц А. Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Сапожников Андрей Александрович, Мымрин Вячеслав Валерьевич Дом. работа по алгебре и нач. анализа к уч. А.Н. Колмогорова и др. Алгебра и начала анализа. 10 кл

Издание карманного формата. В пособии решены, и в большинстве случаев подробно разобраны задачи и упражнения из учебника "Алгебра и начала анализа: Учебник для 10-11 кл. общеобразовательных учреждений / А.Н. Колмогоров, А.М. Абрамов, Ю.П. Дудницын и др.; -14-е изд. - М.: Просвещение, 2004 г." Пособие будет полезно родителям, которые смогут проконтролировать правильность решения, а в случае необходимости помочь детям в выполнении домашней работы.

Попов А. Н. Мальта, 2-е издание

Мальта привлекает путешественников как добротный средиземноморский курорт с теплым прозрачным морем, ночными клубами, своеобразной кухней, а также множеством праздников. В этом путеводителе представлены: - 29 городов - 32 музея - 9 дворцов - 6 планов и схем - более 120 иллюстраций. 2-е издание, исправленное.

Златопольский Дмитрий Михайлович Занимательная информатика. Учебное пособие

Книга во многом аналогична популярным книгам "Занимательная физика" Я. И. Перельмана, "Математические чудеса и тайны" М. Гарднера, "В царстве смекалки" Е. И. Игнатьева, "Математическая смекалка" Б. А. Кордемского и др. Она содержит большое количество разнообразных занимательных логических задач и головоломок, интересных фактов и полезных программ, простейших компьютерных игр, фокусов и др. Материалы книги охватывают широкий круг вопросов информатики, вычислительной техники и информационных и коммуникационных технологий (системы счисления, кодирование информации, логика, основы программирования, Интернет и др.). Эти материалы можно использовать как в учебном процессе, так и для внеклассной работы с учащимися. Для всех, кто интересуется информатикой. 5-е издание.

Лавров Игорь Андреевич, Максимова Лариса Львовна Задачи по теории множеств, математической логике и теории алгоритмов

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков. 5-е издание, исправленное.

Верещагин Н., Шень А. Языки и исчисления. Математическая логика и теория алгоритмов

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.

Верещагин Н., Шень А. Языки и исчисления. Математическая логика и теория алгоритмов

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.