Полное описание

Ершов, Юрий Леонидович. Математическая логика : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 6, испр. - М. : ФИЗМАТЛИТ, 2011 (Чебоксары). - 356 с. - Указ.: с. 343-356. - 500 экз. - ISBN 978-5-9221-1301-4. - Текст : непосредственный.
Содержание:

ГРНТИ	УДК
27.03.19	510
03.91
	ББК
	22.12
	РУБ
	01.03.01
	02.03.01
	01.03.02
	03.03.01
	03.03.02
	03.03.03
	01.03.03
	01.03.04

Рубрики:
Математическая логика

Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Доп. точки доступа:
Палютин, Е.А.
Палютин, Евгений Андреевич

Электронная библиотечная система ZNANIUM

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-11/79569)
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\395379)

Шифр в сводном ЭК: 5261cb142910991d754e8425ea9f9634

Заказать издание
Заказ фрагмента документа ₽

Просмотр издания ЭБС ZNANIUM