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

Успенский, Владимир Андреевич. Вводный курс математической логики : Учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2007. - 128 с. - ISBN 978-5-9221-0278-0 : Б. ц.

	УДК
	510.7

	ББК
	22.12

	РУБ
	01.04.01
	01.03.01

Рубрики:
Физико-математические науки

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

Нет сведений об экземплярах
Электронная библиотечная система ZNANIUM
https://znanium.com/cover/0129/129565.jpg

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