АвторыАлаев П.Е.
Математическая логика, часть I
ИздательствоНовосибирcкий ГУ
Тип изданияучебное пособие
Год издания2014
Скопировать биб. запись
Для каталогаАлаев, П. Е. Математическая логика, часть I : учеб. пособие / Алаев П. Е. - Новосибирск : РИЦ НГУ, 2014. - 106 с. - ISBN 978-5-4437-0269-8. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785443702698.html (дата обращения: 21.11.2024). - Режим доступа : по подписке.
АннотацияПособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая части пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.