Алаев, П. Е. Математическая логика [Электронный ресурс] : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая система -- математическая логика -- множество -- предикат -- формула Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность». Доп.точки доступа: Максимова, Л. Л. Свободных экз. нет |
Кравченко, А. В. Универсальная алгебра и теория квазимногообразий [Электронный ресурс] : учебное пособие / Кравченко А. В. - Новосибирск : Новосибирский государственный технический университет, 2020. - 80 с. - ISBN 978-5-7782-4145-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая система -- квазимногообразие -- математика -- предел -- универсальная алгебра Аннотация: В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса «Линейная алгебра», читаемого на I курсе всех факультетов НГТУ. Доп.точки доступа: Швидефски, М. В. Свободных экз. нет |
Пинус, А. Г. Основы универсальной алгебры [Электронный ресурс] : учебное пособие / Пинус А. Г. - Новосибирск : Новосибирский государственный технический университет, 2019. - 184 с. - ISBN 978-5-7782-3794-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая решетка -- алгебраическая система -- математика -- множество -- универсальная алгебра -- функция Аннотация: Учебное пособие посвящено универсальной алгебре, молодой развивающейся науке, нашедшей свои приложения как внутри математики, так и в информатике и ряде других наук. Адресовано студентам и аспирантам-математикам, информатикам, а также научным работникам в этих областях. Свободных экз. нет |
Алаев, П. Е. Математическая логика. В 2 частях. Ч.1 [Электронный ресурс] : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая система -- математическая логика -- множество -- предикат -- формула Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Доп.точки доступа: Максимова, Л. Л. Свободных экз. нет |
Пономарев, К. Н. Кольца с однозначным сложением и жесткие алгебры [Электронный ресурс] : монография / Пономарев К. Н. - Новосибирск : Новосибирский государственный технический университет, 2016. - 203 с. - ISBN 978-5-7782-2968-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая система -- ассоциативное кольцо -- жесткое кольцо -- изоморфная жесткость -- теорема Аннотация: В монографии приводятся результаты авторских исследований свойств жесткости конечномерных алгебр. Монография может быть использована студентами старших курсов и аспирантами университетов различной направленности. Свободных экз. нет |
Порошенко, Е. Н. Сборник задач по дискретной математике [Электронный ресурс] : учебное пособие / Порошенко Е. Н. - Новосибирск : Новосибирский государственный технический университет, 2018. - 132 с. - ISBN 978-5-7782-3562-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая система -- алгебра логики -- бинарные отношения -- дискретная математика -- многомодульная арифметика -- полином жегалкина -- сборник задач -- система счисления -- теория графов -- теория множеств Аннотация: В пособии подобраны задачи по курсу дискретной математики, читаемому на I-II курсах НГТУ. Кроме того, в нем содержится большое количество примеров, способствующих самостоятельной работе и приобретению навыков решения задач. Свободных экз. нет |