Математическая логика
Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
Подобные документы
Анализ решения задач на комбинаторику. Описание задач по классической вероятностной модели, геометрической вероятности. Описание основных формул теории вероятности. Повторные независимые испытания, теорема Бернулли. Дискретные случайные величины.
задача, добавлен 05.05.2015- 77. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Изучение принципов установления изоморфизма или изоморфного вложения между заданными структурами при решении комбинаторно-логических задач и оптимизационных на графах. Пример решения задач распознавания изоморфизма. Определение вершины в алгоритме.
лекция, добавлен 23.01.2017Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Метод сеток решения уравнений параболического типа, оценка погрешности и сходимость метода сеток. Прогонка решения разностной задачи. Доказательство устойчивости разностной схемы. Разработка программного модуля, описание логики. Пример работы программы.
курсовая работа, добавлен 25.11.2011- 81. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Изучение основных понятий и операций над векторами, анализ координат вектора. Векторный метод решения геометрических задач. Суть векторного метода решения геометрических задач. Характеристика примеров решения геометрических задач векторным методом.
курсовая работа, добавлен 04.03.2020Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.
реферат, добавлен 08.02.2009Формулы логики предикатов, содержащие предикаты, зависящие только от одного переменного, направления исследования и соответствующие теоремы, доказательства. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.
курсовая работа, добавлен 23.04.2011- 85. Алгоритм комбинированного метода решения конечноэлементных задач с нелинейностями различного типа
Описание нового итерационного алгоритма на основе метода конечных элементов, разработанного для решения контактных задач механики деформируемого твердого тела. Метод решения нелинейных систем уравнений как сходящейся последовательности линейных задач.
статья, добавлен 27.05.2018 Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.
статья, добавлен 27.02.2019Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.
презентация, добавлен 24.04.2012Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.
учебное пособие, добавлен 07.08.2013Система мышления, создающая взаимосвязи между заданными условиями и позволяющая делать умозаключения, основываясь на предпосылках и предположениях. Принципы построения математических теорий. Использование алгебры высказываний в современной информатике.
реферат, добавлен 12.04.2015Метод "частичных" областей для решения уравнений с параметрами. Показательные и логарифмические уравнения и неравенства с параметрами. Освоение методов решения вычислительных и логических задач. Поиск решения линейных и квадратных уравнений в общем виде.
дипломная работа, добавлен 20.05.2018- 92. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
статья, добавлен 16.01.2018 Принципы построения формальных теорий. Проблемы, связанные с системой аксиом. Доказательство независимости системы аксиом. Исчисление высказываний, символы и формулы. Теорема дедукции и правило силлогизма (транзитивный вывод). Примеры решения задач.
презентация, добавлен 17.04.2013Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
статья, добавлен 26.04.2019Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Технические аспекты реализации. Операции криптографических алгоритмов. Вычислительная мощность числовых процессоров по количеству выполняемых элементарных логических операций. Теория реализации модулярных вычислений. Формульный метод получения МОЧНФ.
презентация, добавлен 10.08.2013Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Основные понятия и утверждения иррациональных уравнений, базовые принципы их решения. Теоремы о равносильности преобразований. Примеры общих классов иррациональных уравнений. Разработка и пример решения системы упражнений на каждый класс уравнений.
курсовая работа, добавлен 05.05.2014Способ моделирования неопределенностей естественного языка. Концептуальное отличие нечеткой логики от классической. Ознакомление с нечеткой экспертной системой, анализ метода Мамдани. определение рейтинга продуктового магазина. Модель реакции функции.
контрольная работа, добавлен 05.06.2012- 100. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015