Лекции по математической логике и теории алгоритмов. Ч.2. Языки и исчисления
Верещагин, Н. К.Код товара: 915595
Наличие:
товар закончился
Книга написана по материалам лекций и семинаров, производившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятия математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Цена в интернет-магазине может отличаться от цены в магазинах сети.
- Вид товара:Книги
- Рубрика:Основания математики. Математическая логика. Теория чисел
- Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
- ISBN:978-5-4439-0944-8
- Серия:Современные лекционные курсы
- Издательство: МЦНМО
- Год издания:2017
- Количество страниц:240
- Тираж:1000
- Формат:60х90/16
- Переплет:мягкая обложка
- Автор/Редактор/Составитель:Н. К. Верещагин, А. Шень
- Код товара:915595
Поделиться:
ТАКЖЕ ВАМ МОЖЕТ БЫТЬ ИНТЕРЕСНО
915595