Понятие математической логики

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

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

  • Определение асимптотики решения спектральной задачи. Исследование процесса квантового усреднения. Характеристика особенностей использования когерентного преобразования. Расчет коэффициентов квадратного многочлена. Анализ вычисления интеграла из формул.

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

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

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

  • Применение метода инверсии при решении задач на построение в геометрии. Решение задачи Аполлония, лемма об антипараллельных прямых. Инвариантные окружности и сохранение углов при инверсии. Недостатки применения инверсии и работа инверсора Гарта.

    дипломная работа, добавлен 30.09.2009

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

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

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

    методичка, добавлен 15.06.2015

  • Попытка доказательства частного случая великой теоремы Ферма. Преобразования уравнения xn+yn=zn, позволяющие получить квадратное уравнение. Показано, что вышеназванное равенство для трех действительных разных целых положительных чисел не выполняется.

    монография, добавлен 27.12.2012

  • Определение и формула аффинного преобразования в сопряжённых комплексных координатах. Уравнение образа прямой при аффинном преобразовании. Частные виды аффинных преобразований в сопряжённых комплексных координатах.

    дипломная работа, добавлен 08.08.2007

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

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

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

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

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

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

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

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

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

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

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

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

  • Понятие и направления исследования случайных величин в математике, их классификация и типы: дискретные и непрерывные. Их основные числовые характеристики, отличительные признаки и свойства. Законы распределения случайных величин, их содержание и роль.

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

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

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

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

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

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

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

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

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

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

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

  • Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.

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

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

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

  • Сущность понятия "скалярное произведение векторов". Законы векторного произведения. Практический пример нахождения площади треугольника. Общее понятие о правой и левой тройке. Содержание закона круговой переместительности. Объём треугольной пирамиды.

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

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

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

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

    дипломная работа, добавлен 30.03.2011

  • Развитие математической культуры арабской цивилизации: от религиозного фанатизма до адекватной оценки культуры завоеванных народов. Научные трактаты Багдадской математической школы. Развитие арабской алгебры в X-XII вв. и достижения в геометрии.

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

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