Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
Подобные документы
Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Алгебраически обоснованная гипотеза "блочного" протонно-нейтронного строения ядер атомов химических элементов. Логико-математический путь выведения алгебраических формул периодического закона, системная алгебра. Субстанционная самоорганизация материи.
научная работа, добавлен 28.02.2012Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.
диссертация, добавлен 19.06.2015Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013Признавая высказывание за истинное, мы вынуждены также признавать и отвергать многие другие, связанные с ним. Сфера применения формально-логического тождества. Понятие диалектического и формально-логического противоречия. Закон исключенного третьего.
реферат, добавлен 17.03.2009Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014- 108. Модальные суждения
Логика одна из древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. Модальность логических суждений. Логическая характеристика суждения. Эпистемическая модальность. Деонтическая модальность.
реферат, добавлен 20.01.2009 Простые элементарные доказательства знаменитых теорем Гаусса, Абеля, Галуа, Кронекера о построение правильных многоугольников и неразрешимости уравнений в радикалах. Рассмотрение основных идей алгебры. Порядок извлечения корней из комплексных чисел.
статья, добавлен 18.11.2015Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017Строение абелевых групп симметрий хиггсовского потенциала в вакууме для N-дублетной хиггсовской модели. Типы центральных простых конечномерных некоммутативных йордановых супералгебр. Конструкция кольца частных для обобщенной алгебры Новикова-Пуассона.
научная работа, добавлен 28.10.2018Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015- 113. Теория вероятности
Понятие алгебры событий. Рассмотрение стохастического эксперимента определения вероятности. Свойства суммы и произведения событий. Методы расчета совместного появления двух величин. Основные формулы для исчисления функции Лапласа и теоремы Байеса.
методичка, добавлен 07.10.2015 Подобие второго рода. Осевая симметрия. Следствия векторных формул. Алгебра преобразований и векторных формул, примеры решения основных задач с их использованием. Исследование векторных выражений. Вывод формул разложения на элементарные преобразования.
статья, добавлен 04.05.2012Деление и история алгебры, происхождение ее термина. Древнейшие сочетания по алгебре, появление от арабов и ее развитие в Европе в эпоху Возрождения. Решение уравнений третей и четвёртой степени. Некоторые математические знаки и даты их возникновения.
реферат, добавлен 27.09.2014- 116. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012 - 117. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 - 118. Линейное уравнение
Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.
контрольная работа, добавлен 29.01.2012 Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.
презентация, добавлен 19.12.2015Рассмотрение классической логики Аристотеля. Исследование классификации силлогизмов в математике. Пропозициональный вариант логики Аристотеля. Истинностные значения величины в логическом интервале. Нечеткие пропозициональные силлогизмы с паттерном.
статья, добавлен 18.01.2018Изучение метода математической индукции. Понятия тождества, неравенства и делимости. Комбинаторика как наука, изучающая множества, размещение и перечисление их элементов. Алгоритм Евклида и основная теорема арифметики. Числа, дроби и системы счисления.
учебное пособие, добавлен 28.12.2013Изучение сведений о матрицах. Рассмотрение алгебры матриц. Обзор определителей квадратных матриц. Анализ системы линейных уравнений. Определение положения векторов на плоскости и в трехмерном пространстве. Оценка элементов аналитической геометрии.
учебное пособие, добавлен 13.04.2019- 123. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Понятие линейной алгебры и две ее основные задачи: решение системы линейных алгебраических уравнений и определение собственных значений и собственных векторов матрицы. Численные методы решения данных задач: Гаусса, Крамера, итерации для линейных систем.
контрольная работа, добавлен 12.12.2012Возникновение, становление и современное понятие о статистике. Статистико-математическое направление статистической науки. Использование науки в античном, древнем и современном мире. Статистика как совокупность сведений о массовых явлениях и их законах.
реферат, добавлен 05.04.2011