51 А 456 Алгебраические системы. Алгоритмические вопросы и ЭВМ : сборник научных трудов / М-во высш. и среднего спец. образования РСФСР. - Иркутск : Изд-во Иркутского ун-та, 1986. - 178 с. - Библиогр. в конце ст. - 0.00 р. Содержание: Пензин, Ю. Г. Матричная теория дивизоров алгебраических полей / Ю. Г. Пензин. - С .3-19 Верхозина, М. И. Предтабличные импликационные логики / М. И. Верхозина. - С .19-31 Дулатова, З. А. О расширенных теориях булевых алгебр / З. А. Дулатова. - С .31-39 Перязев, Н. А. Позитивные теории и элиминации кванторов / Н. А. Перязев. - С .39-46 Винокуров, С. Ф. Некоторые эндоморфизмы свободных решеток / С. Ф. Винокуров. - С .46-51 Мартьянов, В. И. Об одной формализации метода доказательств от противного / В. И. Мартьянов, А. А. Хармеев. - С .51-54 Мартьянов, В. И. Методы порождения индукционного предположения в машинном доказательстве теорем / В. И. Мартьянов, Н. П. Яковлев. - С .54-57 Усольцев, А. Л. Об одной задаче в теории графов / А. Л. Усольцев. - С .57-63 Манцивода, А. В. Об инвариантности n-преобразований формул / А. В. Манцивода. - С .63-68 Блудов, В. В. Автоматизация исследований комбинаторной теории групп с помощью ЭВМ / В. В. Блудов, В. И. Пантелеев, Е. В. Хламов. - С .68-76 Аспалямова, Э. Р. Приведение алгебраических и трансцендентных выражений к каноническому виду на ЭВМ / Э. Р. Аспалямова, В. Н. Хомич. - С .76-81 Савкова, М. К. Полурешетка простых m-степеней / М. К. Савкова. - С .81-83 Топорков, В. И. К постановке информационных задач / В. И. Топорков. - С .83-92 Нансалмаа, Н. О корректирующих преобразованиях формул / Н. Нансалмаа. - С .92-96 Рычков, С. В. О пучках и копучках модулей / С. В. Рычков. - С .96-102 Пинус, А. Г. Исчисление с квантором автоморфности / А. Г. Пинус. - С .102-121 Винокуров, С. ф. позитивная классификация булевых алгебр в расширенной сигнатуре / С. ф. Винокуров, З. А. Дулатова, Н. А. Перязев. - С .121-132 Васильев, С. Н. Вывод теорем на основе решения логических уравнений и типизаций / С. Н. Васильев. - С .132-142 Суменков, Е. А. Алгоритм построения минимального множества основных условий в методе сравнения / Е. А. Суменков. - С .142-160 Васильев, С. Н. Представление знаний и организация вычислений в пакете прикладных программ ВФЛ-I / С. Н. Васильев, В. Г. Каратуев. - С .160-165 Альбов, Н. К. О линейных системах с ограничениями на норму решений / Н. К. Альбов. - С .165-168
Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР. Иркутский государственный университет Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |