везде Расширенный поиск
книги Электронные книги Наука, техника, медицина Точные науки
Заглянуть

Александр Шень Николай Верещагин

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

Код 4691960

  • 616 кб
  • ноябрь 2015
Электронная книга

Нет в продаже

Сообщить о появлении
pdf

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

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

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

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

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

Правообладатель: МЦНМО
Дата выхода: ноябрь 2015
Размер файла: 616 Кб
Поставщик контента: ООО «ЛитРес»

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

Minecraft. Программируй свой мир на Python. Второе издание
Minecraft. Программируй свой мир на Python.... бумажная книга
Дэвид Вэйл
Нет в продаже
Земные дети. Рассказы. Новеллы. Легенды
Земные дети. Рассказы. Новеллы. Легенды бумажная книга
Федор Кузьмич Сологуб
106.21 USD
В корзину
Врата Европы
Врата Европы бумажная книга
Сергей Плохий
Нет в продаже
Python для сложных задач: наука о данных
Python для сложных задач: наука о данных бумажная книга
Дж. Вандер Плас
31.05 USD
В корзину
Самоучитель Ruby
Самоучитель Ruby бумажная книга
Игорь Вячеславович...
Нет в продаже
Путь к характеру
Путь к характеру бумажная книга
Дэвид Брукс
Нет в продаже

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

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

Учебники