Презентация

формат ppt
размер 103.5 КБ
добавлен 24 августа 2011 г.

16 страниц.Логическое высказывание
В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний
Соединительные виды
Разделительные виды
Условные виды Эквивалентные Высказывания с внешним отрицанием
Основная задача математической логики Логические операции
Обозначение операции в алгебре высказываний
Обозначение в языках Обозначение в языках программирования Обозначение импликации в алгебре высказываний
Эквиваленция (двойная импликация) Обозначение эквиваленции в алгебре высказываний

Похожие разделы

Смотрите также

Автор неизвестен. Теоретические основы автоматики и телемеханики

формат pdf
размер 519.63 КБ
добавлен 22 декабря 2010 г.

Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Блюмин С.Л., Шуйкова И.А., Сараев П.В., Черпаков И.В. Нечёткая логика: алгебраические основы и приложения

формат djvu
размер 1.24 МБ
добавлен 23 апреля 2011 г.

Липецк: Липецкий эколого-гуманитарный институт, 2002. - 111 с. В монографии рассмотрены алгебраические основы нечеткой логики и возможные приложения. Книга содержит изложение основных понятий нечеткой логики, применяющихся при решении широкого класса прикладных задач, связанных с теорией нечетких реляционных уравнений, нечетких нейронных сетей, методами принятия решений в условиях неопределенности. Предназначена для специалистов в области прик...

Голованов М.И. Нестандартные логики. Реляционная семантика

формат pdf
размер 683.29 КБ
добавлен 01 февраля 2012 г.

Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с. Содержание: Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки : Трансляции. Свойства некоторых расширений ло...

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

Реферат

формат doc
размер 309.5 КБ
добавлен 06 апреля 2009 г.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Катаев А.В., ВолгГТУ. Алгебра логики

Практикум

формат docx
размер 102.45 КБ
добавлен 23 января 2012 г.

Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

Лабораторная работа - Основы логики

Лабораторная

формат ppt
размер 434.5 КБ
добавлен 27 мая 2011 г.

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

Лекции - Введение в математическую логику. Части 1 - 2

Статья

формат doc
размер 2.5 МБ
добавлен 17 июля 2009 г.

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

Попов А.И. Введение в математическую логику

формат djvu
размер 1.33 МБ
добавлен 23 апреля 2011 г.

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум

формат pdf
размер 3.58 МБ
добавлен 01 февраля 2012 г.

Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

формат djvu
размер 2.36 МБ
добавлен 11 марта 2010 г.

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

Презентация - Основы логики