Основы логических суждений
Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.
Подобные документы
- 101. Булева алгебра
Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация, добавлен 11.10.2014 Исторические аналоги современных определений логарифма как средства вычислений. Интегральные методы XVII века, нахождение площади под гиперболой. Современное интегральное определение логарифма. Определение элементарных функций с помощью интеграла.
курсовая работа, добавлен 04.09.2014Теоретические аспекты применения правил Лопиталя. Определение предела функции в точке. Понятия бесконечно большой и бесконечно малой функций. Рассмотрение содержания теорем о дифференцируемых функциях. Раскрытие неопределенностей по правилу Лопиталя.
курсовая работа, добавлен 30.12.2021Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа, добавлен 08.06.2010- 105. Система координат
Определение положения точки в пространстве. Правая декартова (или прямоугольная) система координат. Способы измерения дуг. Определение координат точки в пространстве. Определение окружности и ее радиуса. Построение сферической системы координат.
контрольная работа, добавлен 13.05.2009 Анализ межотраслевых связей, коэффициентов прямых и полных затрат труда. Определение оптимального плана выпуска продукции и решения с использованием двойственных оценок. Элементы теории игр, моделирование производственных процессов. Функция Кобба-Дугласа.
контрольная работа, добавлен 19.01.2015Особенности вычисления объемов тел, ограниченных поверхностями, с применением геометрического смысла двойного интеграла. Определение площадей плоских фигур, ограниченных линиями, с использованием метода интегрирования в курсе математического анализа.
презентация, добавлен 17.09.2013Определение и оценка вероятности наступления заданного события. Методика решения задачи, с использованием теоремы сложения и умножения, формулы полной вероятности или Байеса. Применение схемы Бернулли при решении задач. Расчет квадратического отклонения.
практическая работа, добавлен 23.08.2015- 109. Виды симметрии
Изучение явлений, происходящих в линейных цепях при периодических несинусоидальных напряжениях и токах. Разложение периодических несинусоидальных кривых в тригонометрический ряд Фурье. Основы разложения кривых, обладающих симметрией, и виды симметрии.
презентация, добавлен 06.06.2014 Математические и педагогические основы исследования системы линейных уравнений. Компьютерная математика Mathcad. Конспекты уроков элективного курса "Изучение избранных вопросов по математике с использованием системы компьютерной математики Mathcad".
дипломная работа, добавлен 03.05.2013Расчет наступления определенного события с использованием положений теории вероятности. Определение функции распределения дискретной случайной величины, среднеквадратичного отклонения. Нахождение эмпирической функции и построение полигона по выборке.
контрольная работа, добавлен 14.11.2010Задачи для обыкновенных дифференциальных уравнений. Квадратурные формулы. Теоретические основы метода сеток для решения задачи Коши. Погрешность аппроксимации, устойчивость, основная теорема метода сеток. Схема предиктор-корректор 2-го порядка.
реферат, добавлен 07.12.2013- 113. Площадь треугольника
Методика нахождения уравнения прямой исследуемого треугольника и параллельной ей стороне с использованием углового коэффициента. Определение уравнения высоты этого треугольника. Порядок и составление алгоритма вычисления площади данного треугольника.
задача, добавлен 08.11.2010 Изучение методов Рунге-Кутты четвертого порядка с автоматическим выбором длины шага интегрирования для решения дифференциальных уравнений. Оценка погрешности и сходимость методов, оптимальный выбор шага. Листинг программы для ЭВМ, результаты, иллюстрации.
курсовая работа, добавлен 14.09.2010Решение дифференциальных уравнений математической модели системы с гасителем и без гасителя. Статический расчет виброизоляции. Определение собственных частот системы, построение амплитудно-частотных характеристик и зависимости перемещений от времени.
контрольная работа, добавлен 22.12.2014Рассмотрение философско-математических и логических исследований А.Ф. Лосева, представленных в труде "Хаос и структура", "Философия числа", образованный на стыке двух наук: математики и философии. Учение А.Ф. Лосева об актуализации гилетических чисел.
курсовая работа, добавлен 20.08.2012Метод Гаусса–Жордана: определение типа системы, запись общего решения и базиса. Выражение свободных переменных с использованием матричного исчисления. Нахождение координат вектора в базисе. Решение системы уравнений по правилу Крамера и обратной матрицей.
контрольная работа, добавлен 17.12.2010Анализ основных понятий, утверждений, связанных с показательной и логарифмической функциями в курсе математики. Изучение методик решения типовых задач. Подбор и систематизация задач на нахождение и использование показательной и логарифмической функций.
курсовая работа, добавлен 20.07.2015- 119. Конечные автоматы
Описание абстрактных, структурных и частичных конечных автоматов. Работа синхронных конечных автоматов, содержащих различные типы триггеров, определение сигналов их возбуждения. Пример канонического метода структурного синтеза. Схема дверного замка.
учебное пособие, добавлен 07.06.2009 Решение задачи глобальной оптимизации. Базовый метод эволюционной стратегии: операции мутации, скрещивания и селекции. Определение параметров управления пробного вектора с помощью самоадаптивного метода. Применение метода C-центроидов, его схема.
реферат, добавлен 17.01.2014Достоверное событие — это событие, наступающее при данных условиях со стопроцентной вероятностью. Классическая вероятностная схема. Вероятность наступления достоверного события. Рассмотрение простейшей вероятностной модели - бросание игрального кубика.
реферат, добавлен 02.12.2009Расчет динамики опасных факторов пожара в помещении с использованием интегральной и зонной математических моделей. Определение продолжительности пожара и времени блокирования путей эвакуации. Расчет огнестойкости ограждающих строительных конструкций.
курсовая работа, добавлен 21.03.2015- 123. Теория вероятностей
Определение дифференциальной функции распределения f(x)=F'(x) и математического ожидания случайной величины Х. Применение локальной и интегральной теоремы Лапласа. Составление уравнения прямой линии регрессии. Определение оптимального плана перевозок.
контрольная работа, добавлен 12.11.2012 - 124. Алгебра логики
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат, добавлен 06.12.2010 Понятие и примеры шкалы отношений. Что такое стратифицированная (или расслоенная) выборка. Определение медианы и мощности критерия. Характеристика термина "процентиль". Влияние коэффициента корреляции на зависимость между исследуемыми величинами.
контрольная работа, добавлен 29.09.2010