Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику»
+2
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.
Перейти к описанию и характеристикам| Издательство | МГУ |
| Серия | Классический университетский учебник |
| Страниц | 327 |
| Язык | Русский |
| ISBN | 978-5-19-011840-7 |
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.
| Издательство | МГУ |
| Серия | Классический университетский учебник |
| Страниц | 327 |
| Язык | Русский |
| ISBN | 978-5-19-011840-7 |
| Обложка | Твёрдый переплёт |
| Размеры | 149 × 22 × 223 mm |
| Вес, г | 502 |
