О книге

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

Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Это и многое другое вы найдете в книге Вводный курс математической логики (В. А. Успенский, Н. К. Верещагин, В. Е. Плиско)

Полное название книги	В. Е. Плиско, Н. К. Верещагин, В. А. Успенский Вводный курс математической логики
Тип	Книга
Авторы	В. Е. Плиско, Н. К. Верещагин, В. А. Успенский
Категории	Математика, Образование и наука, Книги
ISBN	5922102788
Возрастное ограничение	18
Издательство	ФИЗМАТЛИТ
Год	2002
Название транслитом	vvodnyy-kurs-matematicheskoy-logiki-v-a-uspenskiy-n-k-vereschagin-v-e-plisko
Просмотров	12
Рейтинг izbe.ru	0,0