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

Публикаций: 3 (3)
в zbMATH: 2 (2)
в Web of Science: 1 (1)
в Scopus: 2 (2)
Лекций и докладов: 5

Статистика просмотров:
Эта страница:122

http://www.mathnet.ru/rus/person131340
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:kolmakov.e-a
https://mathscinet.ams.org/mathscinet/MRAuthorID/1121051
ИСТИНА http://istina.msu.ru/workers/8067708

Полный список публикаций:
| по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | научные публикации | общий список |



   2018
1. Е. А. Колмаков, Л. Д. Беклемишев, “Аксиоматизация доказуемой $n$-доказуемости”, Докл. РАН, 483:3 (2018), 244–248  mathnet  crossref  isi  elib; E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing provable $n$-provability”, Dokl. Math., 98:3 (2018), 582–585  crossref  isi  scopus

   2016
2. Е. А. Колмаков, С. С. Марченков, “О максимальных подгруппах группы рекурсивных перестановок”, Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и кибернет., 40:3 (2016), 32–36  mathnet  zmath  elib; E. A. Kolmakov, S. S. Marchenkov, “On maximal subgroups of the group of recursive permutations”, Moscow Univ. Comput. Math. Cybernet., 40:3 (2016), 128–132  crossref  zmath  scopus

   2014
3. Е. А. Колмаков, “Метрическое обобщение алгоритмов классификации на основе анализа формальных понятий”, Прикл. матем. и информ., 47, 2014, 122–136  mathnet  zmath; E. A. Kolmakov, “Metric generalization of classification algorithms based on formal concept analysis”, Comput. Math. Model., 26:4 (2015), 566–576  crossref  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
Семинар отдела математической логики «Теория доказательств»
24 июня 2019 г. 18:30   
2. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
Семинар отдела математической логики «Теория доказательств»
20 мая 2019 г. 18:30   
3. О формулах, $n$-доказуемость которых выводима в арифметике Пеано
Е. А. Колмаков
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
10 апреля 2018 г. 18:30
4. Аксиоматизация доказуемой 1-доказуемости
Е. А. Колмаков
Семинар отдела математической логики «Теория доказательств»
30 октября 2017 г. 18:30
5. Axiomatizing provable 1-provability
E. Kolmakov
Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г. 14:50   

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