Воротников

Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998

Практикум по введению в математическую логику, Воротников С.М., Егоров В А., Матюшенко Л Н., 1998.

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

Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998
Скачать и читать Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998