Основы математической логики
Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
Подобные документы
Классическая схема случаев - испытание, где число элементарных исходов конечно, и все они несовместны и равновозможны. Правила суммы, произведения. Характеристика схемы испытаний Бернулли, интегральной теоремы Муавра-Лапласа, схемы Пуассона, цепи Маркова.
реферат, добавлен 25.02.2011Исследование операций как метод, который дает в распоряжение инженера количественные методы для принятия решений по управлению процессов оптимизации. Математическая формулировка задач дискретного программирования. Достоинства и недостатки алгоритма.
лекция, добавлен 08.09.2013Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017- 104. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020Признавая высказывание за истинное, мы вынуждены также признавать и отвергать многие другие, связанные с ним. Сфера применения формально-логического тождества. Понятие диалектического и формально-логического противоречия. Закон исключенного третьего.
реферат, добавлен 17.03.2009Исследование разновидности ошибок, возникающих при постановке математической задачи. Изучение основных этапов построения аппроксимирующей функции по эмпирической формуле. Линейная и квадратичная зависимость координат. Очерк интерполяционной кривой.
презентация, добавлен 30.10.2013Интерполяционная формула Лагранжа и Ньютона. Разработка математического обеспечения. Аналитическое выражение функции f(x). Функциональная зависимость между величинами y и x, описывающая количественную сторону данного явления. Теория приближения функций.
контрольная работа, добавлен 13.01.2013Описание функции распределения вероятностей случайных погрешностей навигационных измерений для обобщенного распределения Коши. Аналитические выражения функций распределения для трех значений параметров смешанных законов, их графические зависимости.
статья, добавлен 28.09.2016Применение теории вероятности для решения технических задач, характеристика ее основных понятий. Основы теории множеств, алгебра событий. Аксиомы теории вероятностей, ее правила. Теорема сложения и умножения вероятностей. Формула полной вероятности.
лекция, добавлен 30.11.2016Построение и исследование математической модели автономного надводного мини-корабля, синтез алгоритмов управления. Проведение численного исследования замкнутой системы управления. Реализация автопилота на бортовом компьютере. Идентификация параметров.
статья, добавлен 30.05.2017- 112. Конечные автоматы
Понятие и модель абстрактного автомата, общая характеристика, структура и взаимодействие элементов. Типы конечных автоматов и их отличительные особенности, функции. Эквивалентность состояний детерминированного автомата, алгоритм его минимизации.
курсовая работа, добавлен 09.01.2012 - 113. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 - 114. Логика предикатов
Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013 Универсальная алгебра и реляционная система. Сигнатура алгебраической системы. Определение функций типа изоморфизм и гомоморфизм. Описание индуцированных операций. Теорема об описании гомоморфных образов. Лемма о конгруенции, порожденной гомоморфизмом.
учебное пособие, добавлен 26.05.2014- 116. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 Рассмотрение примеров дифференциального исчисления функций одного переменного. Исследование на монотонность, определение асимптот и экстремумов. Проведение полного исследования свойств и построение эскиза графика функции. Исследование функции Лагранжа.
контрольная работа, добавлен 18.12.2013Характеристика особенностей сложения, вычитания и деления комплексных чисел. Изучение основных понятий и правил векторной алгебры. Анализ операций над скалярными и векторными функциями в декартовой, цилиндрической и сферической системах координат.
лекция, добавлен 21.09.2014- 119. Линейная алгебра
Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.
курс лекций, добавлен 22.01.2013 Нахождение погрешности на примере арифметических операций и вычисления значений функции. Постановка задачи и применение интерполирования путем разбора интерполяционной схемы Эйткена, интерполяционной формулы Гаусса, многочлена Лагранжа, Ньютона и Эрмита.
учебное пособие, добавлен 14.01.2014Характеристика матричных структурных схем как компактного графического представления классической структурной схемы многомерного объекта или системы управления. Изучение различных уровней представления матричных структурных схем и их основных функций.
лекция, добавлен 23.07.2015Характеристика основных способов задания выражения. Главный анализ последовательностей и их пределов. Особенность концепций раскрытия неопределенностей. Непрерывность функции в точке и на интервале. Главные свойства бесконечно малой и большой цепи.
лекция, добавлен 01.04.2015Рассмотрение варианта перехода от классической математической статистики к нечётко-логической интерпретации данных медицинской статистики. Плотность распределения частоты заболеваний. Анализ функции ошибки, с выделением интервалов правдоподобия.
статья, добавлен 24.07.2018Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.
контрольная работа, добавлен 20.01.2022Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018