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