Понятие предиката. Множество истинности предиката. Классификация предикатов
Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
Подобные документы
Определение, типы и примеры отношений, способы их задания; алгебраическая и геометрическая интерпретации. Разбиение на классы и фактор-множество. Смысл отношения эквивалентности. Теорема о равносильности определений. Отношения в школьной математике.
курсовая работа, добавлен 01.10.2011Вычислительные методы линейной алгебры. Интерполяция функций. Интерполяционный многочлен Ньютона. Узлы интерполяции. Интерполяционный многочлен Лагранжа. Интерполяция сплайнами. Коэффициенты кубических сплайнов.
лабораторная работа, добавлен 06.02.2004- 28. Теория множеств
Теория множеств - одна из областей математики. Понятие, обозначение, основные элементы конечных и бесконечных множеств - совокупности или набора определенных и различимых между собой объектов, мыслимых как единое целое. Пустое и универсальное множество.
реферат, добавлен 14.12.2011 Понятие функции в древнем мире: Египет, Вавилон, Греция. Графическое изображение зависимостей, история возникновения. Вклад в развитие графиков функций Рене Декартом. Определение функций: понятие и способы задания. Методы построения графиков функций.
реферат, добавлен 09.05.2009Типы бинарных отношений. Изображение графов в виде схемы. Цикл в графе, совпадение его начальной и конечной вершины. Понятие достижимости в теории графов, их математические свойства. Частично упорядоченное множество как один из типов бинарного отношения.
контрольная работа, добавлен 04.09.2010Краткое историческое описание становления теории множеств. Теоремы теории множеств и их применение к выявлению структуры различных числовых множеств. Определение основных понятий, таких как мощность, счетные, замкнутые множества, континуальное множество.
дипломная работа, добавлен 30.03.2011- 32. Пределы функций
Нахождение пределов функций. Определение значения производных данных функций в заданной точке. Проведение исследования функций с указанием области определения и точек разрыва, экстремумов и асимптот. Построение графиков функций по полученным данным.
контрольная работа, добавлен 11.03.2015 Понятие числовых функций с областью определения, аргумент и области их значений, свойства и графическое выражение. Определение четных и нечетных функций, периодичность тригонометрических функций. Свойства, используемые при построении их графиков.
презентация, добавлен 13.12.2011Уравнение как равенство, содержащее неизвестное число. Примеры уравнений с одной переменной. Условия обращения уравнения в истинное числовое равенство – его решение (корень). Множество решений уравнения. Уравнение без решения (множество решений пусто).
презентация, добавлен 20.12.2011Конечное или счетное множество как совокупность возможных значений дискретной случайной величины. Анализ закона распределения функции одного случайного аргумента. Характеристика условий, от которых зависит монотонное возрастание и убывание функции.
презентация, добавлен 24.04.2019Методы исследования операций для количественного анализа сложных целенаправленных процессов. Решение задач методом полного перебора и оптимальной вставки (определение всевозможных расписаний, их очередности, выбор оптимального). Генератор исходных данных.
курсовая работа, добавлен 01.05.2011- 37. Сложность задач
Предмет вычислительной техники - задачи, которые умеют решать машины. Измерение сложности задачи. Алгоритм сортировки слиянием. Полиномиальные и не полиномиальные задачи. Понятие недетерменированного алгоритма. Графическое представление классификации.
презентация, добавлен 22.10.2013 Изучение понятия о логической величине. Отличия общих, частных, единичных высказываний. Таблица истинности. Принципы использования простых и составных логических выражений. Вложенное ветвление. Определение наибольшего среди трех чисел неполного ветвления.
презентация, добавлен 09.10.2013Понятие и назначение интегралов, их классификация и разновидности. Вычисление интегралов от тригонометрических функций: методика, основные этапы, используемые инструменты. Интегралы, зависящие от параметра, их отличительные особенности и вычисление.
курсовая работа, добавлен 19.09.2011Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Характеристика тригонометрических понятий. Свойства тригонометрических функций, особенности их практического применения в электротехнике. Исследование электрических сигналов путем визуального наблюдения графика сигнала на экране с помощью осциллографа.
презентация, добавлен 28.05.2016График функции как множество всех точек координатной плоскости, абсциссы которых равны значениям аргументов, а ординаты – соответствующим значениям функции. Исследование графиков функций и графическое решение уравнений, их разновидности и особенности.
контрольная работа, добавлен 10.11.2010Определение многогранника, его сторон и вершин, отрезков, соединяющих вершины. Описание основания, боковых граней и высоты призмы. Правильная и усеченная пирамида. Теорема Эйлера. Анализ особенностей и геометрических свойств правильных многогранников.
презентация, добавлен 27.10.2013Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
курсовая работа, добавлен 27.04.2011Структура и элементы, принципы формирования и правила разрешения систем линейных алгебраических уравнений. История развития различных методов решения: матричного, Крамера, с помощью функции Find. Особенности применения возможностей программы Mathcad.
контрольная работа, добавлен 09.03.2016Математическое ожидание случайной величины как ее характеристическая функция, определение ее свойств и признаков, расчет производных. Теоремы Хелли, особенности и направления их практического применения, условия и возможности расчета заданных функций.
курсовая работа, добавлен 30.01.2014Условия возникновения и особенности вычисления функций Матье, характеристика дифференциального уравнения Матье. Алгоритм решения задачи и алгоритмы вычисления радиальных функций эллиптического цилиндра. Определение точности результатов вычисления.
научная работа, добавлен 02.05.2011Сущность понятия "фрактал". Сущность фрактальной размерности. Размерность Хаусдорфа и ее свойства. Канторово множество и его обобщение. Снежинка и кривая Коха. Кривая Пеано и Госпера, их особенности. Ковер и салфетка Серпинского. Дракон Хартера-Хейтуэя.
курсовая работа, добавлен 23.07.2011Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010Окружность множество точек плоскости, равноудаленных от данной точки. Эллипс, множество точек плоскости, для каждой из которых сумма расстояний до двух точек плоскости. Парабола, множество точек плоскости, равноудаленных от данной точки плоскости.
реферат, добавлен 03.08.2010