• формат djvu
  • размер 885.72 КБ
  • добавлен 21 марта 2011 г.
Яглом И.М. Необыкновенная алгебра
ИздНаука, 1968, 76 с.
Если хочешь понять как «думает» компьютер, то есть что происходит в
арифметическо-логическом устройстве процессора, начни с этой брошюры.
На очень простом элементарном уровне автор излагает основные понятия
так называемой «алгебры Буля», играющих большую роль математической
логике и во всех направленияъх современной математике, связанных с ПК
и кибернетикой. В книге даётся понятие множеств, операциями над ними,
«алгебры высказываний» и наконец принцип работы электросхем,
сопровождая всю теорию многочисленными примерами.
1. Содержание:
2. Алгебра чисел и алгебра множеств.
3. Алгебра Буля.
4. Дальнейшие свойства алгебры Буля: принцип двойственности,
a. Булевкие равенства и неравенства.
5. Множества и высказывания: алгебра высказываний.
6. «Законы мысли» и правила вывода.
7. Высказывания и контактные схемы.
8. Приложение: определение алгебры Буля.
9. Литература.
10. Ответы к упражнениям.
Смотрите также

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

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

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

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

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

Статья
  • формат doc
  • размер 1.31 МБ
  • добавлен 04 марта 2011 г.
Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Лекции - Математическая логика и основы теории алгоритмов

Статья
  • формат pdf
  • размер 1.54 МБ
  • добавлен 11 марта 2010 г.
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

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

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

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

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

Сечкина И.В. Математическая логика и теория алгоритмов

  • формат doc
  • размер 3.27 МБ
  • добавлен 02 августа 2009 г.
Методические указания к практическим занятиям. Содержание. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершен-ные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме. Логика предикатов и алгебра множеств. Уравнения и неравенства как логи-ческие функции...

Степанова, Плешкова, Гусев. Математическая логика и теория алгоритмов (методичка)

Практикум
  • формат djvu
  • размер 1.02 МБ
  • добавлен 28 января 2011 г.
Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Шпоры по математической логике

pottee
  • формат doc
  • размер 336.5 КБ
  • добавлен 15 июня 2009 г.
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Прави...

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

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