О книге: Языки и исчисления Математическая логика и теория алгоритмов; МЦНМО, 2020

Издатель: МЦНМО
ISBN: 978-5-4439-0944-8
Книги: Математические науки
ID:7719248

Рейтинг:

(0/5)

О книге

Параметр	Значение
Автор(ы)	Верещагин Николай Константинович
Переплет	Мягкий переплет
Год издания	2020
Издатель	МЦНМО
Кол-во страниц	240
Серия	Современные лекционные курсы м
Возрастные ограничения	12
Раздел	Математические науки
ISBN	978-5-4439-0944-8
Количество страниц	240
Формат	144x209мм
Вес	0.24кг

Сравнить цены

Последняя известная цена от 31 р. до 31 р. в 3 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время

Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	Заказ от 800 рублей мы привезем бесплатно!

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Описание

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой.

Книга содержит около 200 задач различной трудности.

Предыдущее издание книги вышло в 2012 г.

Смотри также о книге.