Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
Теория моделей и ее применения : Сб. ст. / Под ред. Цой Л.С.; М-во высш.и сред.спец.образования КазССР. - Алма-Ата : Изд-во Казанского университета, 1980. - 82 c.
Кл.слова (ненормированные):
пропозициональные модельные логики -- конечная аксиоматизируемость -- математика -- теория моделей -- НЛ -- число неизоморфных моделей -- алгоритмические логики -- рангованность формул -- трансцендентальные теории
Доп.точки доступа:
Цой Л.С. \ред.\
Министерство высшего и среднего специального образования КазССР
Свободных экз. нет
Теория моделей и ее применения : Сб. ст. / Под ред. Цой Л.С.; М-во высш.и сред.спец.образования КазССР. - Алма-Ата : Изд-во Казанского университета, 1980. - 82 c.
| УДК |
Кл.слова (ненормированные):
пропозициональные модельные логики -- конечная аксиоматизируемость -- математика -- теория моделей -- НЛ -- число неизоморфных моделей -- алгоритмические логики -- рангованность формул -- трансцендентальные теории
Доп.точки доступа:
Цой Л.С. \ред.\
Министерство высшего и среднего специального образования КазССР
Свободных экз. нет
2.
Подробнее
Первухин, Михаил Александрович.
Аксиоматизируемость и полнота некоторых классов частично упорядоченных полигонов [Электронный ресурс] / М. А. Первухин, А. А. Степанова. - Электроные текстовые данные // Алгебра и логика. - 2009. - Т. 48, № 1. - Доступна электронная версия.
Рубрики: частично упорядоченные полигоны--алгебра--научные издания
Кл.слова (ненормированные):
полигоны частично упорядоченные (алгебра) -- множества частично упорядоченные (алгебра) -- моноиды частично упорядоченные (алгебра) -- аксиоматизируемость
Первухин, Михаил Александрович.
Аксиоматизируемость и полнота некоторых классов частично упорядоченных полигонов [Электронный ресурс] / М. А. Первухин, А. А. Степанова. - Электроные текстовые данные // Алгебра и логика. - 2009. - Т. 48, № 1. - Доступна электронная версия.
| УДК |
Рубрики: частично упорядоченные полигоны--алгебра--научные издания
Кл.слова (ненормированные):
полигоны частично упорядоченные (алгебра) -- множества частично упорядоченные (алгебра) -- моноиды частично упорядоченные (алгебра) -- аксиоматизируемость
3.
Подробнее
Алгебра и логика : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков]. - Новосибирск : [б. и.], 1986. - С. 249-364. - (Труды / Институт математики СО АН СССР. ; т. 25 : № 3.). - Библиогр. в конце глав.
Кл.слова (ненормированные):
алгебра -- Логика -- квазимногообразия -- хорновы теории -- аксиоматизируемость -- булевые алгебры
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Кузьмин, Е. Н. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Алгебра и логика : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков]. - Новосибирск : [б. и.], 1986. - С. 249-364. - (Труды / Институт математики СО АН СССР. ; т. 25 : № 3.). - Библиогр. в конце глав.
| УДК |
Кл.слова (ненормированные):
алгебра -- Логика -- квазимногообразия -- хорновы теории -- аксиоматизируемость -- булевые алгебры
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Кузьмин, Е. Н. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Алгебра и логика : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики ; [гл. ред. Ю. Л. Ершов] ; [ред. кол. : С. С. Гончаров, Е. Н. Кузьмин и др.]. - Новосибирск : [б. и.], 1989. - С. 127-245. - (Труды / Институт математики СО АН СССР. ; т. 28 : № 2.). - Библиогр. в конце глав.
Кл.слова (ненормированные):
алгебра -- Логика -- многообразия алгебр -- жордановы подгруппы -- конечная аксиоматизируемость -- йордановы алгебры -- теории графов
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Кузьмин, Е. Н. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Алгебра и логика : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики ; [гл. ред. Ю. Л. Ершов] ; [ред. кол. : С. С. Гончаров, Е. Н. Кузьмин и др.]. - Новосибирск : [б. и.], 1989. - С. 127-245. - (Труды / Институт математики СО АН СССР. ; т. 28 : № 2.). - Библиогр. в конце глав.
| УДК |
Кл.слова (ненормированные):
алгебра -- Логика -- многообразия алгебр -- жордановы подгруппы -- конечная аксиоматизируемость -- йордановы алгебры -- теории графов
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Кузьмин, Е. Н. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 4