Вводный курс математической логики
Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий Егорович
Код товара: 4977011
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 2
1 / 2
Издательство:
Год издания:
2007
Редактор:
Описание
Характеристики
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
2-е издание.
Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
2-е издание.
код в Майшоп
4977011
возрастная категория
18+ (нет данных)
количество томов
1
количество страниц
128 стр.
размеры
215x142x7 мм
ISBN
5-9221-0278-0, 978-5-9221-0278-0
тип бумаги
офсетная (60-220 г/м2)
вес
138 г
переплёт
Мягкая обложка
Содержание
Введение
Глава 1. Элементы теории множеств
Глава 2. Языки первого порядка
Глава 3. Элементы теории доказательств
Глава 4. Теорема Гёделя о полноте
Глава 5. Теория алгоритмов
Список рекомендуемой литературы
Предметный указатель
Глава 1. Элементы теории множеств
Глава 2. Языки первого порядка
Глава 3. Элементы теории доказательств
Глава 4. Теорема Гёделя о полноте
Глава 5. Теория алгоритмов
Список рекомендуемой литературы
Предметный указатель
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Вводный курс математической логики» (авторы: Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий Егорович), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!