Google 
Аннотация: Вводный курс математической логики
| Автор/составитель | Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий Егорович |
| Год выпуска | 2007 |
| ISBN | 978-5-9221-0278-0, 5-9221-0278-0, 5-9221-0278-8, 978-5-9221-0278-8 |
| Производитель | Физматлит |
| Дата выпуска | 2007 г. |
| Издание | 2 |
| Количество томов | 1 |
| Количество страниц | 128 |
| Переплет | мягкий |
| Формат | 60x90/16 (145x215 мм) |
| Тираж | 2000 |
| Стандарт | 48 |
| Вес | 135 |
| Область образования | математика, алгебра |
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
2-е издание.
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40,- евро Подробнее
Вводный курс математической логики
-38%- Модель: MYSH4977011
- ISBN 978-5-9221-0278-0
-
Наличие:
Есть в наличии
Во-первых - Вы молодец!
