Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Верещагин Николай Константинович
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
, профессор, с 1 сентября 1984
доктор физико-математических наук с 1996 года
доктор физико-математических наук
профессор по кафедре с 19 марта 1997 г.
профессор по специальности № 01.01.06
Соавторы:
Шень А.
,
Buhrman H.
,
Мучник А.А.
,
Ромащенко А.Е.
,
Durand B.
,
Koucky M.
,
Vitanyi Paul M.B.
,
Успенский В.А.
,
Чернов А.В.
,
Вьюгин М.В.
,
Christandl M.
,
Fortnow L.
,
Lotker Z.
показать полностью...
,
Patt-Shamir B.
,
Tardos G.
,
Вовк В.Г.
,
Скворцов Д.П.
,
Скворцова Е.З.
,
Bauwens B.
,
Bienvenu L.
,
Brody J.
,
Hammer D.
,
Jain S.
,
Klauck H.
,
Loff B.
,
Newman I.
,
Raz R.
,
Shaffer G.
,
Speelman F.
,
Zimand M.
,
Вербицкий О.В.
,
Махлин А.Ю.
,
Межиров И.В.
,
Милованов А.С.
,
Митина О.В.
,
Плиско В.Е.
,
Устинов М.А.
,
Alon N.
,
Dauchet M.
,
Dawid P.
,
Hemachandra L.A.
,
Hemaspaandra L.A.
,
Kaced T.
,
Lee T.
,
Porrot S.
,
Rogers J.D.
,
Torenvliet L.
,
Unger F.
,
de Rooij S.
,
de Wolf R.
,
Кановей В.Г.
,
Любецкий В.А.
,
Макарычев К.С.
,
Макарычев Ю.С.
,
Ушаков М.А.
,
Щепин Е.В.
103 статьи
,
8 книг
,
33 доклада на конференциях
,
6 НИР
,
2 членства в научных обществах
,
2 членства в редколлегиях сборников
,
12 членств в программных комитетах
,
2 членства в диссертационных советах
,
12 диссертаций
,
84 дипломные работы
,
67 курсовых работ
,
25 учебных курсов
Количество цитирований статей в журналах по данным Web of Science: 564, Scopus: 672
РИНЦ:
IstinaResearcherID (IRID): 615231
Деятельность
Статьи в журналах
2023
Information disclosure in the framework of Kolmogorov complexity
Vereshchagin Nikolay
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 940, с. 108-122
DOI
2022
A Family of Non-Periodic Tilings of the Plane by Right Golden Triangles
Vereshchagin Nikolay
в журнале
Discrete and Computational Geometry
, издательство
Springer Verlag
(Germany)
, том 68, № 1, с. 188-217
DOI
2021
High Entropy Random Selection Protocols
Buhrman Harry
,
Christandl Matthias
,
Koucký Michal
,
Lotker Zvi
,
Patt-Shamir Boaz
,
Vereshchagin Nikolay
в журнале
Algorithmica (New York)
, издательство
Springer Verlag
(Germany)
, том 83, с. 667-694
DOI
2021
Proofs of conservation inequalities for Levin's notion of mutual information of mutual information of 1974
Vereshchagin Nikolay
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 856, с. 14-20
DOI
2020
Descriptive Complexity of Computable Sequences Revisited
Vereshchagin Nikolay
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 809, с. 531-537
DOI
2020
On the Structure of Ammann A2 Tilings
Durand B.
,
Shen A.
,
Vereshchagin N.
в журнале
Discrete and Computational Geometry
, издательство
Springer Verlag
(Germany)
, том 63, с. 577-606
DOI
2018
A Conditional Information Inequality and Its Combinatorial Applications
Kaced Tarik
,
Romashchenko Andrei
,
Vereshchagin Nikolai
в журнале
IEEE Transactions on Information Theory
, издательство
Institute of Electrical and Electronics Engineers
(Piscataway, NJ, United States)
, том 64, № 5, с. 3610-3615
DOI
2018
Short lists with short programs in short time
Bauwens Bruno
,
Makhlin Anton
,
Vereshchagin Nikolay
,
Zimand Marius
в журнале
Computational Complexity
, издательство
Birkhauser Verlag
(Switzerland)
, том 27, № 1, с. 31-61
DOI
2018
Sparse Selfreducible Sets and Nonuniform Lower Bounds
Buhrman Harry
,
Torenvliet Leen
,
Unger Falk
,
Vereshchagin Nikolay
в журнале
Algorithmica
, том 81, № 1, с. 179-200
DOI
2017
Short lists with short programs from programs of functions and strings
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 61, № 4, с. 1440-1450
DOI
2016
Algorithmic Minimal Sufficient Statistics: a New Approach
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 76, № 3, с. 749-781
DOI
2016
Towards a Reverse Newman’s Theorem in Interactive Information Complexity
Brody Joshua
,
Buhrman Harry
,
Koucký Michal
,
Loff Bruno
,
Speelman Florian
,
Vereshchagin Nikolay
в журнале
Algorithmica
, том 74, № 3, с. 749-781
DOI
2014
Encoding invariance in average case complexity
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 54, № 2, с. 305-317
DOI
2011
Insuring against loss of evidence in game-theoretic probability
Philip Dawid A.
,
de Rooij Steven
,
Shaffer Glenn
,
Shen Alexander
,
Vereshchagin Nikolay
,
Vovk Vladimir
в журнале
Statistics and Probability Letters
, издательство
Elsevier BV
(Netherlands)
, том 81, № 1, с. 157-162
DOI
2011
On Joint Conditional Complexity (Entropy)
Vereshchagin Nikolay K.
,
Muchnik Andrej A.
в журнале
Proceedings of the Steklov Institute of Mathematics
, издательство
Springer Verlag
(Germany)
, том 274, № 1, с. 90-104
DOI
2011
Test martingales, Bayes factors, and p-values
Shafer Glenn
,
Shen Alexander
,
Vereshchagin Nikolai
,
Vovk Vladimir
в журнале
Statistical Science
, издательство
Institute of Mathematical Statistics
(United States)
, том 26, № 1, с. 84-101
DOI
2011
О совместной условной сложности (энтропии)
Верещагин Николай Константинович
,
Мучник Андрей Альбертович
в журнале
Труды Математического института им.В.А.Стеклова РАН
, издательство
МИАН
(Москва)
, том 274, с. 103-118
2010
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible
Buhrman Harry
,
Fortnow Lance
,
Koucky Michal
,
Rogers John D.
,
Vereshchagin Nikolai
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 46, № 1, с. 143-156
DOI
2010
Limit complexities revisited
Bienvenu Laurent
,
Muchnik Andrej
,
Shen Alexander
,
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 47, с. 720-736
DOI
2010
On abstract resource semantics and computability logic
Mezhirov Ilya
,
Vereshchagin Nikolay
в журнале
Journal of Computer and System Sciences
, издательство
Academic Press
(United States)
, том 76, № 5, с. 356-372
DOI
2010
Rate Distortion and Denoising of Individual Data Using Kolmogorov Complexity
Vereshchagin Nikolay
,
Vitanyi Paul M.B.
в журнале
IEEE Transactions on Information Theory
, издательство
Institute of Electrical and Electronics Engineers
(Piscataway, NJ, United States)
, том 56, № 7, с. 3438-3454
DOI
2008
Kolmogorov Complexity and Games,
Vereshchagin N.K.
в журнале
Bulletin of EATCS
, том 94, с. 43-75
2007
Individual Communication Complexity
Buhrman Harry
,
Klauck Hartmuth
,
Vereshchagin Nikolai
,
Vitanyi Paul M.B.
в журнале
Journal of Computer and System Sciences
, издательство
Academic Press
(United States)
, том 73, № 6, с. 973-985
DOI
2007
Kolmogorov complexity of enumerating finite sets
Vereshchagin N.
в журнале
Information Processing Letters
, издательство
Elsevier BV
(Netherlands)
, том 103, с. 34-39
DOI
2007
Non-reducible descriptions for conditional Kolmogorov complexity
Muchnik Andrej
,
Shen Alexander
,
Ustinov Mikhail
,
Vereshchagin Nikolai
,
Vyugin Michael
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 384, № 1, с. 77-86
DOI
2007
Partitioning multi-dimensional sets in a small number of "uniform" parts
Alon Noga
,
Newman Ilan
,
Shen Alexander
,
Tardos Gabor
,
Vereshchagin Nikolai
в журнале
European Journal of Combinatorics
, издательство
Academic Press
(United States)
, том 28, с. 134-144
DOI
2004
Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection
Vereshchagin Nikolay
,
Vitanyi Paul M.B.
в журнале
IEEE Transactions on Information Theory
, издательство
Institute of Electrical and Electronics Engineers
(Piscataway, NJ, United States)
, том 50, № 12, с. 3265-3290
DOI
2004
Kolmogorov-Loveland stochasticity for finite strings
Durand Bruno
,
Vereshchagin Nikolai K.
в журнале
Information Processing Letters
, издательство
Elsevier BV
(Netherlands)
, том 91, с. 263-269
DOI
2003
Do stronger definitions of randomness exist?
Durand Bruno
,
Kanovei Vladimir
,
Uspensky Vladimir
,
Vereshchagin Nikolai
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 290, № 3, с. 1987-1996
DOI
2003
How to Use Several Noisy Channels with Unknown Error Probabilities
Mitina O.
,
Vereshchagin N.
в журнале
Information and Computation
, издательство
Academic Press
(United States)
, том 182, с. 229-241
DOI
2003
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
Chernov Alexey V.
,
Skvortsov Dmitriy P.
,
Skvortsova Elena Z.
,
Vereshchagin Nikolai K.
в журнале
Proceedings of the Steklov Institute of Mathematics
, издательство
Springer Verlag
(Germany)
, том 242, с. 67-85
2003
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего
Верещагин Н.К.
,
Скворцов Д.П.
,
Скворцова Е.З.
,
Чернов А.В.
в журнале
Труды Математического института им.В.А.Стеклова РАН
, издательство
МИАН
(Москва)
, том 242, с. 77-97
2002
A New class of non-Shannon-type inequalities for entropies
Makarychev K.
,
Makarychev Yu
,
Romashchenko A.
,
Vereshchagin N.
в журнале
Communications in Information and Systems
, том 2, № 2, с. 147-166
DOI
2002
Combinatorial interpretation of Kolmogorov complexity
Romashchenko A.
,
Shen A.
,
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 271, с. 111-123
DOI
2002
Descriptive Complexity of Computable Sequences
Durand B.
,
Shen A.
,
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 171, с. 47-58
DOI
2002
Independent minimum length programs to translate between given strings
Vereshchagin N.
,
Vyugin M.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 271, с. 131-143
DOI
2002
Kolmogorov Complexity Conditional to Large Integers
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 271, с. 59-67
DOI
2002
Logical operations and Kolmogorov complexity
Shen A.
,
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 271, с. 125-129
DOI
2002
Upper semi-lattice of binary strings with the relation "x is simple conditional to y"
Chernov A.
,
Muchnik An
,
Romashchenko A.
,
Shen A.
,
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 271, с. 69-95
DOI
2000
Inequalities for Shannon entropy and Kolmogorov complexity
Hammer Daniel
,
Romashchenko A.
,
Shen A.
,
Vereshchagin N.
в журнале
Journal of Computer and System Sciences
, издательство
Academic Press
(United States)
, том 60, с. 442-464
DOI
1999
Arthur-Merlin Games in Boolean Decision Trees
Raz Ran
,
Tardos Gabor
,
Verbitsky Oleg
,
Vereshchagin Nikolai
в журнале
Journal of Computer and System Sciences
, издательство
Academic Press
(United States)
, том 59, с. 346-372
DOI
1998
Randomized boolean decision trees: Several remarks
Vereshchagin N.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 207, с. 329-342
DOI
1996
A General Method to Construct Oracles Realizing Given Relationships between Complexity Classes
Muchnik Andrei A.
,
Vereshchagin Nikolai K.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 157, с. 227-258
DOI
1995
Oracle Separation of Complexity Classes and Lower Bounds for Perceptrons Solving Separation Problems
Vereshchagin N.
в журнале
Izvestiya. Mathematics
, издательство
American Mathematical Society
(United States)
, том 59, № 6, с. 1103-1122
DOI
1995
Оракульное отделение некоторых сложностных классов и нижние оценки сложности персептронов, решающих некоторые проблемы отделения
Верещагин Н.
в журнале
Известия РАН. Серия математическая
, том 59, № 6, с. 3-31
1994
Relativizable and Non-Relativizable Theorems in Polynomial Theory of Algorithms
Vereshchagin N.
в журнале
Izvestiya. Mathematics
, издательство
American Mathematical Society
(United States)
, том 42, № 2, с. 261-298
DOI
1993
Banishing Robust Turing Completeness
Hemaspaandra Lane A.
,
Jain Sanjay
,
Vereshchagin Nikolai K.
в журнале
International Journal of Foundations of Computer Science
, издательство
World Scientific Publishing Co
(Singapore)
, том 3, № 4, с. 245-265
DOI
1993
The relation between NP and co-NP sets with respect to a random oracle
Vereshchagin N.
в журнале
Soviet Mathematics (Izvestiya VUZ. Matematika)
, том 37, № 3, с. 29-37
1993
Релятивизуемые и нерелятивизуемые теоремы полиномиальной теории алгоритмов
Верещагин Н.К.
в журнале
Известия РАН. Серия математическая
, том 57, № 2, с. 51-90
1993
Соотношение между NP-, coNP- и P-множествами относительно случайного оракула
Верещагин Н.К.
в журнале
Известия высших учебных заведений. Математика
, издательство
Изд-во Казан. ун-та
(Казань)
, том 3, с. 31-39
1990
A New Proof of the Decidability of the Elementary Theory of Linearly Ordered Sets
Vereshchagin N.
в журнале
Mathematical Notes
, издательство
Pleiades Publishing, Ltd
(Road Town, United Kingdom)
, том 47, с. 444-449
DOI
1990
Новое доказательство разрешимости элементарной теории линейно упорядоченных множеств
Верещагин Н.К.
в журнале
Математические заметки
, издательство
МИАН
(Москва)
, том 47, № 5, с. 21-38
1986
Эффективные верхние оценки числа нулей линейной рекуррентной последовательности
Верещагин Н.К.
в журнале
Вестник Московского университета
, издательство
Ред. журн.
(М.)
, № 1, с. 25-30
1985
The problem of appearance of a zero in a linear recurrence sequence (Occurrence of zero in a linear recursive sequence)
Vereshchagin N.
в журнале
Mathematical Notes
, издательство
Pleiades Publishing, Ltd
(Road Town, United Kingdom)
, том 38, № 1-2, с. 609-615
DOI
1985
О проблеме появления нуля в линейной рекуррентной последовательности
Верещагин Н.К.
в журнале
Математические заметки
, издательство
МИАН
(Москва)
, том 38, № 2, с. 177-189
1984
On the zeros of linear recurrence sequences
Vereshchagin N.
в журнале
Doklady Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 30, № 2, с. 502-505
1984
О нулях линейных рекуррентных последовательностей
Верещагин Н.К.
в журнале
Доклады Академии наук
, издательство
Наука
(М.)
, том 278, № 5, с. 1036-1039
Статьи в сборниках
2022
How Much Randomness is Needed to Convert MA Protocols to AM Protocols?
Vereshchagin Nikolay
в сборнике
Computer Science – Theory and Applications
, серия
Lecture Notes in Computer Science,
, издательство
Springer International Publishing
(New York)
, том 13296, с. 338-349
DOI
2020
A family of non-periodic tilings of the plane by right golden triangles
Nikolay Vereshchagin
в сборнике
ArXiv
, серия
Series arxive "math"
, издательство
Cornell University Press
(United States)
, том 2005
2017
Algorithmic Statistics: Forty Years Later
Vereshchagin Nikolay
,
Shen Alexander
в сборнике
Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 10010, с. 669-737
DOI
2017
Stochasticity in Algorithmic Statistics for Polynomial Time
Milovanov Alexey
,
Vereshchagin Nikolay
в сборнике
32nd Computational Complexity Conference
, серия
Leibniz International Proceedings in Informatics (LIPIcs)
, место издания
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing Saarbrücken/Wadern, Germany
, том 79, с. 17:1-17:17
DOI
2017
Stochasticity in algorithmic statistics for polynomial time
Milovanov Alexey
,
Vereshchagin Nikolay
в сборнике
Electronic Colloquium on Computational Complexity
, серия
TR17
, место издания
Weizmann Institute of Science Rehovot
, том 43, с. 1-21
2015
Algorithmic Statistics Revisited
Vereshchagin Nikolay
,
Shen Alexander
в сборнике
Measures of Complexity. Festschrift for Alexey Chervonenkis
, место издания
Springer Science + Business Media
, с. 235-252
DOI
2014
Aperiodic tilings by right triangles
Vereshchagin Nikolay
в сборнике
Descriptional Complexity of Formal Systems, 16th International Workshop, DCFS 2014
, серия
Lecture Notes in Computer Science
, место издания
Springer Verlag Berlin
, том 8614, с. 29-41
DOI
2014
Randomized communication complexity of approximating Kolmogorov complexity
Vereshchagin Nikolay
в сборнике
Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
, том 8476, с. 365-374
DOI
редактор
Верещагин Николай Константинович
2013
Improving on Gutfreund, Shaltiel, and Ta-Shma's Paper "If NP Languages Are Hard on the Worst-Case, Then It Is Easy to Find Their Hard Instances"
Vereshchagin Nikolay K.
в сборнике
Computer Science – Theory and Applications, 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 7913, с. 203-211
DOI
2013
On Algorithmic Strong Sufficient Statistics
Vereshchagin Nikolay
в сборнике
The Nature of Computation. Logic, Algorithms, Applications – 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 7921, с. 424-433
DOI
2013
Short lists with short programs in short time
Bauwens Bruno
,
Makhlin Anton
,
Vereshchagin Nikolay
,
Zimand Marius
в сборнике
Proceedings 28-th IEEE Conference on Computational Complexity
, место издания
Stanford, CA
, с. 98-108
DOI
2013
Towards a reverse Newman's theorem in interactive information complexity
Brody Joshua
,
Buhrman Harry
,
Koucky Michal
,
Loff Bruno
,
Speelman Florian
,
Vereshchagin Nikolay
в сборнике
Proceedings 28-th IEEE Conference on Computational Complexity
, место издания
Stanford, CA
, с. 24-33
DOI
2012
Limit complexities revisited [once more]
Bienvenu Laurent
,
Muchnik Andrej
,
Shen Alexander
,
Vereshchagin Nikolai
в сборнике
Arxiv.org:1204.0201 (Cornell University Library)
, с. 1-12
2010
An Encoding Invariant Version of Polynomial Time Computable Distributions
Vereshchagin Nikolay
в сборнике
Computer Science – Theory and Applications, 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 6072, с. 371-383
DOI
2009
Algorithmic Minimal Sufficient Statistic Revisited
Vereshchagin N.
в сборнике
Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 5635, с. 478-487
DOI
2009
Kolmogorov Complexity and Model Selection
Vereshchagin Nikolay K.
в сборнике
Computer Science - Theory and Applications, 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer Berlin
, том 5675, с. 19-24
DOI
2008
On Game Semantics of the Affine and Intuitionistic Logics
Mezhirov Ilya
,
Vereshchagin Nikolai K.
в сборнике
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 5110, с. 28-42
DOI
2008
On-line Probability, Complexity and Randomness
Chernov Alexey
,
Shen Alexander
,
Vereshchagin Nikolai
,
Vovk Vladimir
в сборнике
Proc. 19th International Conference on Algorithmic Learning Theory (ALT 2008)
, с. 138-153
DOI
2008
Randomised individual communication complexity
Buhrman Harry
,
Koucky Michal
,
Vereshchagin Nikolai
в сборнике
23rd Annual IEEE Conference on IEEE Conference on Computational Complexity. Proceedings
, издательство
IEEE Computer Society Press
(Los Alamitos, CA, United States)
, с. 321-331
DOI
2007
High Entropy Random Selection Protocols
Vereshchagin Nikolai K.
,
Buhrman Harry
,
Christandl Matthias
,
Koucký Michal
,
Lotker Zvi
,
Patt-Shamir Boaz
в сборнике
Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007
, серия
Dagstuhl Seminar Proceedings
, место издания
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
, том 7411
2007
High entropy random selection protocols
Buhrman Harry
,
Christandl Matthias
,
Koucky Michal
,
Lotker Zvi
,
Patt-Shamir Boaz
,
Vereshchagin Nikolai
в сборнике
Proceedings of 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 4627, с. 366-379
DOI
2007
On computation and communication with small bias
Buhrman Harry
,
Vereshchagin Nikolay
,
de Wolf Ronald
в сборнике
Twenty-Second Annual IEEE Conference on Computational Complexity, 2007. CCC '07
, место издания
IEEE Computer Society Press Los Alamitos, Calif., United States
, с. 24-32
DOI
2006
Kolmogorov Complexity with Error
Fortnow Lance
,
Lee Troy
,
Vereshchagin Nikolai
в сборнике
Proc. Symposium Theoretical Aspects of Comput. Science
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 3884, с. 137-148
DOI
2006
Non-reducible descriptions for conditional Kolmogorov complexity
Muchnik Andrej
,
Shen Alexander
,
Ustinov Mikhail
,
Vereshchagin Nikolai
,
Vyugin Michael
в сборнике
Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006,
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 3959, с. 15-20
DOI
2006
Shannon Entropy vs. Kolmogorov Complexity
Muchnik Andrei
,
Vereshchagin Nikolai
в сборнике
Computer Science – Theory and Applications, 1st International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 3967, с. 281-291
DOI
2005
Increasing Kolmogorov complexity
Buhrman Harry
,
Fortnow Lance
,
Newman Ilan
,
Vereshchagin Nikolai
в сборнике
Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science
, серия
Lecture Notes in Computer Science
, издательство
Springer Verlag
(Germany)
, том 3404, с. 412-421
DOI
2004
Ecological Turing Machines
Durand Bruno
,
Muchnik Andrei
,
Ushakov Maxim
,
Vereshchagin Nikolai
в сборнике
31st International Colloquium on Automata, Languages and Programming, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 3142, с. 457-468
DOI
2004
Individual Communication Complexity: Extended Abstract
Buhrman Harry
,
Klauck Hartmut
,
Vereshchagin Nikolai K.
,
Vitányi Paul M.B.
в сборнике
STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 2996, с. 19-30
DOI
2002
Kolmogorov’s Structure Functions with an Application to the Foundations of Model Selection
Vereshchagin Nikolai K.
,
Vitányi Paul M.B.
в сборнике
43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings
, место издания
IEEE Computer Society
, с. 751-760
DOI
2002
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
Chernov Alexey V.
,
Skvortsov Dmitrij P.
,
Skvortsova Elena Z.
,
Vereshchagin Nikolai K.
в сборнике
Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 2471, с. 74-88
DOI
2001
Logical operations and Kolmogorov complexity. II
Muchnik Andrey A.
,
Vereshchagin Nikolai K.
в сборнике
Proc. of 16th Annual IEEE Conference on Computational Complexity
, издательство
IEEE Computer Society Press
(Los Alamitos, CA, United States)
, с. 256-265
DOI
2000
Combinatorial Interpretation of Kolmogorov Complexity
Romashchenko Andrei E.
,
Shen Alexander
,
Vereshchagin Nikolai K.
в сборнике
Proceedings 15th Annual IEEE Conference on Computational Complexity
, с. 131-137
DOI
2000
Independent Minimum Length Programs to Translate between Given Strings
Vereshchagin Nikolai K.
,
Vyugin Michael V.
в сборнике
Proceedings 15th Annual IEEE Conference on Computational Complexity
, с. 138-145
DOI
2000
Алгоритм определения вторичной структуры РНК
Верещагин Н.К.
,
Любецкий В.А.
в сборнике
Труды научно-исследовательского семинара Логического центра Института философии РАН
, место издания
Изд-во РАН Москва
, том 14, с. 99-109
1999
Descriptive Complexity of Computable Sequences
Durand Bruno
,
Shen Alexander
,
Vereshchagin Nikolai K.
в сборнике
STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 1563, с. 153-162
DOI
1999
Relativizability in complexity theory
Vereshchagin Nikolai
в сборнике
Provability, Complexity, Grammars
, серия
American Mathematical Society Translations, Series 2
, место издания
Amer. Math. Soc Providence, RI
, том 192, с. 87-172
1999
Upper Semilattice of Binary Strings with the Relation "x is Simple Conditional to y"
Muchnik Andrei A.
,
Romashchenko Andrei E.
,
Shen Alexander
,
Vereshchagin Nikolai K.
в сборнике
Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999
, место издания
IEEE Computer Society
, с. 114-123
DOI
1998
Arthur-Merlin Games in Boolean Decision Trees
Raz Ran
,
Tardos Gábor
,
Verbitsky Oleg
,
Vereshchagin Nikolai K.
в сборнике
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, Buffalo, New York, USA, June 15-18, 1998
, место издания
IEEE Computer Society
, с. 58-67
DOI
1998
Deterministic rational transducers and random sequences
Porrot Sylvian
,
Dauchet Max
,
Durand Bruno
,
Vereshchagin Nikolai K.
в сборнике
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
, том 1378, с. 258-272
DOI
1997
Inequalities for Shannon entropies and Kolmogorov complexities
Hammer Daniel
,
Romashchenko Andrei E.
,
Shen Alexander
,
Vereshchagin Nikolai K.
в сборнике
Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997
, место издания
IEEE Computer Society
, с. 13-23
DOI
1995
How to Use Expert Advice in the Case when Actual Values of Estimated Events Remain Unknown
Mitina Olga
,
Vereshchagin Nikolai K.
в сборнике
Proceedings of the Eigth Annual Conference on Computational Learning Theory, COLT 1995, Santa Cruz, California, USA, July 5-8, 1995
, место издания
ACM
, с. 91-97
DOI
1995
Lower Bounds for Perceptrons Solving some Separation Problems and Oracle Separation of AM from PP
Vereshchagin N.K.
в сборнике
Proc. Third Israel Symposium on Theory of Computing and Systems, Tel-Aviv
, с. 46-51
1995
NP-sets are Co-NP-immune Relative to a Random Oracle
Vereshchagin N.
в сборнике
Proc. Third Israel Symposium on Theory of Computing and Systems, Tel-Aviv
, с. 40-45
1993
Relationships between NP-sets, coNP-sets and P-sets relative to random oracles
Vereshchagin N.
в сборнике
Proc. 8th Conference on Structure in Complexity Theory
, издательство
IEEE Computer Society Press
(Los Alamitos, CA, United States)
, с. 132-138
DOI
1992
Banishing Robust Turing Completeness
Hemachandra Lane A.
,
Jain Sanjay
,
Vereshchagin Nikolai K.
в сборнике
Logical Foundations of Computer Science - Tver ’92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 620, с. 186-197
DOI
1992
On the Power of PP
Vereshchagin Nikolai K.
в сборнике
Proc. 7th Annual IEEE Conference on Structure in Complexity Theory
, издательство
IEEE Computer Society Press
(Los Alamitos, CA, United States)
, с. 138-143
DOI
Книги
2017
Kolmogorov complexity and algorithmic randomness
Shen A.
,
Uspensky V.A.
,
Vereshchagin N.
издательство
AMS Press
(United States)
, ISBN 978-1-4704-3182-2, 511 с.
2013
Колмогоровская сложность и алгоритмическая случайность
Верещагин Н.К.
,
Успенский В.А.
,
Шень А.
место издания
МЦНМО Москва
, 576 с.
2012
Информация, кодирование и предсказание
Верещагин Николай Константинович
,
Щепин Евгений Витальевич
место издания
МЦНМО Москва
, ISBN 978-5-94057-920-5, 236 с.
2004
Вводный курс математической логики
Успенский В.А.
,
Верещагин Н.К.
,
Плиско В.Е.
место издания
Наука Москва
, 136 с.
2002
Вводный курс математической логики
Успенский В.А.
,
Верещагин Н.К.
,
Плиско В.Е.
место издания
Физматлит Москва
, ISBN 5-9221-0278-8, 128 с.
2000
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Верещагин Н.К.
,
Шень А.
место издания
МЦНМО Москва
1999
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
Верещагин Н.К.
,
Шень А.
место издания
МЦНМО
1999
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Верещагин Н.К.
,
Шень А.
место издания
МЦНМО
Доклады на конференциях
2023
Вариации на темы Колмогрова
(Приглашенный)
Авторы:
Верещагин Н.К.
,
Шень А.
Международная научная конференция "Колмогоров-120"
, МГУ, Россия, 25-27 апреля 2023
2022
Новое семейство непериодических замощений квадратными плитками.
(Пленарный)
Автор:
Верещагин Н.К.
Графы, игры и модели
, Майкоп, Россия, 12-15 октября 2022
2022
Кошки-мышки и другие игры в теории информации
(Пленарный)
Автор:
Верещагин Н.К.
Школа по современной комбинаторике и теории игр
, Майкоп, Россия, 8-14 июля 2022
2022
How much randomness is needed to convert MA protocols to AM protocols?
(Устный)
Автор:
Верещагин Н.К.
The 17th International Computer Science Symposium in Russia
, онлайн, Россия, 29 июня - 1 июля 2022
2021
Information disclosure in the framework of Kolmogorov complexity
(Приглашенный)
Автор:
Vereshchagin Nikolay
Problems in Theoretical Computer Science 2021
, Москва, Россия, 10-12 декабря 2021
2021
Апериодические замощения плоскости равнобедренными прямоугольными треугольниками
(Устный)
Автор:
Верещагин Н.К.
Современная комбинаторика и теория игр. Мезмай, Краснодарский край, 5–6 июля 2021 года.
, Мезмай, Россия, 5-6 июля 2021
2021
Количество общей информации в бесконечных двоичных последовательностях
(Устный)
Автор:
Верещагин Н.К.
Ломоносовские чтения-2021 Секция Математика
, Москва, Россия, 21-28 апреля 2021
2019
A Conditional Information Inequality and its Combinatorial Applications
(Приглашенный)
Автор:
Верещагин Н.К.
Russian Workshop on Complexity and Model Theory
, Долгопрудный, Россия, 9-11 июня 2019
2019
Об одном информационном неравенстве и его комбинаторном применении
(Устный)
Автор:
Верещагин Николай Константинович
«Ломоносовские чтения - 2019». Секция «Математика»
, Москва, МГУ, Россия, 15-25 апреля 2019
2018
Колмогоровская сложность вычислимых 0-1-последовательностей.
(Устный)
Автор:
Верещагин Н.К.
Конференция МИАН-ПОМИ, МИАН 24-25 декабря 2018
, Москва, Россия, 24-25 декабря 2018
2018
A Conditional Information Inequality and Its Combinatorial Applications
(Устный)
Автор:
Верещагин Н.К.
Dagstuhl Seminar 18391 – Algebraic Methods in Computational Complexity. Germany September 23 – 28 , 2018
, Dagstuhl, Германия, 23-28 сентября 2018
2017
Stochasticity in Algorithmic Statistics for Polynomial Time
(Устный)
Авторы:
Верещагин Н.К.
,
Милованов А.С.
32nd Computational Complexity Conference
, Рига, Латвия, 6 июля - 9 декабря 2017
2017
Нестохастические объекты в алгортимической статистике
(Устный)
Авторы:
Милованов А.С.
,
Верещагин Н.К.
Ломоносовские чтения - 2017
, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
2016
On Ammann tilings
(Устный)
Автор:
Верещагин Н.К.
Transversal Aspects of Tilings, Dynamical, arithmetical and algebraic aspects
, Oleron, Франция, 6-10 июня 2016
2016
Short lists with short programs from programs
(Устный)
Автор:
Верещагин Н.К.
Конференция по теоретической информатике
, Россия, 6-8 апреля 2016
2015
On Tilings of the Plane by Polygons
(Устный)
Автор:
Верещагин Н.К.
Discrete Geometry
, Долгопрудный, МФТИ, Россия, 7-11 сентября 2015
2015
Short lists with short programs for functions
(Устный)
Автор:
Верещагин Н.К.
Tenth International Conference on Computability, Complexity and Randomness (CCR 2015)
, Гейдельберг, Германия, 22-26 июня 2015
2015
Algorithmic statistics and useful information
(Приглашенный)
Автор:
Верещагин Н.К.
Varieties of Algorithmic Information
, Гейдельберг, Германия, 15-18 июня 2015
2014
Aperiodic Tilings by Right Triangles
(Приглашенный)
Автор:
Верещагин Н.К.
Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014.
, Turku, Finland, Финляндия, 2014
2014
Randomized communication complexity of appropximating Kolmogorov complexity
(Устный)
Автор:
Верещагин Н.К.
CSR 2014: The 9th International Computer Science Symposium in Russia, Moscow, June 6-12, 2014.
, Москва, Россия, 2014
2014
Коммуникационная сложность приближенного нахождения колмогоровской сложности
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2014. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
2013
High Entropy Random Selection Protocols
(Устный)
Автор:
Vereshchagin Nikolay K.
Logic and Computation Day
, Математический институт им. В.А.Стеклова РАН, Россия, 7 июня 2013
2013
Short lists with short programs in short time
(Устный)
Авторы:
Bauwens Bruno
,
Zimand Marius
,
Vereshchagin Nikolay
,
Makhlin Anton
28th IEEE Conference on Computational Complexity
, Standford, USA, США, 5-7 июня 2013
2013
Towards a Reverse Newman's Theorem in Interactive Information Complexity
(Устный)
Авторы:
Brody Joshua
,
Buhrman Harry
,
Vereshchagin Nikolay
,
Loff Bruno
,
Speelman Florian
,
Koucky Michal
28th IEEE Conference on Computational Complexity
, Standford, USA, США, 5-7 июня 2013
2013
Вычисление небольшого списка, содержащего короткое описание данного объекта
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2013. Секция математики
, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
2012
On abstract resource semantics and computabilty logic
(Устный)
Автор:
Vereshchagin Nikolay
Logical Models of Reasoning and Computation (LRMC 2012)
, Математический институт им. В.А.Стеклова РАН, Россия, 1-3 февраля 2012
2010
Замощения Аммана
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2010. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 16-22 апреля 2010
2009
Логика задач Джапаридзе и линейная логика
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2009. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 16-24 апреля 2009
2008
О вычислительной сложности задач для типичного входа
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2008
, Москва, Россия, 15-22 апреля 2009
2007
Протоколы генерации строк большой шенноновской энтропии
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2007. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 16-25 апреля 2007
2006
Очистка данных от шума с помощью сжатия
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2006. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 17-26 апреля 2006
2004
Колмогоровская сложность приблизительного описания конечного объекта
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2004. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 19-26 апреля 2004
2002
Структурные функции Колмогорова
(Устный)
Автор:
Верещагин Николай Константинович
Ломоносовские чтения - 2002. Секция математики
, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 18-26 апреля 2002
НИРы
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
Кафедра математической логики и теории алгоритмов
Руководитель:
Семенов А.Л.
Ответственные исполнители:
Золин Е.Е.
,
Оноприенко А.А.
,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д.
,
Белов А.Я.
,
Верещагин Н.К.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Любецкий В.А.
,
Плиско В.Е.
,
Сорокин А.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 января 2019 - 31 декабря 2021
Сложность определений, вычислений и коммуникационная сложность
Кафедра математической логики и теории алгоритмов
Руководитель:
Верещагин Н.К.
Участники НИР:
Милованов А.С.
,
Мусатов Д.В.
,
Ромащенко А.Е.
,
Шень А.
1 декабря 2016 - 31 декабря 2018
Сложность определений и сложность вычислений
Кафедра математической логики и теории алгоритмов
Руководитель:
Верещагин Н.К.
Участники НИР:
Артамонов С.И.
,
Вялый М.Н.
,
Козачинский А.Н.
,
Милованов А.С.
,
Мусатов Д.В.
,
Подольский В.В.
,
Ромащенко А.Е.
,
Рубцов А.А.
,
Шень А.
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
Кафедра математической логики и теории алгоритмов
Руководители:
Семенов А.Л.
,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.
,
Пентус М.Р.
Участники НИР:
Адян С.И.
,
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Любецкий В.А.
,
Плиско В.Е.
,
Семенов А.Л.
,
Сорокин А.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 января 2012 - 31 декабря 2014
Сложность определений и сложность вычислений
Кафедра математической логики и теории алгоритмов
Руководитель:
Верещагин Н.К.
Участники НИР:
Андреев М.А.
,
Андреев М.А.
,
Бабенко М.А.
,
Вялый М.Н.
,
Колесниченко И.И.
,
Махлин А.Ю.
,
Мусатов Д.В.
,
Подольский В.В.
,
Раскин М.А.
,
Ромащенко А.Е.
,
Румянцев А.Ю.
,
Савченко Р.А.
,
Шень А.
1 января 2011 - 31 декабря 2015
Алгоритмические и семантические вопросы математической логики
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Золин Е.Е.
,
Кузнецов С.Л.
,
Плиско В.Е.
,
Сорокин А.А.
,
Шехтман В.Б.
Членство в научных обществах
с 2014
European Association for Theoretical Computer Science
Германия
с 2014
Academia Europaea
Великобритания
Участие в редколлегии сборников
2014
Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
член редколлегии:
Верещагин Н.К.
серия
Lecture Notes in Computer Science
, том 8476
издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
2011
Computer Science - Theory and Applications - 6th International Computer Science Symposium in Russia, CSR 2011
член редколлегии:
Верещагин Н.К.
серия
Lecture Notes in Computer Science
, том 6651
издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
Участие в программных комитетах конференций
7-11 ноября 2022
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
Член организационного комитета
Москва, Россия
29 июня 2017
Конкурс студенческих работ по теоретической информатике и дискретной математике им. Алана Тьюринга
Член программного комитета
Санкт-Петербург, Россия
1 июля 2016
Конкурс студенческих работ по теоретической информатике и дискретной математике им. Алана Тьюринга
Член программного комитета
Санкт-Петербург, Россия
9-13 апреля 2016
Workshop on Algorithms in Communication Complexity, Property Testing and Combinatorics
Председатель организационного комитета
Москва, Россия
2014
CSR 2014: The 9th International Computer Science Symposium in Russia, Moscow, June 6-12, 2014.
Председатель организационного комитета
Москва, Россия
2013
Second Franco-Russian workshop on Algorithms, complexity and applications
Член программного комитета
Москва, МЦНМО, Россия
2013
Eighth International Conference on Computability, Complexity and Randomness (CCR 2013)
Председатель организационного комитета
Москва, МЦНМО, Россия
2012
7th International Symposium on Computer Science in Russia
Член программного комитета
Нижний Новгород
2011
6th International Computer Science Symposium in Russia
Председатель программного комитета
Санкт-Петербург, Россия
2008
3th International Computer Science Symposium in Russia
Член программного комитета
Москва, Россия
2003
18th IEEE Conference on Computational Complexity
Член программного комитета
Arhus, Denmark, Дания
2001
18th Annual Symposium on Theoretical Aspects of Computer Science
Член программного комитета
Dresden, Deutschland
Членство в диссертационных советах
с 28 декабря 2017
Без шифра, Высшая школа экономики
01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
председатель
Действующие члены совета:
Верещагин Н.К.
с 1 ноября 2002
Д 212.278.02, Ульяновский государственный университет
Действующие члены совета:
Верещагин Н.К.
,
Зайцев М.В.
Руководство диссертациями
2019
Сравнение коммуникационной, информационной и вопросной сложности
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Козачинский А.Н.
, МГУ имени М.В. Ломоносова
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
МГУ.011.4(01.17)
МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Оппоненты:
Аблаев Фарид Мансурович
,
Вялый М.Н.
,
Гирш Эдуард Алексеевич
2017
О нестохастических по Колмогорову словах
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Милованов Алексей Сергеевич
, МГУ имени М.В. Ломоносова
Научный руководитель:
Николай Константинович Верещагин
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
МГУ.011.4(01.17)
МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Оппоненты:
Владимир Вячеславович Вьюгин
,
Даниил Владимирович Мусатов
,
Борис Яковлевич Рябко
2017
Сравнение игровыми методами понятий префиксной и обычной Колмогоровской сложности
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Андреев Михаил Александрович
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
МГУ.011.4(01.17)
МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Оппоненты:
Вьюгин В.В.
,
Мусатов Д.В.
,
Арсланов Марат Мирзаевич
2015
Комбинаторные методы в теории колмогоровской сложности с ограничением на ресурсы
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Мусатов Даниил Владимирович
, к.ф.-м.н.
Научный руководитель:
Верещагин Николай Константинович
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
Московский государственный университет им. М. В. Ломоносова
Ведущая организация:
Санкт-Петербургское отделение Математического института им. В. А. Стеклова
Оппоненты:
Подольский Владимир Владимирович
,
Аблаев Фарид Мансурович
2014
Сверхслова, меры на них и их полупрямые произведения
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
М.А. Раскин
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2009
О колмогоровской сложности конечных подпоследовательностей в последовательности нулей и единиц
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Румянцев Андрей Юрьевич
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2009
Оценки весов персептронов
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Подольский Владимир Владимирович
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2007
Сложность некоторых алгоритмических проблем для кососимметрических графов
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Бабенко Максим Александрович
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2004
Наборы конечных объектов с заданными информационными соотношениями между ними
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Вьюгин Михаил Владимирович
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2003
О некоторых вариантах понятия реализуемости
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Чернов Алексей Вячеславович
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2000
Неравенства для колмогоровской сложности и общая информация
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Ромащенко Андрей Евгеньевич
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
1999
Структурные свойства контекстно-свободных грамматик
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Горбунов Константин Юрьевич
Научный руководитель:
Верещагин Н.К.
, д.ф.-м.н., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Руководство дипломными работами
2023
ПРИМЕНЕНИЕ ПРИНЦИПА РИССАНЕНА MDL ДЛЯ МАРКОВСКИХ ЦЕПЕЙ
Научный руководитель:
Верещагин Н.К.
Автор: Ремизова Анна Петровна (Магистр)
2023
ОБ ИНФОРМАЦИОННОМ ПРОФИЛЕ ТРЕХ СЛУЧАЙНЫХ ВЕЛИЧИН С ДВУМЯ ИСХОДАМИ
Научный руководитель:
Верещагин Н.К.
Автор: Аллан Сулейкин (Специалист)
2023
Информационная стоимость бинарного поиска
Научный руководитель:
Верещагин Н.К.
Автор: Чжан Цзывэй (Магистр)
2021
Сравнение структурных функций Колмогорова для различных классов статистических моделей
Научный руководитель:
Верещагин Н.К.
Автор: Асия Мешитбай (Бакалавр)
2020
Об игре Гилмера — Коуцки — Сакса
Научный руководитель:
Верещагин Н.К.
Автор: И.С.Петренко (Специалист)
2020
Локальные правила для апериодических семейств замощений плоскости треугольниками
Научный руководитель:
Верещагин Н.К.
Автор: Н.А.Шульчевская (Специалист)
2020
Короткие списки с короткими программами
Научный руководитель:
Верещагин Н.К.
Автор: И.Г.Райко (Специалист)
2020
Задача об онлайн-раскраске путей в дереве
Научный руководитель:
Верещагин Н.К.
Автор: А.В. Голиков (Специалист)
2019
Сравнение коммуникационных протоколов
Научный руководитель:
Верещагин Н.К.
Автор: Никитин Игорь Александрович (Специалист)
2019
Распределенная генерация случайных строк
Научный руководитель:
Верещагин Н.К.
Автор: Фельдшеров Святослав Викторович (Специалист)
2019
Предельные сложности вычислимых последовательностей и комбинаторные вариации данной задачи
Научный руководитель:
Верещагин Н.К.
Автор: Косарева Мария Тимофеевна (Специалист)
2018
Тесты случайности и псевдослучайные числа: теория и практика
Научный руководитель:
Верещагин Н.К.
Автор: Виноградов Алексей Владимирович (Специалист)
2018
Преобразование MA протоколов в AM протоколы
Научный руководитель:
Верещагин Н.К.
Автор: Ахметсафина Илона Раисовна (Специалист)
2018
Оптимальные динамические механизмы
Научный руководитель:
Верещагин Н.К.
Автор: Ванунц Арсений Ашотович (Специалист)
2018
Матроидные ветвления в ориентированных графах
Научный руководитель:
Верещагин Н.К.
Автор: Саакян Вильям Рустамович (Специалист)
2018
Коммуникационные протоколы для вычисления расстояния Хэмминга
Научный руководитель:
Верещагин Н.К.
Автор: Кленин Егор Алексеевич (Специалист)
2018
Коммуникационная сложность предиката «быть больше»
Научный руководитель:
Верещагин Н.К.
Автор: Ткаченко Даниил Романович (Специалист)
2018
Алгоритмы поиска непересекающихся кратчайших путей
Научный руководитель:
Верещагин Н.К.
Автор: Ахмедов Максим Басирович (Специалист)
2017
Количественная алгоритмическая случайность
Научный руководитель:
Верещагин Н.К.
Автор: Новиков Глеб Евгеньевич (Специалист)
2017
Информационная сложность коммуникационных протоколов
Научный руководитель:
Верещагин Н.К.
Автор: Холин Роман Вадимович (Специалист)
2015
Разбиение двудольного графа на регулярные подграфы
Научный руководитель:
Верещагин Н.К.
Автор: Филиппов Евгений Александрович (Специалист)
2015
Полные исчисления для некоторых фрагментов логики вычислимоcти Джапаридзе CL
Научный руководитель:
Верещагин Н.К.
Автор: Золотов Игорь Алексеевич (Специалист)
2015
Об ушных декомпозициях двунаправленных графов
Научный руководитель:
Верещагин Н.К.
Автор: Черепанов Алексей Викторович (Специалист)
2015
Об информационной сложности коммуникационных протоколов
Научный руководитель:
Верещагин Н.К.
Автор: Козачинский Александр Николаевич (Специалист)
2015
О совместном преобразовании одного сообщения в два других
Научный руководитель:
Верещагин Н.К.
Автор: Струминский Кирилл (Специалист)
2015
О кратчайших путях с ограничениями на частичные суммы
Научный руководитель:
Верещагин Н.К.
Автор: Суханов Николай Викторович (Специалист)
2015
О кратчайших путях с ограничениями на частичные суммы
Научный руководитель:
Верещагин Н.К.
Автор: Суханов Николай Викторович (Специалист)
2015
Использование конструкции каскада в построении примеров парадоксальных игр на социальных сетях
Научный руководитель:
Верещагин Н.К.
Автор: Никитенков Никита Сергеевич (Специалист)
2014
Совместные рекомендательные системы для российской электронной коммерции
Научный руководитель:
Верещагин Н.К.
Автор: Лебёдкин Александр Александрович (Специалист)
2014
Некоторые результаты об алгоритмических достаточных статистиках
Научный руководитель:
Верещагин Н.К.
Автор: Савчик Алексей Владимирович (Специалист)
2014
Короткие программы для префиксной колмогоровской сложности
Научный руководитель:
Верещагин Н.К.
Автор: Жебраков Ярослав Александрович (Специалист)
2014
Алгоритмы для неинвазивной пренатальной диагностики с помощью методов массового параллельного секвенирования
Научные руководители:
Шень А.Х.
,
Верещагин Н.К.
Автор: Мельников Александр Владимирович (Специалист)
2013
Стеганография для бернуллиевского источника
Научный руководитель:
Верещагин Н.К.
Автор: Стаценко Максим Михайлович (Специалист)
2013
Сравнение сильной и слабой эффективных размерностей Хаусдорфа
Научный руководитель:
Верещагин Н.К.
Автор: Кумок Аким Сергеевич (Специалист)
2013
Рекуррентное вычисление вероятности переобучения некоторых алгоритмов
Научные руководители:
Верещагин Н.К.
,
Воронцов К.В.
Автор: Ишкина Шаура Хабировна (Специалист)
2013
О тотальной условной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Савин Арсений Анатольевич (Специалист)
2013
Использование топологических доказательств для колмогоровской сложности в случае трехмерного пространства
Научные руководители:
Подольский В.В.
,
Шень А.Х.
,
Верещагин Н.К.
Автор: Житников Петр Анатольевич (Специалист)
2013
Алгоритмы построения разреженных тематических моделей
Научные руководители:
Верещагин Н.К.
,
Воронцов К.В.
Автор: Василевская Мария Михайловна (Специалист)
2013
Алгоритмы построения разреженных тематических моделей
Научный руководитель:
Верещагин Н.К.
Автор: Василевская Мария Михайловна (Специалист)
2013
Алгоритмическая размерность и случайность относительно классов мер
Научные руководители:
Верещагин Н.К.
,
Шень А.
Автор: Андреев Михаил Александрович (Специалист)
2013
GH-сложность и коммуникационная сложность (Сложность садового шланга)
Научный руководитель:
Верещагин Н.К.
Автор: Дектярёв Михаил Владимирович (Специалист)
2012
О кликовой ширине графов
Научный руководитель:
Верещагин Н.К.
Автор: Богатова Ольга Юрьевна (Специалист)
2012
Некоторые результаты об алгебризуемости и сложности в среднем
Научный руководитель:
Верещагин Н.К.
Автор: Махлин Антон Юрьевич (Специалист)
2012
Дефекты случайности на конечных и бесконечных последовательностях
Научный руководитель:
Верещагин Н.К.
Автор: Арзуманян Виталий Сергеевич (Специалист)
2012
Генерация случайных слов за ограниченное число раундов
Научный руководитель:
Верещагин Н.К.
Автор: Степанов Тимофей Владимирович (Специалист)
2011
Некоторые применения игрового метода в колмогоровской сложности
Научный руководитель:
Верещагин Н.К.
Автор: Калинина Елена Андреевна (Специалист)
2011
Мера апериодичности и подсловная сложность морфических последовательностей
Научный руководитель:
Верещагин Н.К.
Автор: Уляшкина Юлия Сергеевна (Специалист)
2010
Колмогоровская сложность и конечные множества
Научный руководитель:
Верещагин Н.К.
Автор: Челноков Георгий Максимович (Специалист)
2009
О достаточных условиях существования схем цифровой подписи
Научный руководитель:
Верещагин Н.К.
Автор: Антоненко Лидия Анатольевна (Специалист)
2009
О достаточных условиях существования схем цифровой подписи
Научный руководитель:
Верещагин Н.К.
Автор: Антоненко Лидия Анатольевна (Специалист)
2009
Алгоритмы генерации строк
Научный руководитель:
Верещагин Н.К.
Автор: Архангельский Тимофей Александрович (Специалист)
2008
Частичные порядки на мерах на множестве бесконечных слов в алфавите из двух символов
Научный руководитель:
Верещагин Н.К.
Автор: Раскин Михаил Александрович (Специалист)
2008
Преобразование Барроуза – Виллера на системах с малой памятью
Научный руководитель:
Верещагин Н.К.
Автор: Преображенский Алексей Николаевич (Специалист)
2008
Нижняя оценка эффективности алгоритмов динамического распределения памяти
Научный руководитель:
Верещагин Н.К.
Автор: Н.А.Колодкина (Специалист)
2008
NP-полнота задачи о 2-раскраске графа в 5 цветов
Научный руководитель:
Верещагин Н.К.
Автор: А.И.Макаров (Специалист)
2007
О формульной сложности некоторых булевых функций
Научный руководитель:
Верещагин Н.К.
Автор: М.А.Иванов (Специалист)
2007
Колмогоровская сложность и нижние оценки сложности квантовых деревьев разрешения
Научный руководитель:
Верещагин Н.К.
Автор: К.С.Коршунов (Специалист)
2007
Алгоритмы построения неветвящихся вторичных структур РНК
Научный руководитель:
Верещагин Н.К.
Автор: И.В.Воронцов (Специалист)
2006
Учёт распределения расстояний при поиске кластеров сайтов связывания факторов транскрипции
Научный руководитель:
Верещагин Н.К.
Автор: Д.В.Виноградов (Специалист)
2006
Об одном результате из экстремальной комбинаторики и нижних оценках для исчисления резолюций
Научный руководитель:
Верещагин Н.К.
Автор: В.В.Подольский (Специалист)
2005
Условная префиксная колмогоровская сложность
Научный руководитель:
Верещагин Н.К.
Автор: И.Ю.Кабанова (Специалист)
2005
Предпорядки на двоичных последовательностях
Научный руководитель:
Верещагин Н.К.
Автор: С.А.Сальников (Специалист)
2005
Неупрощаемые описания для условной колмогоровской сложности
Научный руководитель:
Верещагин Н.К.
Автор: М.А.Устинов (Специалист)
2005
Неразглашающие протоколы передачи информации (Oblivious transfer)
Научный руководитель:
Верещагин Н.К.
Автор: И.И.Архипов (Специалист)
2005
Алгоритм разделения ресурсов, гарантирующий интересы каждого из участников
Научный руководитель:
Верещагин Н.К.
Автор: В.А.Коробов (Специалист)
2005
Алгоритм Мельхорна поиска кратчайших путей в графе (реф)
Научный руководитель:
Верещагин Н.К.
Автор: О.Е.Попова (Специалист)
2004
Элементарное доказательство критерия полной унимодулярности функций на булевом кубе
Научный руководитель:
Верещагин Н.К.
Автор: М.М.Зубов (Специалист)
2004
Передача сообщений в вилочной сети с ограниченными пропускными способностями каналов
Научный руководитель:
Верещагин Н.К.
Автор: А.А.Измайлова (Специалист)
2004
Комбинаторное представление сложностных неравенств
Научный руководитель:
Верещагин Н.К.
Автор: Никулочкина Елена Игоревна (Специалист)
2004
Апериодические замощения с малым алфавитом
Научный руководитель:
Верещагин Н.К.
Автор: Левицкий Александр Дмитриевич (Специалист)
2000
Общая и взаимная информация пары двоичных слов
Научный руководитель:
Верещагин Н.К.
Автор: Чернов Алексей Вячеславович (Специалист)
2000
Информационное расстояние и условные сложности
Научный руководитель:
Верещагин Н.К.
Автор: Вьюгин Михаил Владимирович (Специалист)
1998
Некоторые свойства сложностных классов в релятивизованных мирах
Научный руководитель:
Верещагин Н.К.
Автор: Калнишкан Юрий Алексеевич (Специалист)
1997
Неравенства для колмогоровской и шенноновской энтропий
Научный руководитель:
Верещагин Н.К.
Автор: Ромащенко Андрей Евгеньевич (Специалист)
1997
Вероятностный алгоритм быстрой пересылки двоичных слов, близких по блоковым операциям
Научный руководитель:
Верещагин Н.К.
Автор: Евфимьевский Александр Валентинович (Специалист)
1994
О структуре классов полиномиальной иерархии
Научный руководитель:
Верещагин Н.К.
Автор: К.И.Подгорнов (Специалист)
1993
Оптимизационные задачи и булевская иерархия сложностных классов
Научный руководитель:
Верещагин Н.К.
Автор: Н.О.Короткова (Специалист)
1992
Самовыразимость в языках I порядка
Научный руководитель:
Верещагин Н.К.
Автор: Тополюк Елена Владимировна (Специалист)
1992
Нижние и верхние оценки сложности вероятностных разрешающих деревьев с двусторонней ошибкой
Научный руководитель:
Верещагин Н.К.
Автор: А.Н.Бабий (Специалист)
1991
О некоторых оценках в комбинаторной теории множеств
Научный руководитель:
Верещагин Н.К.
Автор: Никитин Дмитрий Генрихович (Специалист)
1991
Некоторые результаты о вычислимости функции большинства на ветвящихся программах ограниченной ширины
Научный руководитель:
Верещагин Н.К.
Автор: Шайкин Александр Николаевич (Специалист)
1989
Проблема унификации термов в теории с одной коммутативностью
Научный руководитель:
Верещагин Н.К.
Автор: А.А.Иванников (Специалист)
1988
Об одной алгоритмической проблеме из теории контекстно-свободных грамматик
Научный руководитель:
Верещагин Н.К.
Автор: Горбунов Константин Юрьевич (Специалист)
1987
Тождества в некоторых алгебрах 0-1 последовательностей
Научные руководители:
Верещагин Н.К.
,
Семенов А.Л.
Автор: Лисица Алексей Петрович (Специалист)
Руководство курсовыми работами
2023
Полудуплексная коммуникационная сложность с мягким противником
Научный руководитель:
Верещагин Н.К.
Автор: Тимур Купцов (Магистр)
2023
Комбинаторная интерпретация шенноновских неравенств
Научный руководитель:
Верещагин Н.К.
Автор: Георгий Хазиев (Магистр)
2022
Проблема равенства классов P и NP
Научный руководитель:
Верещагин Н.К.
Автор: Нальгиев У.Х. (Магистр)
2022
Обобщения теоремы о невыделяемости взаимной информации между прямой и точкой на дискретной плоскости.
Научный руководитель:
Верещагин Н.К.
Автор: Зявгаров Р.И. (Специалист)
2022
Об условной взаимной информации случайных величин
Научный руководитель:
верещагин н.к.
Автор: Сулейкин А.О. (Специалист)
2022
О теореме Колмогорова — Левина
Научный руководитель:
Верещагин Н.К.
Автор: Чжан Цзывэй (Магистр)
2022
О стойкости функций диверсификации ключа
Научный руководитель:
верещагин н.к.
Автор: Куценок К.О. (Специалист)
2022
Задача об избегании серых клеток
Научный руководитель:
верещагин н.к.
Автор: Полушкин Д.А. (Специалист)
2021
Применение декодирования списком в алгоритмической статистике.
Научный руководитель:
Верещагин Н.К.
Автор: Асия Мешитбай (Бакалавр)
2021
О максимальном числе ограниченной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Наталья Чижонкова (Специалист)
2021
Максимизация условной взаимной информации
Научный руководитель:
Верещагин Н.К.
Автор: Аллан Сулейкин (Специалист)
2020
Сравнение структурных функций Колмогорова для различных классов гипотез.
Научный руководитель:
Верещагин Н.К.
Автор: Мешитбай Асия (Бакалавр)
2020
О графике одной структурной функции
Научный руководитель:
Верещагин Н.К.
Автор: А. Сулейкин (Специалист)
2019
Об игре Гилмора - Коуцкого - Сакса
Научный руководитель:
Верещагин Н.К.
Автор: Иван Петренко (Специалист)
2019
О самоподобных замощениях плоскости золотыми треугольниками
Научный руководитель:
Верещагин Н.К.
Автор: Наталья Порфирьева (Специалист)
2019
Короткие списки с короткими программами
Научный руководитель:
Верещагин Н.К.
Автор: Илья Райко (Специалист)
2018
Предельные сложности вычислимых последовательностей
Научный руководитель:
Верещагин Н.К.
Автор: Косарева Мария (Специалист)
2018
Об априорной сложности двухэлементных множеств
Научный руководитель:
Верещагин Н.К.
Автор: Илья Райко (Специалист)
2018
Верхние оценки в задаче о коммуникационной игре Гилмера – Коуцкого – Сакса
Научный руководитель:
Верещагин Н.К.
Автор: Петренко Иван Сергеевич (Специалист)
2018
Веротяностные коммуникационный протоколы
Научный руководитель:
Верещагин Н.К.
Автор: Игорь Никитин (Специалист)
2018
Алгоритмы он-лайн поиска паросочетаний
Научный руководитель:
Верещагин Н.К.
Автор: Наталья Порфирьева (Специалист)
2018
Алгоримты генерации случайных строк
Научный руководитель:
Верещагин Н.К.
Автор: Фельдшеров Святослав Викторович (Специалист)
2017
Сравнение двух видов предельной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Косарева Мария (Специалист)
2017
Рост замощений Робинсона
Научный руководитель:
Верещагин Н.К.
Автор: Дарья Пчелина (Специалист)
2017
Преобразование MA протоколов в AM протоколы с небольшим ростом количества случайных бит
Научный руководитель:
Верещагин Н.К.
Автор: И.Р.Ахметсафина (Специалист)
2017
О теореме Слепяна - Вольфа
Научный руководитель:
Верещагин Н.К.
Автор: Д.Р.Ткаченко (Специалист)
2017
О теореме Гооса
Научный руководитель:
Верещагин Н.К.
Автор: Никитин Игорь (Специалист)
2017
О генерации и случайного бита в ограниченное число раундов.
Научный руководитель:
Верещагин Н.К.
Автор: Фельдшеров Святослав (Специалист)
2017
Монотонная колмогоровская сложность
Научный руководитель:
Верещагин Н.К.
Автор: А.В.Голиков (Специалист)
2017
Коммуникационные протоколы
Научный руководитель:
Верещагин Н.К.
Автор: Е.А.Кленин (Специалист)
2017
Задача об он лайн паросочетаниях.
Научный руководитель:
Верещагин Н.К.
Автор: Порфирьева Наталия (Специалист)
2017
Задача Зиманда – Тойтча
Научный руководитель:
Верещагин Н.К.
Автор: Петренко Иван Сергеевич (Специалист)
2017
Априорная вероятность и префиксная сложность для задачи преобразования слова в другое и обратно
Научный руководитель:
Верещагин Н.К.
Автор: Райко Илья Глебович (Специалист)
2016
Потоковые алгоритмы и коммуникационная сложность
Научный руководитель:
Верещагин Н.К.
Автор: Е.А.Кленин (Специалист)
2016
О теореме Гудман – Штрауса о локальных правилах
Научный руководитель:
Верещагин Н.К.
Автор: Пчелина Дарья Святославовна (Специалист)
2016
О сложности описания бесконечных последовательностей
Научный руководитель:
Верещагин Н.К.
Автор: Косарева Мария Тимофеевна (Специалист)
2016
О задаче Кёрнера
Научный руководитель:
Верещагин Н.К.
Автор: Д.Р.Ткаченко (Специалист)
2016
О генерации случайного бита
Научный руководитель:
Верещагин Н.К.
Автор: Фельдшеров Святослав Викторович (Специалист)
2016
Квантовые и вероятностные разрешающие деревья
Научный руководитель:
Верещагин Н.К.
Автор: Никитин Игорь Александрович (Специалист)
2016
Информационная сложность предиката EQ для вероятностных алгоритмов
Научный руководитель:
Верещагин Н.К.
Автор: Холин Роман Вадимович (Специалист)
2016
Интерактивные доказательства
Научный руководитель:
верещагин николай константинович
Автор: И.Р.Ахметсафина (Специалист)
2016
Алгоритмы преследования на графах
Научный руководитель:
Верещагин Н.К.
Автор: А.В.Голиков (Специалист)
2015
Потоковые алгоритмы
Научный руководитель:
Верещагин Н.К.
Автор: Е.А.Кленин (Специалист)
2015
О максимальном регулярном подграфе данного графа
Научный руководитель:
Верещагин Н.К.
Автор: А.В.Голиков (Специалист)
2015
О кодах Аркана
Научный руководитель:
Верещагин Н.К.
Автор: Д.Р.Ткаченко (Специалист)
2015
Информационное разглашение в протоколах для задачи о двух миллионерах.
Научный руководитель:
Верещагин Н.К.
Автор: Холин Роман (Специалист)
2015
Интерактивные доказательства
Научный руководитель:
Верещагин Н.К.
Автор: И.Р.Ахметсафина (Специалист)
2014
Полярные коды Аркана
Научный руководитель:
Верещагин Н.К.
Автор: Кирилл Струминский (Специалист)
2014
Новый метод преобразования протоколов с секретными случайными битами в протоколы с общими случайными битами.
Научный руководитель:
Верещагин Н.К.
Автор: Александр Козачинский (Специалист)
2014
Нижние оценки коммуникационной сложности задачи Клика-Независимое множество (CIS)
Научный руководитель:
Верещагин Н.К.
Автор: Филиппов Евгений Александрович (Специалист)
2014
Исчисление для CL Джапаридзе
Научный руководитель:
Верещагин Н.К.
Автор: Золотов Игорь (Специалист)
2014
Информационное разглашение в коммуникационных протоколах
Научный руководитель:
Верещагин Н.К.
Автор: Холин Роман (Специалист)
2013
О теореме Гача
Научный руководитель:
Верещагин Н.К.
Автор: Кирилл Струминский (Специалист)
2013
О некоторых фрагментах CL Джапаридзе
Научный руководитель:
Верещагин Н.К.
Автор: Золотов Игорь (Специалист)
2013
О достаточных статистиках
Научный руководитель:
Верещагин Н.К.
Автор: Савчик Алексей (Специалист)
2013
Нижние оценки коммуникационной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Филиппов Евгений Александрович (Специалист)
2013
Непериодические замощения плоскости треугольниками
Научный руководитель:
Верещагин Н.К.
Автор: Жебраков Ярослав (Специалист)
2013
Непериодические замощения плоскости треугольниками
Научный руководитель:
Верещагин Н.К.
Автор: Жебраков Ярослав (Специалист)
2013
Изменение регуляторов нормальности при делении и умножении на целые числа
Научный руководитель:
Верещагин Н.К.
Автор: Александр Козачинский (Специалист)
2012
Статистики минимальной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Савчик Алексей (Специалист)
2012
Об условной префиксной сложности
Научный руководитель:
Верещагин Н.К.
Автор: Жебраков Ярослав (Специалист)
2012
Об улучшении оценки в теореме Гача - Дея
Научный руководитель:
Верещагин Н.К.
Автор: Аким Кумок (Специалист)
2012
Колмогоровская сложность с ошибками
Научный руководитель:
Верещагин Н.К.
Автор: Дектярёв Михаил (Специалист)
2011
Условная колмогоровская сложность с ошибками
Научный руководитель:
Верещагин Н.К.
Автор: Дектярёв Михаил (Специалист)
2011
Условная колмогоровская сложность с ошибками
Научный руководитель:
Верещагин Н.К.
Автор: Дектярёв Михаил (Специалист)
2011
О теореме Гача - Дея
Научный руководитель:
Верещагин Н.К.
Автор: Аким Кумок (Специалист)
2011
О вычислимых по Левину распределениях вероятностей
Научный руководитель:
Верещагин Н.К.
Автор: Махлин Антон Юрьевич (Специалист)
Авторство учебных курсов
2023
Теория информации
Автор:
Верещагин Н.К.
2023
Математическая логика и сложность вычислений
Автор:
Верещагин Н.К.
2022
Математическая логика, теория алгоритмов и сложность вычислений
Автор:
Верещагин н.к.
2022
Алгоритмы: построение и анализ
Автор:
Верещагин Н.К.
дистанционный курс
2020
Апериодические замощения
Автор:
Верещагин Н.К.
2019
Алгоритмическая статистика
Автор:
Верещагин Н.К.
2018
Экспандеры, экстракторы и их применения
Автор:
Верещагин Н.К.
2016
Односторонние функции и их применения
Автор:
Верещагин Н.К.
2016
Error correcting codes
Автор:
Верещагин Н.К.
курс на иностранном языке
2014
Построение генераторов псевдослучайных чисел
Автор:
Верещагин Н.К.
2008
Коммуникационная сложность
Автор:
Верещагин Н.К.
2007
Коды с исправлением ошибок
Авторы:
Верещагин Н.К.
,
Шень А.Х.
,
Ромащенко А.Е.
,
Румянцев А.Ю.
2006
Сложность вычислений
Автор:
Верещагин Н.К.
1999
Математическая логика и алгоритмы
Автор:
Верещагин Н.К.
1999
Колмогоровская сложность
Автор:
Верещагин Н.К.
1998
Теоретико-сложностные проблемы криптографии
Автор:
Верещагин Н.К.
1983
Образовательный семинар
Автор:
Верещагин Н.К.
Преподавание учебных курсов
9 февраля 2023 - 18 мая 2023
Теория информации
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
8 февраля 2023 - 24 мая 2023
Математическая логика и сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 34 часов
3 октября 2022 - 19 декабря 2022
Коды с исправлением ошибок
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 36 часов
8 сентября 2022 - 15 декабря 2022
Коммуникационная сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 36 часов
5 сентября 2022 - 15 мая 2023
Колмогоровскимй семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 68 часов
2 сентября 2022 - 13 декабря 2022
Алгоритмы: построение и анализ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 36 часов
1 сентября 2022 - 19 декабря 2022
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 72 часов
15 февраля 2022 - 24 мая 2022
Математическая логика, теория алгоритмов и сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, базовой части, лекции, 34 часов
10 февраля 2022 - 19 мая 2022
Дополнительные главы математической логики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, вариативной части, лекции, 34 часов
8 февраля 2022 - 24 мая 2022
Построение генераторов псевдослучайных чисел
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2022 - 23 мая 2022
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 34 часов
1 октября 2021 - 17 декабря 2021
Коды с исправлением ошибок
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
7 сентября 2021 - 14 декабря 2021
Односторонние функции и их применения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
6 сентября 2021 - 6 декабря 2021
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 34 часов
9 февраля 2021 - 17 мая 2021
Сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
8 февраля 2021 - 17 мая 2021
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 34 часов
2 октября 2020 - 18 декабря 2020
Error correcting codes
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
16 сентября 2020 - 15 декабря 2020
Апериодические замощения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2020 - 31 мая 2021
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 70 часов
10 февраля 2020 - 18 мая 2020
Односторонние функции и их применения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
4 октября 2019 - 13 декабря 2019
Error correcting codes
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
9 сентября 2019 - 23 декабря 2019
Алгоритмическая статистика
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2019 - 31 мая 2020
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 70 часов
11 февраля 2019 - 20 мая 2019
Колмогоровская сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
8 февраля 2019 - 17 мая 2019
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
3 октября 2018 - 19 декабря 2018
Error correcting codes
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
17 сентября 2018 - 17 декабря 2018
Экспандеры, экстракторы и их применения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
10 сентября 2018 - 31 мая 2019
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 70 часов
12 февраля 2018 - 21 мая 2018
Построение генераторов псевдослучайных чисел
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
8 февраля 2018 - 24 мая 2018
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
11 сентября 2017 - 18 декабря 2017
Коммуникационная сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2017 - 31 мая 2018
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 68 часов
1 сентября 2017 - 19 декабря 2017
Error correcting codes
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 36 часов
13 февраля 2017 - 25 мая 2017
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
5 октября 2016 - 21 декабря 2016
Error correcting codes
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 24 часов
12 сентября 2016 - 22 мая 2017
Односторонние функции и их применения
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 68 часов
1 сентября 2016 - 31 мая 2017
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 68 часов
1 сентября 2015 - 31 мая 2016
Сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 68 часов
1 сентября 2015 - 31 декабря 2015
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2015 - 31 мая 2015
Коды с исправлением ошибок
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
факультативная, лекции, 34 часов
7 февраля 2015 - 31 мая 2015
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
7 февраля 2015 - 31 мая 2015
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 34 часов
1 сентября 2014 - 19 декабря 2014
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 34 часов
1 сентября 2014 - 19 декабря 2014
Колмогоровская сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2014 - 19 мая 2014
Геометрия и топология
МГУ имени М.В. Ломоносова
,
Филологический факультет
обязательная, базовой части, лекции, 34 часов
7 февраля 2014 - 19 мая 2014
Построение генераторов псевдослучайных чисел
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2013 - 19 мая 2014
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 68 часов
1 сентября 2013 - 19 декабря 2013
Коммуникационная сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2013 - 20 мая 2013
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
7 февраля 2013 - 19 мая 2013
Алгоритмические методы в теории сложности
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2012 - 20 мая 2013
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 68 часов
1 сентября 2012 - 19 мая 2013
Сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 68 часов
7 февраля 2012 - 19 мая 2012
Геометрия и топология
МГУ имени М.В. Ломоносова
,
Филологический факультет
обязательная, базовой части, лекции, 34 часов
7 февраля 2012 - 19 мая 2012
Коды с исправлением ошибок
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2012 - 19 мая 2012
Коммуникационная сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2011 - 19 мая 2012
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 68 часов
1 сентября 2011 - 19 декабря 2011
Колмогоровская сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2011 - 19 декабря 2011
Сложность пропозициональных доказательств
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2011 - 19 мая 2011
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
7 февраля 2011 - 19 мая 2011
Алгоритмические задачи теории графов
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 17 часов
1 сентября 2010 - 19 мая 2012
Образовательный семинар
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
факультативная, семинары, 68 часов
1 сентября 2010 - 19 мая 2011
Сложность вычислений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 68 часов
1 сентября 2010 - 19 мая 2011
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 68 часов
1 сентября 2010 - 19 декабря 2010
Сложность булевых схем
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2010 - 19 мая 2010
Геометрия и топология
МГУ имени М.В. Ломоносова
,
Филологический факультет
обязательная, базовой части, лекции, 34 часов
7 февраля 2010 - 19 мая 2010
Колмогоровская сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2009 - 19 мая 2010
Теоретико-сложностные проблемы криптографии
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 68 часов
1 сентября 2009 - 19 декабря 2009
Коммуникационная сложность
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2009 - 19 мая 2009
Математическая логика и алгоритмы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, лекции, 34 часов
1 сентября 1984 - 30 мая 2016
Колмогоровский семинар по сложности вычислений и сложности определений
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 68 часов