везде Расширенный поиск
книги Без категории
Заглянуть

Верещагин Н.К., Шень А.

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления (7-е, стереотипное)

Код 5561165

  • ISBN: 978-5-4439-4707-5
  • 240 страниц
  • октябрь 2024
  • МЦНМО
Бумажная книга

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 19.10.2025; планируемая отправка: 20.10.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 22.10.2025; планируемая отправка: 23.10.2025

Аннотация к книге "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления (7-е, стереотипное)"

Описание:

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: МЦНМО
Дата выхода: октябрь 2024
ISBN: 978-5-4439-4707-5
Объём: 240 страниц

Вместе с этой книгой покупают

Путь инженера-программиста: развитие навыков для успешной карьеры
Путь инженера-программиста: развитие навыков... бумажная книга
23.09 USD
В корзину
-15%
Навола
Навола бумажная книга
Паоло Бачигалупи
17.59 USD 14.95 USD
В корзину
Михаил Булгаков, возмутитель спокойствия
Михаил Булгаков, возмутитель спокойствия бумажная книга
Виолетта Гудкова
26.34 USD
В корзину
Числа
Числа бумажная книга
Виктор Пелевин
14.97 USD
В корзину
Пути России от Ельцина до Батыя
Пути России от Ельцина до Батыя бумажная книга
Дмитрий Травин
15 USD
В корзину
Блокчейн. Исчерпывающее руководство
Блокчейн. Исчерпывающее руководство бумажная книга
57.66 USD
В корзину

Просмотренные товары

-19%
Логарифм и экспонента (3-е, стереотипное)
Логарифм и экспонента (3-е, стереотипное) бумажная книга
1.43 USD 1.16 USD
В корзину
Финал 9-й симфонии. Ода к радости. Версия Г. Корчмара для симф. оркестра. Партитура
Финал 9-й симфонии. Ода к радости. Версия Г.... бумажная книга
20.98 USD
В корзину
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств (9-е, стереотипное)
Лекции по математической логике и теории... бумажная книга
5.21 USD
В корзину
Фильтруй! Как работают наши печень и почки
Фильтруй! Как работают наши печень и почки бумажная книга
11.06 USD
В корзину

Просмотренные категории

Без категории