Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Автор: Воротников С. М., Егоров В. А., Матюшенко Л. Н.
Название: Практикум по введению в математическую логику : Учебное пособие
Издательство: Комсомольск-на-Амуре: Комсомельский-на-Амурс гос. техн. университет
Год: 1998
Страниц: 74
Формат: DJVU
Размер: 2,9 МБ
По содержанию данное пособие тесно связано с конспектом лекций одного из авторов и является методической основой для проведения практических занятий по темам, формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики предикатов и операции над ними; исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной (пренексной) нормальной форме; основы исчисления высказываний и исчисления предикатов. Рассмотрены примеры решения задач по указанным темам, приведены задачи и упражнения для самостоятельного решения и варианты индивидуальных заданий. Для студентов-электриков, электронщиков, электромехаников и прикладных математиков.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Дата создания страницы: