Математическая логика в технике
Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
Подобные документы
Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.
реферат, добавлен 07.10.2014Теория вероятностей как математический аппарат для изучения закономерностей случайных событий и связанных с ними случайных величин. Использование вероятностных и статистических методов в современной физике, технике, экономке, биологии и медицине.
курсовая работа, добавлен 11.06.2014Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Рассмотрение основных свойств конъюнкции, дизъюнкции и отрицания, их отличия. Сущность логической функций как функции, у которой все переменные и сама функция могут принимать только два значения: 0 и 1. Понятие карт Карно, их порядок использования.
методичка, добавлен 09.11.2014Рассмотрение расшифровки урновой схемы. Особенности определения геометрической вероятности. Исследование принципов применения формулы Бернулли в теории вероятности. Характеристика предельных значений вероятностей событий, интегральной теоремы Лапласа.
контрольная работа, добавлен 26.05.2015Технические аспекты реализации. Операции криптографических алгоритмов. Вычислительная мощность числовых процессоров по количеству выполняемых элементарных логических операций. Теория реализации модулярных вычислений. Формульный метод получения МОЧНФ.
презентация, добавлен 10.08.2013Правила аксиоматического построения математических теорий. Аксиоматическое построение системы натуральных чисел. Аксиомы Пеано, метод математической индукции. Умножение целых неотрицательных чисел в количественной теории, таблица и законы умножения.
реферат, добавлен 10.01.2017Схема Гаусса с выбором главного элемента. Метод единственного деления. Метод квадратного корня. Метод Халецкого. Итерационные методы. Методы получения характеристического многочлена. Частичная проблема собственных значений. Метод вращения с преградами.
методичка, добавлен 15.09.2012Выдвижение рабочей гипотезы. Теоретическая регрессия. Влияние случайного члена. Простая регрессионная модель. Метод наименьших квадратов. Прямой расчет коэффициентов регрессии. Проверка гипотез о статистической значимости уравнений парной регрессии.
презентация, добавлен 20.01.2015- 61. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.
статья, добавлен 27.02.2019Определение понятия нечеткого силлогизма как некоторого состоятельного правила вывода для баз фактов в Аристотелевой логике. Построение нечетких силлогизмов для пропозициональной Аристотелевой логики с треугольной нормой Заде. Отношения между множествами.
статья, добавлен 18.01.2018Исследование варианта структурной схемы автомата Мура с памятью на двух регистрах с парафазной связью. Функциональная реализация автоматов управления на программируемых логических интегральных схемах, оценка преимуществ и недостатков данного метода.
лекция, добавлен 22.10.2013Анализ выработки наиболее удобного способа записи чисел для простого и быстрого решения логических задач. Исследование основных свойств системы счисления. Особенность использования упорядоченного набора символов. Суть применения двоичной концепции.
лекция, добавлен 06.08.2017Числовые таблицы как предмет рассмотрения, общий метод построения арифметических таблиц. Изучение усеченного треугольника Паскаля и его дешифровки, особенности создания арифметической таблицы. Использования формулы Варинга для получения степенной суммы.
статья, добавлен 10.09.2020Сущность истории создания теории графов. Исследование задачи о Кенигсбергских мостах. Особенность изучения хроматических многочленов. Результаты работы жадного алгоритма при выборе разных порядков вершин. Анализ параллельных и распределенных систем.
реферат, добавлен 14.12.2015Понятие эвристики как метода научного познания, особенности ее применения в математике. Понятие доказательства в математике и его особенности, применение для его построения эвристических логических подходов. Эвристический подход при доказательстве теорем.
курсовая работа, добавлен 19.02.2012Метод Эйлера как простейший численный метод решения систем обыкновенных дифференциальных уравнений. Описание данного метода, дающего решение в виде таблицы приближенных значений искомой функции, его исправления и модификации. Оценка погрешности.
реферат, добавлен 27.10.2019Эвристика как метод научного познания: особенности применения в математике, понятие доказательства в математике. Эвристические приемы построения математических доказательств. Особенности применения эвристического подхода при доказательстве теорем.
курсовая работа, добавлен 22.11.2010Теоретическая и практическая подготовка студентов в области информационных технологий в такой степени, чтобы они могли выбирать необходимые технические, алгоритмические, программные и технологические решения. Объяснение принципов их функционирования.
контрольная работа, добавлен 08.10.2018Обзор логико-алгебраического метода моделирования логических связей между вопросами теста, позволяющего получить интегральный показатель, оценивающий знания испытуемого. Построение логических уравнений, которые описывают связи между тестовыми вопросами.
статья, добавлен 14.07.2016Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Объяснение работы быстрого преобразования Фурье и исследование специфики реализации на программируемых логических интегральных схемах. Особенности и принципы его реализации реализуется в основном с помощью цифровой программной обработки сигналов.
статья, добавлен 10.08.2018