Понятие предиката. Множество истинности предиката. Классификация предикатов
Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
Подобные документы
- 51. Математика
Практическое решение задач по математике: систем неравенств, определяющих множество внутренних точек треугольника; уравнений параболы и ее директрисы; функций, заданных различными аналитическими выражениями для различных областей изменения переменной.
контрольная работа, добавлен 05.06.2008 История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Логический синтез устройства с использованием соотношений булевой алгебры. Составление таблицы истинности. Основные соотношения булевой алгебры. Логическая функция в смысловой, словесной, вербальной, табличной и аналитической математической формах.
лабораторная работа, добавлен 26.11.2011Линейная алгебра. Комплексные числа. Деление отрезка в данном отношении. Площадь треугольника и многоугольника. Сферические и цилиндрические поверхности. Замечательные и вычислительные пределы. Производства и дифференциал. Построение графика функций.
методичка, добавлен 19.06.2015Граф как множество вершин (узлов), соединённых рёбрами, способы и сфера их применения. Специфика теории графов как раздела дискретной математики. Основные способы преобразования графов, их особенности и использование для решения математических задач.
курсовая работа, добавлен 18.01.2013Определение и простейшие свойства измеримой функции. Дальнейшие свойства измеримых функций. Последовательности измеримых функций. Сходимость по мере. Структура измеримых функций. теоремы о приближении измеримых функций.
курсовая работа, добавлен 28.05.2007Особенности метода аппроксимации табулированных функций. Рассмотрение преимуществ работы в среде математической программы Mathcad. Метод наименьших квадратов как наиболее распространенный метод аппроксимации экспериментальных данных, сферы применения.
курсовая работа, добавлен 30.09.2012Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.
контрольная работа, добавлен 02.01.2011Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Классификация основных элементарных функций: степенные, показательные, логарифмические, тригонометрические и обратные тригонометрические. Определение и простейшие свойства линейной и квадратичной функции. Понятие обратной пропорциональной зависимости.
презентация, добавлен 29.10.2015- 61. Предел функций
Определение второго замечательного предела. Понятие бесконечно малых функций. Математическое описание непрерывности зависимости одной переменной величины от другой в точке. Точки разрыва функции. Свойства и непрерывность ее в интервале и на отрезке.
презентация, добавлен 14.11.2014 Особенности применения функций Ляпунова для исследования устойчивости различных дифференциальных уравнений и систем. Алгоритм и листинг программы определения устойчивости матрицы на основе использования метода Раусса-Гурвица в среде моделирования Matlab.
реферат, добавлен 23.10.2014- 63. Ряд Фурье
Условия разложения функций для тригонометрического ряда. Определение коэффициентов разложения с помощью ортогональности систем тригонометрических функций. Понятие периодического продолжения функции, заданной на отрезке. Ряд Фурье функции у=f(x).
презентация, добавлен 18.09.2013 Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
курсовая работа, добавлен 12.07.2015Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа, добавлен 17.05.2015Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.
реферат, добавлен 11.03.2009Математическая теория нечетких множеств, история развития. Функции принадлежности нечетких бинарных отношений. Формирование и оценка перспективного роста предприятия оптовой торговли. Порог разделения ассортимента, главные особенности его определения.
контрольная работа, добавлен 08.11.2011- 69. Основы черчения
Понятие чертежа и определение значения в жизни человека, история становления и развития, основные правила оформления. Разновидности чертежных шрифтов и особенности их применения. Правила нанесения размеров и вычисление масштабов. Понятие проецирования.
контрольная работа, добавлен 26.05.2010 Рассмотрение и анализ основных свойств показательной функции: решение задач, способы построения графиков. Понятие и примеры применения гиперболических функций, их роль в различных приложениях математики. Способы нахождения области определения функции.
контрольная работа, добавлен 01.11.2012Система линейных неравенств, определяющих треугольник. Доказательство базиса четырехмерного пространства и определение координат вектора. Исследование функций на периодичность, монотонность и экстремум. Площади фигуры, ограниченной графиками функций.
контрольная работа, добавлен 26.01.2010Построение функций предпочтения при произвольном базовом многокритериальном объекте. Частная нормированная функция предпочтений и принципы ее коррекции. Функциональные требования и описание логической структуры данной функции, анализ работы приложения.
курсовая работа, добавлен 22.03.2014Алгоритм конструирования: выделение опорных утверждений, решение задачи, выбор утверждений для перефразировки и их изменение, перефразировка, решение полученной задачи. Обобщение. Конструкция. Частный случай. Перефразировка. Варьирование условий.
реферат, добавлен 14.10.2002- 74. Правила перевода из двоичной системы числения в восьмеричную и шестнадцатеричную системы счисления
Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.
презентация, добавлен 12.01.2014 Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010