Хрестоматийная статья британского математика Алана Тьюринга, опубликованная в философском журнале Mind в 1950 году, а рамках которой автор предложил критерий того, как можно определить, обладает ли компьютерная программа интеллектом. Данный критерий принято называть тестом Тьюринга. Суть теста заключается в том, что компьютерная программа должна в процессе диалога заставить человека поверить в то, что он разговаривает не с компьютером, а с настоящим человеком.
Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов. Для специалистов, работающих в области математической кибернетики и дискретной математики, а также для учащихся вузов, специализирующихся в этих областях.
Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных вычислительных машин.
Рассматриваются базисы вида Ф U ν, где Ф – некоторый замкнутый класс булевых функций, заданный своим конечным базисом, а ν – конечная система автоматных функций. Описаны все классы Поста Ф, для которых разрешима проблема полноты и, соответственно, А-полноты для базиса Ф U ν. Приведены аналогичные результаты для многозначных логик. Для студентов, аспирантов и научных сотрудников, специализирующихся в области математической кибернетики и дискретной математики.
Тестирование логических устройств -активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевские функции из классов Поста, а также функции \$k\$-значной логики. Приводятся соответствующие процедуры построения таких тестов. Книга рассчитана на специалистов в области надежности и контроля управляющих систем, а также на студентов и аспирантов, специализирующихся в ней.
Описывается логический подход к распознаванию образов. Его основным понятием выступает тест. Анализ совокупности тестов позволяет строить функционалы, характеризующие образ и процедуры вычисления их значений. Указываются качественные и метрические свойства тестов, функционалов и процедур распознавания. Приводятся результаты решения конкретных задач. Книга может быть рекомендована математикам, кибернетикам, информатикам и инженерам как научная монография и как новый технологический аппарат, а также как учебное пособие для студентов и аспирантов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.
В монографии вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели данных. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач, основанный на методах теории сложности управляющих систем, теории вероятностей, а также на оригинальных методах характеристических носителей графа, оптимальной декомпозиции и снижения размерности. С помощью этого аппарата получены характеристики сложности решения рассматриваемых задач поиска близкие к оптимальным, а сами решения доведены до алгоритмической реализации. Новая модель данных может найти применение при проектировании физической организации баз данных, а также при разработке интегральных схем, обеспечивающих аппаратную реализацию быстрых алгоритмов поиска. Книга может быть рекомендована математикам, кибернетикам, информатикам и инженерам как научная монография и как новый технологический аппарат, а также как учебное пособие для студентов и аспирантов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.
Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Для студентов, аспирантов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.