Математическая логика
Математика
  • формат djvu
  • размер 3.18 МБ
  • добавлен 23 января 2009 г.
Гиндикин С.Г. Алгебра логики в задачах
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Похожие разделы
Смотрите также

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

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

Каверин С.В. Лекции по математической логике и теории алгоритмов

  • формат djvu
  • размер 383.65 КБ
  • добавлен 15 октября 2011 г.
Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 1.38 МБ
  • добавлен 18 января 2010 г.
Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

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

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

Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.47 МБ
  • добавлен 09 ноября 2010 г.
Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Лихтарников Л.М., Сукачева Т.Г. Математическая Логика. Курс лекций

  • формат djvu
  • размер 1.59 МБ
  • добавлен 06 июня 2009 г.
Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999 -288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы

Орехов Ю.В., Орехов Э.Ю. Математическая логика: учебное пособие

  • формат djvu
  • размер 3.63 МБ
  • добавлен 20 ноября 2010 г.
УГАТУ, 2006г. Учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса.

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

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

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

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

Эвнин А.Ю. Математическая логика. Конспект лекций и задачи

  • формат pdf
  • размер 555.08 КБ
  • добавлен 06 января 2011 г.
Учебное пособие составлено в соответствии с программой курса мат. логики для специальности "прикладная математика", содержит теоретический материал и задачи по темам алгебра высказываний, логический исчисления. все изложено доступным языком, снабжено примерами.