Основные функции логики
Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
Подобные документы
Виды и методы решения функциональных уравнений, изучаемых в школьном курсе математики, с применением теории матриц, элементов математического анализа и сведения функционального уравнения к известному выражению с помощью замены переменной и функции.
курсовая работа, добавлен 07.02.2016- 102. Число Пи
Число Пи как математическая константа. Основные особенности вычисления числа Пи. Методы определения численного значения числа Пи. Влияние трудов И. Ньютона и Г. Лейбница на ускорение вычисления приближенных значений Пи. Анализ формул древних ученных.
курсовая работа, добавлен 26.09.2012 Определение исследования операция как применения научного метода комплексными научными коллективами для решения задач, связанных с управлением организованными (человеко-машинными) системами с целью получения решений. Анализ отличительных особенностей ИСО.
реферат, добавлен 27.06.2011Общие свойства эллиптических интегралов и эллиптических функций. Параллелограммы периодов, основные теоремы. Эллиптические функции второго порядка. Вычисление длины дуги эллипса, эллиптические координаты, сумма вычетов эллиптической функции.
курсовая работа, добавлен 26.04.2011Система линейных уравнений. Общее и частные решения системы линейных уравнений. Нахождение векторного произведения. Приведение уравнения кривой второго порядка к каноническому виду. Исследование функции на непрерывность. Тригонометрическая форма числа.
контрольная работа, добавлен 26.02.2012Понятие, виды, функции средней величины и значение метода средних величин статистике. Особенности уравнения тренда на основе линейной зависимости. Парные и частные коэффициенты корреляции. Сущность предела нахождения среднего процента содержания влаги.
контрольная работа, добавлен 07.12.2008Зависимость переменной у от переменной x. Способы задания функции. Степенная функция с целым отрицательным показателем, с положительным дробным показателем. Положительная несократимая дробь. Прямая пропорциональность и коэффициент пропорциональности.
реферат, добавлен 24.09.2014Определение плоскости комплексного переменного, последовательностей комплексных чисел и пределов последовательностей. Дифференцирование функций, условия Коши, интеграл от функции. Числовые и степенные ряды, разложение функций, операционные исчисления.
курсовая работа, добавлен 17.11.2010Возникновение и основные этапы развития математики как науки о структурах, порядке и отношениях на основе операций подсчета, измерения и описания форм реальных объектов. Развитие знаний арифметики и геометрии в Древнем Востоке, Вавилоне и Древней Греции.
презентация, добавлен 17.12.2010Расчет показателей матрицы, ее определителя по строке и столбцу. Решение системы уравнений методом Гаусса, по формулам Крамера, с помощью обратной матрицы. Вычисление предела без использования правила Лопиталя. Частные производные второго порядка функции.
контрольная работа, добавлен 23.02.2012Функция принадлежности в форме трапеции, ее представление. Составление проекта бюджета. Сумма и разность нечетких переменных. Операция нечеткого выбора. Порядок вычисления бюджета. Решение задачи с использованием трапециевидной функции принадлежности.
презентация, добавлен 15.10.2013Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Алгоритм построения минимального остовного дерева. Последовательность выполнения алгоритма Прима, его содержание и назначение. Процедура рисования графа. Порядок составления и тестирования программы, ее интерфейс, реализация и правила эксплуатации.
курсовая работа, добавлен 30.04.2011Понятие и оценка необходимости в статистической обработке психологических данных. Методика и основные этапы математической обработки полученных данных, его критерии и параметры: признаки и переменные, шкалы измерения, анализ и оценка уровня значимости.
презентация, добавлен 28.02.2014Общие сведения о пересечении кривых поверхностей. Способ вспомогательных секущих плоскостей. Пересечение поверхностей с параллельными осями. Применение способа концентрических сфер. Последовательность нахождения горизонтальных проекций заданных точек.
методичка, добавлен 18.02.2015- 117. Неравенства
Понятие неравенства, его сущность и особенности, классификация и разновидности. Основные свойства числовых неравенств. Методика графического решения неравенств второй степени. Системы неравенств с двумя переменными, с переменной под знаком модуля.
реферат, добавлен 31.01.2009 - 118. Функции
Способы задавания функции: табличный, графический и аналитический. Область определения и область значений функции, промежутки ее знакопостоянства. Свойства постоянной функции. Множества значений функции y=arctgx. Основные свойства функции y=sinx.
реферат, добавлен 22.06.2019 Обчислення меж гіперболічних функцій та замінна змінного. Порівняння гіперболічних і зворотних до них функцій. Диференціювання зворотних гіперболічних функцій, невизначений інтеграл. Розкладання гіперболічних функцій по формулах Тейлора та Маклорена.
курсовая работа, добавлен 11.02.2011Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа, добавлен 28.05.2015Классическая последовательность чисел Фибоначчи, определение основных понятий, схематическое изображение этой последовательности, ее свойства. Упорядочивание, вычисление элементов последовательности. Некоторые зависимости между мнимыми тройками.
реферат, добавлен 07.09.2009- 122. Числовые ряды
Числовой ряд - бесконечная последовательность чисел, соединенных знаком сложения. Сумма n первых членов ряда. Функция натурального аргумента. Свойства сходящихся и расходящихся рядов. Понятие и формула расчета n-ного остатка. Поиск суммы исходного ряда.
презентация, добавлен 18.09.2013 Теоретические основы, значение, особенности и методика применения различных способов решения нестандартных задач в развитии математического мышления младших школьников. Логические задачи как средство развития математического мышления младших школьников.
курсовая работа, добавлен 19.04.2010Сущность предела функции, ее производной и дифференциала. Основные теоремы о пределах и методы их математического вычисления. Производная, ее физический и геометрический смысл. Связь непрерывности и дифференцируемости, основные правила дифференцирования.
презентация, добавлен 24.06.2012Стек: основные понятия и закономерности, описание переменных, процесс инициализации, проверка на чистоту и вершина. Механизм считывания элемента с последующим удалением. Понятие и характеристики очереди. Дек: порядок добавления и удаления элементов.
курсовая работа, добавлен 28.04.2011