Санкт-Петербургский Дом Книги
СПРАВОЧНАЯ СЛУЖБА:
(812) 448-23-55
ИНТЕРНЕТ-МАГАЗИН:
(812) 448-78-88
Купить книгу Лекции по математической логике и теории алгоритмов. Ч.2.Языки и исчисления.
  • Лекции по математической логике и теории алгоритмов. Ч.2.Языки и исчисления.

  • ISBN: 978-5-94057-322-7
  • Издательство: М.:МЦНМО
  • Год издания: 2008
  • Тираж: 1000 экз.
  • Тип обложки: ОБЛОЖКА
  • Объем: 288 страниц
Отсутствует в продаже
Ваше имя:
Ваш телефон:
ИЛИ e-mail:
Оплата:
Оповестить при поступлении в продажу

ОПИСАНИЕ

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

Демидович Б.П. и др.
888,30o






Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Лекции по математической логике и теории алгоритмов. Ч.2.Языки и исчисления." из раздела "Прикладная математика. Математическое программирование. Математическая кибернетика. Вычислительная математика". Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 978-5-94057-322-7. Обратите Ваше внимание на то, что часто с книгой "Лекции по математической логике и теории алгоритмов. Ч.2.Языки и исчисления." покупают и другие товары. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.




МЫ В СОЦИАЛЬНЫХ СЕТЯХ:
ВАША ДИСКОНТНАЯ КАРТА:
ПРОВЕРКА НАКОПЛЕНИЙ:
ВВЕДИТЕ НОМЕР ВАШЕЙ ДИСКОНТНОЙ КАРТЫ