Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.
Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт
Свободных экз. нет
Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.
| УДК |
Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт
Свободных экз. нет
2.
Подробнее
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
| УДК |
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
Страница 1, Результатов: 2