Создан заказ №2159097
2 июня 2017
Замкнутые классы 5- значной логики, содержащие линейные функции
Как заказчик описал требования к работе:
Срочно выполнить курсовую работу по логике с оформлением по госту и списком литературы. Срок 8 дней, подробное описание темы приложено к заданию
Фрагмент выполненной работы:
Введение
Теория булевых - Р2 и многозначных дискретных функций – Рk играет большую роль в дискретной математике, в компьютерной алгебре, теории функциональных схем, автоматов, кодировании, теории алгоритмов, проблем обучения в системах искусственного интеллекта и т.д..
Одной из основных проблем в этой области являются проблемы полноты, непротиворечивости и разрешимости. Части этих проблем ( полноты ) посвящена данная работа - проблемам классификации 5-ти значной логики содержащей линейные функции. (работа была выполнена специалистами author24.ru) Другими словами проблеме представления функций обладающих заранее известными свойствами. Общим подходом в решении этой проблемы в математике, является введение элементарных функций, определенных на некотором множестве, свойства которых известны и введении операции суперпозиции ( композиции, сложных функций ) над элементарными, таким образом, чтобы результат обладал теми же свойствами. Пусть задано множество М и множество однозначных соответствий над М – F={f, f1,…, u,…,g,…}: f M, для любой функции из F. Пусть y=f(x), x=g(u) тогда выражение fg= f(g(u))M называется суперпозицией f,g если y=f(g(u)). Например в анализе заданы элементарные непрерывные функции sin(x), cos(y), y=sin(cos(y)) суперпозиция этих функций, также обладает свойством непрерывности.
В теории многозначных дискретных функций, для их представления, широко используется подход на основе замыкания множества функций по тем или иным критериям, на основе операторов(операций) суперпозиции.
Но если в булевой алгебре-Р2 существует счетное количество замкнутых классов, с помощью которых и операции суперпозиции может быть представлена любая функция из Р2, то в системах Рk, k>2, множество функций, следовательно и замыканий, имеет мощность континуум. Для решения этой проблемы были введены понятия «сильных» операторов, другими словами рассматриваются операции суперпозиции с рядом ограничений, которые позволяют перейти от замыканий мощности континуум к счетной, чем «сильнее» оператор, тем меньше мощность классов замыкания [2,3,7].
Одним из первых сильных операторов замыкания стал оператор параметрического замыкания, введенный А.В. Кузнецовым. В работе рассматривается проблема построения замкнутых классов 5 - значной логики, содержащие линейные функции.
Объект исследования – k-значные логики и их свойства.
Предмет исследования – 5-значные логики и их свойства, проблемы представления, замкнутые классы.
Работа состоит из введения, трех глав, заключения и списка используемой литературыПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
5 июня 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Замкнутые классы 5- значной логики, содержащие линейные функции.docx
2020-05-30 16:57
Последний отзыв студента о бирже Автор24
Общая оценка
4.2
Положительно
Автор выполнил курсовую работу по указанным требованиям, мне работа понравилась, я довольна.