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

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

Где купить

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

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

МагазинЦенаНаличие
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома
Промокоды на скидку

История цены

МагазинПоследняя известная ценаОбновлено
book24
919 р.
03.05.2024

Описание

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

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

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

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

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

О книге


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


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Математика - издательство "МЦНМО"

Категория 735 р. - 1102 р.

Книги: Математика

Категория 735 р. - 1102 р.

закладки (0) сравнение (0)

11 ms