Математическая логика

Фрактальная логика

В. В. Тарасенко

Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно...

Автоматика. Учебник и практикум

Е. А. Чернов

Автоматика. Учебник и практикум для спо

Серебряков А. С., Семенов Д. А., Чернов Е. А. ; Под общ. ред. Серебрякова А.С.

Цель настоящего учебника — изложить основные методы теории автоматического управления с учетом новейших разработок и таким образом дать представление о современном состоянии данной области науки. Учебник представляет...

Азбука математической логики

Г. П. Мельников

Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д.),...

Азбука математической логики

Г. П. Мельников

Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т.д.),...

Введение в алгебру. Часть 3. Основные структуры алгебры

Алексей Кострикин

Алгебраические структуры, известные из первых двух частей учебника (группы, кольца, модули), изучаются на несколько более высоком уровне. Идеи и результаты теории представлений, подкрепленные многочисленными...

Введение в теорию алгебр

Н. Г. Чеботарев

Предлагаемая вниманию читателей книга написана выдающимся российским математиком Н.Г.Чеботаревым и должна была, по замыслу автора, войти в его известную книгу `Теория Галуа`. Однако она представляет и самостоятельную...

Вычислимые функции. (Лекции по математической логике и теории алгоритмов. Часть 3)

Верещагин Н. К., Шень А.

Декомпозиция булевых функций на основе решения логических уравнений

П. И. Бибило

В монографии рассматриваются задачи декомпозиции булевых функций и систем булевых функций, основным приложением которых является синтез логических схем в различных технологических базисах. В отличие от известных...

Дискретная математика и математическая логика

Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика,...

Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

М. В. Триумфгородских

В книге изложен ряд разделов и вопросов дискретной математики и математической логики, изучаемых главным образом на младших курсах вузов. В данное издание включены не только основные понятия и теоретические положения...

Дискретная математика. Практическая дискретная математика и математическая логика

С.Ф. Тюрин

Представлены по двум разделам дискретной математики все аспекты практических занятий - контрольные вопросы, подробная методика решения типовых задач, задачи для самостоятельной работы в аудитории и для внеаудиторных...

Длина, площадь, объем

Мерзон Г.А., Ященко И.В.

Шестая книжка серии "Школьные математические кружки" посвящена различным подходам к сравнению и вычислению площадей и объемов и предназначена для занятий со школьниками 6-11 классов. В нее вошли разработки четырех...

Длина, площадь, объем

Г. А. Мерзон Иван Валерьевич Ященко

Шестая книжка серии ШКОЛЬНЫЕ МАТЕМАТИЧЕСКИЕ КРУЖКИ посвящена различным подходам к сравнению и вычислению площадей и объёмов и предназначена для занятий со школьниками 6-11 классов. В неё вошли разработки четырёх...

Длина, площадь, объем

Мерзон Г. А., Ященко И. В.

Шестая книжка серии "Школьные математические кружки" посвящена различным подходам к сравнению и вычислению площадей и объемов и предназначена для занятий со школьниками 6-11 классов. В нее вошли разработки четырех...

Доказательства и опровержения: Как доказываются теоремы. Пер. с англ

Имре Лакатос

Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922-1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с...

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. Учебное пособие для вузов, 2-е изд., стер

Глухов М. М., Козлитин О. А. и др.

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

Задачи и упражнения по математической логике и теории алгоритмов

В. И. Игошин

учеб. пособие для студ. высш. учеб. заведений; Гриф МО РФ; Учебное пособие; ВУЗ; Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе...

Задачи и упражнения по математической логике и теории алгоритмов. 3-е издание

В. И. Игошин

Для студентов педагогических вузов

Задачи и упражнения по математической логике и теории алгоритмов. 4-е издание

М. П. Лапчик

Учебное пособие для ВУЗов

Занимательная логика

Кольман Э., Зих О.

Избранные труды. Т.II: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. Т.II

Алексей Марков

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

Интегрируемые системы классической механики и алгебры Ли

А. М. Переломов

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

Искусственный интеллект. Методология, применения, философия

Финн В.К.

В настоящей книге систематически рассматривается главный продукт искусственного интеллекта - интеллектуальные системы. Интеллектуальные системы, представленные в книге, реализуют оригинальный метод анализа данных и...

Курс лекций по дискретной математике. Часть 2. Математическая логика

Евгений Просолупов

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