Основные функции логики

Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.

Подобные документы

  • Многие переменные, минимизация их функций. Точки максимума и минимума называются точками экстремума функции. Условия существования экстремумов функции многих переменных. Квадратичная форма, принимающая, как положительные, так и отрицательные значения.

    реферат, добавлен 05.09.2010

  • Способы построения искусственного базиса задачи. Выражение искусственной целевой функции. Математическая модель задачи в стандартной форме. Получение симплекс-таблиц. Минимизации (сведения к нулю) целевой функции. Формы преобразования в задаче равенства.

    задача, добавлен 21.08.2010

  • Основные положения теории принятия решений, разработанной на основе математических методов и формальной логики, классификация управленческих решений. Некорректно поставленные задачи и регуляризирующие (робастные) алгоритмы: адаптивные, инвариантные.

    курсовая работа, добавлен 23.11.2010

  • Эквивалентность, ее формальные свойства и операции над отношениями. Доказательство основных теорем, лемм. Отношения эквивалентности на числовой прямой. Характерные свойства толерантности. Применение эквивалентности и толерантности в сферах различных наук.

    курсовая работа, добавлен 20.09.2009

  • Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.

    курсовая работа, добавлен 12.12.2012

  • Виды преобразования симметрии фигур. Понятие оси и плоскости симметрии. Одновременное применение преобразований поворота и отражения, зеркально-поворотная ось. Сопряженные элементы, подгруппы и общие свойства и классификация групп операций симметрии.

    реферат, добавлен 25.06.2009

  • Приближение действительных чисел конечными десятичными дробями. Действия над комплексными числами. Свойства функции и способы ее задания. Тригонометрические функции числового аргумента. Частные случаи тригонометрических уравнений, аксиомы стереометрии.

    шпаргалка, добавлен 29.06.2010

  • Понятие функции двух и более переменных, ее предел и непрерывность. Частные производные первого и высших порядков. Определение полного дифференциала. Необходимые и достаточные условия существования экстремума и его нахождение на условном множестве.

    реферат, добавлен 03.08.2010

  • Определение точки экстремума для функции двух переменных. Аналог теоремы Ферма. Критические, стационарные точки. Теорема "Достаточное условие экстремума", доказательство. Схема исследования функции нескольких переменных на экстремум, практический пример.

    презентация, добавлен 17.09.2013

  • Выбор основного алгоритма решения задачи. Требования к функциональным характеристикам программы. Минимальные требования к составу и параметрам технических средств и к информационной и программной совместимости. Логические модели, блок-схемы алгоритмов.

    курсовая работа, добавлен 16.11.2010

  • Понятие функции как важнейшее понятие математики, ее общие свойства. Особенности обратной функции, ее экстремумы. Наибольшее и наименьшее значение функции, ее периодичность, четность и нечетность. Нуль функции, промежутки знакопостоянства, монотонность.

    презентация, добавлен 18.12.2014

  • Вычисление математических последовательностей и определение числа, которое называется пределом последовательности. Методы расчетов предела функции. Произведение бесконечно малой функции и ограниченной функции. Определение предела последовательности.

    контрольная работа, добавлен 17.12.2010

  • Функции нескольких переменных. Локальные экстремумы функции двух переменных. Производная по направлению. Двойные и тройные интегралы. Вычисление объемов тел и площадей плоских фигур. Тройной интеграл, криволинейные интегралы первого и второго рода.

    учебное пособие, добавлен 23.04.2012

  • Понятия теории графов, их связность и задача о кратчайшей цепи. Программная реализация метода Дейкстры, его сравнение с методом простого перебора. Описание логики программного модуля. Примеры работы программы нахождения кратчайшей цепи в связном графе.

    курсовая работа, добавлен 25.11.2011

  • Сущность графического метода нахождения оптимального значения целевой функции. Особенности и этапы симплексного метода решения задачи линейного программирования, понятие базисных и небазисных переменных, сравнение численных значений результатов.

    задача, добавлен 21.08.2010

  • Общие характеристики алгоритмов стандартов шифрования РФ и США. Особенности архитектурных принципов. Сравнение раундов шифрования. Эквивалентность прямого и обратного преобразований. Выработка ключевых элементов. Характеристики стойкости алгоритмов.

    курсовая работа, добавлен 25.12.2014

  • Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.

    презентация, добавлен 21.09.2013

  • Спиральная последовательность квадратов чисел. Последовательность чисел Фибоначчи и "золотое сечение" Леонардо да Винчи. Живые и неживые числа. Общая корзина "Гармонии Мироздания". Показательная спираль живой органики или спираль "Китовраса".

    статья, добавлен 18.04.2012

  • Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.

    курсовая работа, добавлен 27.04.2011

  • Уравнения с разделяющими переменными. Частное решение линейного дифференциального уравнения. Оценка вероятностей с помощью неравенства Чебышева. Нахождение плотности нормального распределения. Построение гистограммы и выборочной функции распределения.

    контрольная работа, добавлен 09.12.2011

  • Функция одной независимой переменной. Свойства пределов. Производная и дифференциал функции, их приложение к решению задач. Понятие первообразной. Формула Ньютона-Лейбница. Приближенные методы вычисления определенного интеграла. Теорема о среднем.

    конспект урока, добавлен 23.10.2013

  • Понятие и отличительные особенности численных методов решения, условия и возможности их применения. Оптимизация функции одной переменной, используемые методы и закономерности их комбинации, сравнение эффективности. Сущность и разновидности интерполяции.

    реферат, добавлен 29.06.2015

  • Понятие знакочередующихся рядов. Последовательность частичных сумм четного и нечетного числа членов. Исследование сходимости ряда. Проверка выполнения признака Лейбница. Погрешность при приближенном вычислении суммы сходящегося знакочередующегося ряда.

    презентация, добавлен 18.09.2013

  • Предел последовательности, его графическое изображение. Основные свойства сходящихся последовательностей. Бесконечно большие и бесконечно малые функции, связь между функций, ее приделом и бесконечно малой функцией. Первый и второй замечательный предел.

    контрольная работа, добавлен 14.05.2009

  • Нахождение производных заданной функции. Частные производные первого и второго порядка. Вычисление неопределенных интегралов. Решение задачи комбинаторики. Расчет коэффициентов прямых материальных затрат с помощью межотраслевого балансового метода.

    контрольная работа, добавлен 15.04.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.