2014 г.
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассуждений.
Получение логических следствий из данных формул и посылок для данных логических следствий.
Необходимые и достаточные условия.
Анализ и...
Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
КНИТУ, Чистопольский филиал, преп. Мухаметзянов, Варианты 7, 15, 22, 25
К/раб из учебника Галиев Ш.И. Математическая логика и теория алгоритмов
Логика высказываний
Логика предикатов
Логические следствия и метод резолюций
Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича
Нечёткие множества
Комментарии