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

Теория алгоритмов: учебное пособие - ("высшее образование") (гриф)

И. А. Палий

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

Теория множеств. Пер. с нем

Хаусдорф Ф.

Теория алгоритмов. Введение в сложность вычислений

Крупский В. Н.

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

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

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

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

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

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

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

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

Е. А. Чернов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

П. И. Бибило

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

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

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

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

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

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

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

С.Ф. Тюрин

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

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

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

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

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

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

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

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

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

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

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

Имре Лакатос

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

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

М. П. Лапчик

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

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

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

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

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

В. И. Игошин

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

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

В. И. Игошин

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

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

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