Логика
Понятие – это форма мышление, отражающая предмет в его необходимых, существенных признаках. Суждение – мысль, содержащая утверждения о наличии в действительности некоторого положения дел. Логический квадрат. Силлогизм – дедуктивное умозаключение.
Подобные документы
Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Основные этапы построения модели парения птиц в воздухе, ее качественное исследование на устойчивость при отсутствии и наличии силы сопротивления воздуха. Нахождение траектории полета птицы (на примере планера) при отсутствии сопротивления воздуха.
курсовая работа, добавлен 31.10.2016- 103. Занимательные задачи
Задачи на логику: имена и отчества, вычисление веса, ребусы, треугольники, скорость движения, количество детей в семье, арифметические действия над числами, спички, игральные кости, количество дней в месяцах, вычисление возраста родственников, время.
презентация, добавлен 21.04.2012 Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
контрольная работа, добавлен 06.05.2009Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.
контрольная работа, добавлен 28.02.2009Понятие, происхождение и предмет статистики с точки зрения современной науки и практики; стадии и методы статистического исследования, математическая составляющая. Метод главных компонент, его применение. Закон больших чисел, парадокс сэра Гиффена.
курсовая работа, добавлен 17.05.2012Понятие начертательной геометрии, ее сущность и особенности, предмет и методы изучения, история зарождения и развития. Цели и задачи начертательной геометрии, ее структура и элементы. Прямая и варианты ее расположения, разновидности и методы определения
лекция, добавлен 21.02.2009Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа, добавлен 17.05.2015Понятие плоскости и определение ее положения в пространстве. Задание плоскости ее следами на комплексном чертеже. Плоскости и проекции уровня. Свойство проецирующих плоскостей собирать одноименные проекции всех элементов, расположенных в данной плоскости.
реферат, добавлен 17.10.2010Синтез схемы, реализующей функцию, заданную кубическим комплексом в универсальном базисе логических элементов ИЛИ-НЕ. Нахождение минимального и построение факторизованного покрытий. Составление логической схемы и ее проверка контролирующим тестом.
курсовая работа, добавлен 16.06.2011Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа, добавлен 26.04.2011Сущность и методы определения первообразной в математическом анализе. Особенности вычисления первообразной как нахождение неопределённого интеграла. Анализ техники интегрирования. Формула Ньютона–Лейбница. Основные положения дифференциальной теории Галуа.
контрольная работа, добавлен 05.11.2011Законы алгебры Буля и их применение для преобразования логических выражений. Расчет информационной емкости документов предметной области. Построение инфологической, реляционной и даталогической моделей. Применение методов поиска и сортировки данных.
курсовая работа, добавлен 05.01.2013Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа, добавлен 10.10.2014Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Применение граф-схем - кратчайший путь доказательства теорем. Нахождение искомых величин путем рассуждений. Алгоритм решения логических задач методами таблицы и блок-схемы. История появления теории траекторий (математического бильярда), ее преимущества.
реферат, добавлен 21.01.2011Синтез функциональной схемы электронных часов по описанию их дополнительных возможностей по отношению к возможности простого отображения времени. Граф управляющего автомата. Кодирование входных и выходных воздействий. Остановка часов, будильник.
реферат, добавлен 27.04.2011Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010Общая теория топологических и векторных пространств, внутренняя логика развития; аксиоматика. Структура построения нормированного пространства; рассмотрение и развитие понятия банахова пространства как определённого типа векторных пространств с нормой.
реферат, добавлен 11.01.2011Механизм и основные этапы нахождения необходимых параметров методом наименьших квадратов. Графическое сравнение линейной и квадратичной зависимостей. Проверка гипотезы о значимости выборочного коэффициента корреляции при заданном уровне значимости.
курсовая работа, добавлен 19.05.2014История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Свойство, устранение и объяснение парадоксов в математике. Логический парадокс "Лжец" Эвбулида из Милета (IV в. до н.э.). Парадокс Греллинга, связанный с прилагательными. Парадоксы с множествами, парадоксы-петли. Проблемы парадоксов в математике.
контрольная работа, добавлен 30.01.2010