В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

« Назад

Комментарии: (авторизуйтесь, чтобы оставить свой)

Ваша корзина

В корзине нет товаров

Новости

2021-05-01

РАБОТА В МАЙСКИЕ КАНИКУЛЫ

В связи с майскими длительными выходными обработка заказов будет с задержкой. С 12 мая работаем в обычном режиме. Приносим вам свои извинения Магазин «Физтех-книга» в МФТИ работает по следующему графику: 1-го и 9-го мая магазин не работает 8-го мая с 10:00 до 17:30 в остальные дни по обычному графику

Все новости

Лидеры продаж

/Мельников О.И./

Незнайка в стране графов: учебное пособие. - 3-е изд., стер.

/Замятнин М.Ю. (ред.)/

Сборник задач для подготовки к олимпиадам по физике. 8 класс: Тепловые явления. Постоянный ток. Оптика / Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С.; под ред. Замятнина М.Ю.

/Замятнин М.Ю. (ред.)/

Сборник задач для подготовки к олимпиадам по физике. 9 класс. Механика. Т.2. Динамика. Статика. Законы сохранения / Вергунов А.Ю., Киреев А.А., Слободянин В.П., под ред. Замятнина М.Ю.

/Замятнин М.Ю. (ред.)/

Сборник задач для подготовки к олимпиадам по физике. 9 класс. Механика. Т.1. Кинематика / Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С.; под ред. Замятнина М.Ю.

/Замятнин М.Ю. (ред.)/

Сборник задач для подготовки к олимпиадам по физике. 7 класс: Основы механики / Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С.; под ред. Замятнина М.Ю.