Логика высказываний
Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
Подобные документы
Определение и назначение логарифмов, история их изобретения. Непер - изобретатель первых логарифмических таблиц. Свойства логарифмов, основные и дополнительные соотношения. Примеры выполнения некоторых заданий по вычислению логарифмов и таблица ответов.
презентация, добавлен 01.03.2012Исследование кривой второго порядка. Определение типа кривой с помощью инвариантов. Приведение к каноническому виду, построение графиков. Исследование поверхности второго порядка. Определение типа поверхности. Анализ формы поверхности методом сечений.
курсовая работа, добавлен 28.06.2009Геометрическая и алгебраическая формулировка теоремы Пифагора. Многочисленность ее доказательств: через подобные треугольники, методом площадей, через равнодополняемость, при помощи дифференциальных уравнений. Доказательства Евклида и Леонардо да Винчи.
презентация, добавлен 15.10.2013- 79. Логика
Понятие – это форма мышление, отражающая предмет в его необходимых, существенных признаках. Суждение – мысль, содержащая утверждения о наличии в действительности некоторого положения дел. Логический квадрат. Силлогизм – дедуктивное умозаключение.
контрольная работа, добавлен 21.04.2008 Основные сведения, необходимые при решении задач на собственные значения. Итерационные методы. Определение собственных значений методами преобразований подобия. Определение собственных значений симметричной трехдиагональной матрицы.
реферат, добавлен 19.05.2006Определение операций сложения, вычитания и умножения для дуальных чисел. Определение модуля и сопряжённого числа. Деление на дуальное число. Определение делителя нуля. Запись дуального числа в форме, близкой к тригонометрической форме комплексного числа.
курсовая работа, добавлен 10.04.2011Изучение численных методов приближенного решения нелинейных систем уравнений. Составление на базе вычислительных схем алгоритмов; программ на алгоритмическом языке Фортран - IV. Приобретение практических навыков отладки и решения задач с помощью ЭВМ.
методичка, добавлен 27.11.2009Метод коллокаций - определение функции, удовлетворяющей линейное дифференциальное уравнение и линейные краевые условия. Определение коэффициентов конечной суммы в выражении для приближенного решения дифференциального уравнения методом Галёркина.
лекция, добавлен 28.06.2009Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа, добавлен 29.11.2010Решение задачи по вычислению определенного интеграла с помощью квадратурных формул и основная идея их построения. Количество параметров квадратурного выражения, степень подынтегральной функции. Построение квадратурных формул с плавающими узлами.
реферат, добавлен 08.08.2009Исследование доказательства теоремы Ферма в общем виде. Показано, что кроме уравнения второй степени уравнения Ферма не содержат других решений в целых числах. Предложено к рассмотрению 4 метода доказательства теоремы при целых x, y.
статья, добавлен 29.08.2004Разработка логико-формальной модели описания методики изготовления винных изделий. Разделение ингредиентов и продукции на множества. Исследование на рефлексивность, транзитивность, симметричность. Построение графа, матрицы смежности и инцидентности.
контрольная работа, добавлен 07.06.2010- 88. Логика на словах
Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа, добавлен 26.03.2012 Изучение некоторых методов построения отрезков, равных произведению или отношению двух других отрезков, с помощью циркуля и линейки. Использование произвольно выбранного единичного отрезка, а также определение произведения и деления этих отрезков.
творческая работа, добавлен 04.09.2010Алгоритм и логика решения задач категории B8 из раздела "математический анализ" Единого государственного экзамена. Определение точек максимума и минимума. Нахождение интервалов возрастания и убывания функции. Геометрический смысл определенного интеграла.
методичка, добавлен 23.04.2013Вычисление математических последовательностей и определение числа, которое называется пределом последовательности. Методы расчетов предела функции. Произведение бесконечно малой функции и ограниченной функции. Определение предела последовательности.
контрольная работа, добавлен 17.12.2010Создание математической модели движения шарика, подброшенного вертикально вверх, от начала падения до удара о землю. Компьютерная реализация математической модели в среде электронных таблиц. Определение влияния изменения скорости на дальность падения.
контрольная работа, добавлен 09.03.2016Изучение конструкции и простейших свойств конечных полей, степень расширения поля разложения. Определение и свойства фундаментальной группы топологического пространства. Способ построения клеточного комплекса путем последовательного приклеивания клеток.
контрольная работа, добавлен 26.12.2010Определение вероятности выпадения не менее 4-х очков на игральной кости при кидании ее один раз. Определение вероятности изготовления детали (если наудачу взятая сборщиком деталь оказалась отличного качества) первым заводом из используя формулу Байеса.
контрольная работа, добавлен 29.05.2012- 95. Изучение матриц
Назначение и определение алгебраического дополнения элемента определителя. Особенности неоднородной системы линейных алгебраических уравнений. Определение размера матрицы. Решение системы уравнений методом Крамера. Скалярные и векторные величины.
контрольная работа, добавлен 13.07.2009 Примеры неравенств, доказываемых техникой одномонотонных последовательностей. Обоснование данного метода для случая с произвольным числом переменных. Доказательство неравенств с минимальным числом переменных. Сравнение метода с доказательством Коши.
реферат, добавлен 05.02.2011Практическая задача на определение вероятности того, что студент сдаст коллоквиум. Вероятность бесперебойной работы станков на протяжении часа. Определение надежности работы прибора за время полета, вероятности двух попаданий при трех выстрелах.
контрольная работа, добавлен 24.04.2012Свободное падение тела с учетом сопротивления среды. Зависимость перемещения и скорости падения от времени. Формулировка математической модели и ее описание. Описание программы исследования с помощью пакета Simulink. Решение задачи программным путем.
курсовая работа, добавлен 21.03.2011Определение длины стороны треугольника, нахождение координаты вектора в заданном трехмерном базисе, решение системы уравнений с помощью обратной матрицы, вычисление предельных значений, исследование функции методами дифференциального исчисления.
контрольная работа, добавлен 04.05.2010Решение кубического уравнения на основе современных методов: разложение левой части на линейные множители; с помощью формулы Кардана; специальных таблиц. Рассмотрение метода решения кубических уравнений, включая неприводимый случай формулы Кардана.
задача, добавлен 20.02.2011