Математическая логика

Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.

Подобные документы

  • Анализ решения задач на комбинаторику. Описание задач по классической вероятностной модели, геометрической вероятности. Описание основных формул теории вероятности. Повторные независимые испытания, теорема Бернулли. Дискретные случайные величины.

    задача, добавлен 05.05.2015

  • Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.

    контрольная работа, добавлен 25.03.2014

  • Изучение принципов установления изоморфизма или изоморфного вложения между заданными структурами при решении комбинаторно-логических задач и оптимизационных на графах. Пример решения задач распознавания изоморфизма. Определение вершины в алгоритме.

    лекция, добавлен 23.01.2017

  • Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.

    методичка, добавлен 28.06.2013

  • Метод сеток решения уравнений параболического типа, оценка погрешности и сходимость метода сеток. Прогонка решения разностной задачи. Доказательство устойчивости разностной схемы. Разработка программного модуля, описание логики. Пример работы программы.

    курсовая работа, добавлен 25.11.2011

  • Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.

    методичка, добавлен 16.05.2017

  • Изучение основных понятий и операций над векторами, анализ координат вектора. Векторный метод решения геометрических задач. Суть векторного метода решения геометрических задач. Характеристика примеров решения геометрических задач векторным методом.

    курсовая работа, добавлен 04.03.2020

  • Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.

    реферат, добавлен 08.02.2009

  • Формулы логики предикатов, содержащие предикаты, зависящие только от одного переменного, направления исследования и соответствующие теоремы, доказательства. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.

    курсовая работа, добавлен 23.04.2011

  • Описание нового итерационного алгоритма на основе метода конечных элементов, разработанного для решения контактных задач механики деформируемого твердого тела. Метод решения нелинейных систем уравнений как сходящейся последовательности линейных задач.

    статья, добавлен 27.05.2018

  • Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).

    лекция, добавлен 22.10.2013

  • Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.

    статья, добавлен 27.02.2019

  • Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.

    презентация, добавлен 24.04.2012

  • Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.

    учебное пособие, добавлен 07.08.2013

  • Система мышления, создающая взаимосвязи между заданными условиями и позволяющая делать умозаключения, основываясь на предпосылках и предположениях. Принципы построения математических теорий. Использование алгебры высказываний в современной информатике.

    реферат, добавлен 12.04.2015

  • Метод "частичных" областей для решения уравнений с параметрами. Показательные и логарифмические уравнения и неравенства с параметрами. Освоение методов решения вычислительных и логических задач. Поиск решения линейных и квадратных уравнений в общем виде.

    дипломная работа, добавлен 20.05.2018

  • Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.

    статья, добавлен 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

  • Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.

    презентация, добавлен 12.03.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.