Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Степанов Владимир Алексеевич

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

Статистика просмотров:
Эта страница:2730
Страницы публикаций:558
Полные тексты:397
Специальность ВАК: 05.13.17 (теоретические основы информатики)
Дата рождения: 22.10.1941
E-mail:
Ключевые слова: самореферентность.

Основные темы научной работы

Самореферентность в задачах информатики.

   
Основные публикации:
  1. V. Stepanov, “Semantics of self-reference: a dynamical systems approach”, The Bulletin of Symbolic Logic, 10:2 (2004), 272
  2. В.А. Степанов, “Пропозициональная логика самореферентных предложений”, Научно-техническая информация, сер. 2, 2007, № 5, 8–14

https://www.mathnet.ru/rus/person37302
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:stepanov.vladimir-alekseevich
https://mathscinet.ams.org/mathscinet/MRAuthorID/208696

Публикации в базе данных Math-Net.Ru Цитирования
1984
1. В. Д. Ефремов, А. А. Кузьмин, В. А. Степанов, “Вычисление логических функций с использованием преобразования Радемахера”, Автомат. и телемех., 1984, № 2,  105–113  mathnet  mathscinet  zmath; V. D. Efremov, A. A. Kuz'min, V. A. Stepanov, “Computation of logical functions with the use of rademacher transformation”, Autom. Remote Control, 45:2 (1984), 232–238
1983
2. Ю. А. Курочкин, А. С. Смирнов, В. А. Степанов, “Информационная и функциональная надежность дискретных устройств”, Автомат. и телемех., 1983, № 6,  163–168  mathnet  zmath; Yu. A. Kurochkin, A. S. Smirnov, V. A. Stepanov, “Informational and functional reliability of digital devices”, Autom. Remote Control, 44:6 (1983), 823–827
1969
3. В. Н. Попов, В. А. Степанов, “Организация выдачи информации об ошибках в трансляторе ТА-1М”, Ж. вычисл. матем. и матем. физ., 9:2 (1969),  482–485  mathnet; V. N. Popov, V. A. Stepanov, “The error information in the translator TA-1M”, U.S.S.R. Comput. Math. Math. Phys., 9:2 (1969), 317–323
1964
4. В. Н. Попов, В. А. Степанов, Н. А. Травникова, А. Г. Стишева, “Программирующая программа”, Ж. вычисл. матем. и матем. физ., 4:1 (1964),  78–95  mathnet  mathscinet; V. N. Popov, V. A. Stepanov, N. A. Travnikova, A. G. Stisheva, “A programming program”, U.S.S.R. Comput. Math. Math. Phys., 4:1 (1964), 105–128 4

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024