Фундаментальные и общие проблемы математики. Основания математики, математическая логика

Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

Предлагается программа для моделирования и анализа рассуждений.

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

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

Методические указания содержат варианты индивидуальных заданий № 1, 2, 3, а также необходимый материал для самостоятельного изучения и выполнения индивидуальных заданий. Для качественного усвоения курса в издании даны подробные определения, примеры, иллюстрации и обоснования.