Содержание
Задача 1. Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций.
Задача 2. Сформулировать представленную выше задачу на языке логики предикатов и упростить полученную систему используя теоремы и тождества логики предикатов.
Задача 3. Сконструировать машину Тьюринга (написать соответствующую программу) для решения следующей задачи.
Задача 4. Записать логическую функцию, соответствующую высказыванию:
Задача 5. Записать сложное высказывание «Если гражданин имеет право голоса (A), то ему больше 18 лет (B). Сидорову нет 18 лет, следовательно, он имеет право голоса» логической формулой и минимизировать его, используя карту Карно.
Задача 6. Каждой пропозициональной форме, содержащей n различных пропозициональных букв, соответствует таблица истинности с 2n строками. Например, для формы (((А & В) V C) → А имеем следующую таблицу истинности.
Выдержка из текста
Нет введения.
Список использованной литературы
1. Галиев Ш.И. Математическая логика и теория алгоритмов. – Казань: Издательство КГТУ им. А.Н. Туполева. 2002. – 270 с.
2. Гладкий А.В. Математическая логика и теория алгоритмов. – М.: МЦНМО, 2001.
3. Зюзьков В.М, Шелупанов А.А. Математическая логика и теория алгоритмов: Учебное пособие для вузов. – 2-е изд. – М.: Горячая линия–Телеком, 2007. – 176 с.
4. Игошин В.И. Задачи и модели по математической логике и теории алгоритмов. – 2-е изд. – М.: Академия, 2006. – 304 с.
5. Игошин В.И. Задачник-практикум по математической логике: уч. пособие. – М.: Академия, 2006.
6. Тимофеева, И.Л. Математическая логика: курс лекций: учеб. пособие. – 2-е изд. – М.: КДУ, 2007.