Математическая логика и теория алгоритмов; Горная книга, 2006

319 р.

Издатель: Горная книга
ISBN: 5-7418-0451-9, 978-5-7418-0451-3
Книги: Учебная литература
ID:5879139

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

Описание Характеристики Сравнить цены (1) Отзывы (0)

Где купить (1)

Цена от 319 р. до 319 р. в 1 магазинах

Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	319 р. Электронная книга Кэшбэк до 6.5%	✔ 21.07.2025

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

Описание

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

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

О книге

Параметр	Значение
Автор(ы)	Е. В. Зайцева
Издатель	Горная книга
Год издания	2006
ISBN	5-7418-0451-9,978-5-7418-0451-3
Форматы электронной версии	PDF