Алгебраические системы
Book information
Description
Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев. А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.
Similar books
Основы линейной алгебры: учебник для СПО
2021 · PDF
Основы линейной алгебры: учебник для СПО
2021 · ZIP
Основы линейной алгебры
1956 · DJVU
Алгоритмы и рекурсивные функции
1986 · DJVU
Алгоритмы и рекурсивные функции
1965 · DJVU
Основы линейной алгебры
1956 · DJVU
Основы линейной алгебры
1970 · DJVU
Оборонная промышленность. Специальное обозрение. Рэнкинг предприятий Российского оборонно-промышленного комплекса в 2001 г. Пухов Р. Корпорации в российском ВПК уже есть. Бендукиндзе К. «Государство должно быть вменяемым заказчиком». Макиенко К. Зачем государству оборонка. Вопрос «Фокуса»: Должны ли предприятия оборонного комплекса участвовать в финансировании гособоронзаказа?. Пядушкин Н. Экспорт - наше главное оружие. Макиенко К. Международное сотрудничество в сфере ВПК сильнее национальных интересов. («Русский фокус», 22 июля - 19 августа 2002. Специальное обозрение «Оборонная промышленность»)
DJVU