Понятие предиката. Множество истинности предиката. Классификация предикатов
Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
| Рубрика | Математика |
| Предмет | Теория алгоритмов |
| Вид | курсовая работа |
| Язык | русский |
| Прислал(а) | Сергей |
| Дата добавления | 22.05.2015 |
| Размер файла | 258,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Машина Тьюринга как абстрактный исполнитель, осуществляющий алгоритмический процесс. Внешний и внутренний алфавит. Главные функции, цели и возможности памяти и каретки. Описание работы машины. Общий вид решения, записанного с помощью конфигураций.
презентация [1,3 M], добавлен 01.02.2015Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
контрольная работа [35,0 K], добавлен 12.08.2010Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат [94,6 K], добавлен 24.07.2014Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Общая структура системы массового обслуживания. Каналы и линии связи, вычислительные машины, объединенные общей структурой, число каналов обслуживания. Регулярный поток с ограниченным последействием. Применение различных величин и функций в системе.
курсовая работа [199,4 K], добавлен 13.11.2011Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
контрольная работа [29,9 K], добавлен 14.06.2009Множество: понятие, элементы, примеры. Разность двух множеств, их пересечение. Множество действительных, рациональных, иррациональных, целых и натуральных чисел, особенности изображения их на прямой. Общее понятие о взаимно однозначном соответствии.
презентация [273,1 K], добавлен 21.09.2013Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Понятие нечеткого множества и свойства его элементов. Определение логических операций: отрицания, конъюнкции, дизъюнкции. Основные этапы нечеткого вывода, метод центра тяжести. Оценка состояния повреждения объекта на основе теории нечетких множеств.
курсовая работа [316,8 K], добавлен 22.07.2011Определение, свойства и примеры функциональных уравнений. Основные методы их решения, доказательство некоторых теорем. Понятие группы функций, применение их при решении функциональных уравнений с несколькими переменными. Класс уравнений типа Коши.
курсовая работа [86,3 K], добавлен 01.10.2011
