Математическая логика, часть II
Для каталогаАлаев, П. Е. Математическая логика, часть II : учеб. пособие / Алаев П. Е. - Новосибирск : РИЦ НГУ, 2014. - 97 с. - ISBN 978-5-4437-0316-9. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://prior.studentlibrary.ru/book/ISBN9785443703169.html (дата обращения: 20.04.2025). - Режим доступа : по подписке.
АвторыАлаев П.Е.
ИздательствоНовосибирcкий ГУ
Тип изданияучебное пособие
Год издания2014
ПрототипЭлектронное издание на основе: Математическая логика, часть II : учеб. пособие / П. Е. Алаев, Л. Л. Максимова ; Новосиб. гос. ун-т. - Новосибирск : РИЦ НГУ, 2014. - 97 с. - ISBN 978-5-4437-0316-9.
АннотацияПособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий.
Downloaded 2018-08-06