RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Драгалин Альберт Григорьевич
(1941–1998)

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 8

Статистика просмотров:
Эта страница:161
Страницы публикаций:683
Полные тексты:296

http://www.mathnet.ru/rus/person23518
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/59580

Публикации в базе данных Math-Net.Ru
1. Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методы
А. Г. Драгалин
Изв. вузов. Матем., 1993, № 3,  3–18
2. Определимые последовательности счетных ординалов
А. Г. Драгалин, В. А. Любецкий, В. И. Фуксон
Докл. АН СССР, 196:6 (1971),  1263–1265
3. Трансфинитные пополнения конструктивного арифметического исчисления
А. Г. Драгалин
Докл. АН СССР, 189:3 (1969),  458–460
4. Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкеля
А. Г. Драгалин, В. А. Любецкий
Докл. АН СССР, 187:6 (1969),  1225–1228
5. Словарные операторные алгорифмы
А. Г. Драгалин
Зап. научн. сем. ЛОМИ, 8 (1968),  46–52
6. Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
А. Г. Драгалин
Зап. научн. сем. ЛОМИ, 8 (1968),  32–45
7. К обоснованию принципа конструктивного подбора А. А. Маркова
А. Г. Драгалин
Докл. АН СССР, 177:5 (1967),  997–1000
8. Конструктивные трансфинитные системы и построение алгорифма по трансфинитной рекурсии
А. Г. Драгалин
Докл. АН СССР, 175:5 (1967),  993–996

9. Андрей Андреевич Марков (к семидесятилетию со дня рождения)
А. Г. Драгалин, Н. М. Нагорный, Н. В. Петри, Н. А. Шанин
УМН, 29:6(180) (1974),  187–191
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018