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

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

Статистика просмотров:
Эта страница:581
Страницы публикаций:767
Полные тексты:238
Списки литературы:28
доцент
кандидат физико-математических наук
E-mail:
Сайт: http://lpcs.math.msu.su/~krupski

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

Публикации в базе данных Math-Net.Ru
2020
1. В. Н. Крупский, “О точных логиках свидетельств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, 1,  71–75  mathnet
2011
2. В. Н. Крупский, “О символических моделях для функциональной логики доказательств”, Матем. сб., 202:5 (2011),  63–76  mathnet  mathscinet  zmath  elib; V. N. Krupski, “On symbolic models for Single-Conclusion Logic of Proofs”, Sb. Math., 202:5 (2011), 683–695  isi  scopus
1990
3. В. Н. Крупский, “Об эффективности кодирования приближений действительных чисел”, Матем. заметки, 47:2 (1990),  46–57  mathnet  mathscinet  zmath; V. N. Krupskii, “Efficient coding of approximations of real numbers”, Math. Notes, 47:2 (1990), 143–152  isi
1984
4. В. Н. Крупский, “Допустимые топологические цепи Маркова с отождествлениями”, Матем. заметки, 35:2 (1984),  263–272  mathnet  mathscinet  zmath; V. N. Krupskii, “Admissible topological Markov chains with identifications”, Math. Notes, 35:2 (1984), 139–144  isi
1982
5. В. Н. Крупский, “О совместной аппроксимируемости действительных чисел”, Докл. АН СССР, 267:1 (1982),  45–48  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Primal implication as encryption
V. N. Krupski
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 14:30

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