База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
512 К 176
Калужнин, Лев Аркадьевич.
Введение в общую алгебру / Л. А. Калужнин. - Москва : Наука, 1973. - 447 c. : ил., табл. - Библиогр. : с. 436-439.
Кл.слова (ненормированные):
множества -- логика высказываний (математика) -- теория чисел -- коммутативные кольца -- фактор кольца -- математическая логика -- алгебра -- математика
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Калужнин, Лев Аркадьевич.
Введение в общую алгебру / Л. А. Калужнин. - Москва : Наука, 1973. - 447 c. : ил., табл. - Библиогр. : с. 436-439.
УДК |
Кл.слова (ненормированные):
множества -- логика высказываний (математика) -- теория чисел -- коммутативные кольца -- фактор кольца -- математическая логика -- алгебра -- математика
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
2.
Подробнее
510(075.8) Г 955
Гурова, Любовь Михайловна.
Математическая логика и теория алгоритмов : учебное пособие для вузов / Л. М. Гурова, Е. В. Зайцева ; Московский государственный горный университет. ; Московский государственный горный университет. - Москва : Изд-во Московского горного университета, 2006. - 262 с. : ил. - (Высшее горное образование). - Библиогр. : с. 259.. - ISBN 5741804519
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
логико-математические языки -- логика высказываний (математика) -- логика предикатов -- исчисление предикатов
Доп.точки доступа:
Зайцева, Елена Вячеславовна
Московский государственный горный университет
Экземпляры всего: 1
Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1)
Гурова, Любовь Михайловна.
Математическая логика и теория алгоритмов : учебное пособие для вузов / Л. М. Гурова, Е. В. Зайцева ; Московский государственный горный университет. ; Московский государственный горный университет. - Москва : Изд-во Московского горного университета, 2006. - 262 с. : ил. - (Высшее горное образование). - Библиогр. : с. 259.. - ISBN 5741804519
УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
логико-математические языки -- логика высказываний (математика) -- логика предикатов -- исчисление предикатов
Доп.точки доступа:
Зайцева, Елена Вячеславовна
Московский государственный горный университет
Экземпляры всего: 1
Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1)
Страница 1, Результатов: 2