Математика

Лекция 1. В.И. Яшин. Булевы строки и булевы схемы

Лекция 9. В.И. Яшин. Классическая симуляция квантовых схем

Лекция 4. В.И. Яшин. Один квантовый бит

Лекция 6. В.И. Яшин. Квантовые схемы

Лекция 8. В.И. Яшин. Методы проведения вычислений на квантовых устройствах

Лекция 5. В.И. Яшин. Многокубитные операции

Лекция 14. В.И. Яшин. Алгоритм факторизации чисел и подведение итогов

Как быстро проверить ряд на сходимость? Признак Коши

В.Е. Карпов. О Π11-полноте Σ2-теории натуральных чисел со стандартным порядком и свободной ...

Л.В. Дворкин. PSpace-разрешимость модальных логик древовидных шкал – 3

С.Л. Кузнецов. Эффективная неотделимость и её применения для теорий с неподвижными точками ...

Л.В. Дворкин. PSpace-разрешимость модальных логик древовидных шкал – 2

Л.В. Дворкин. PSpace-разрешимость модальных логик древовидных шкал

С.Л. Кузнецов. Эффективная неотделимость и её применения для теорий с неподвижными точками

П.Турянский, А.Грызлов. Гетерогенные колчаны и (ко)пределы, полиморфные по предикативному уровню

С.О. Сперанский. Об определимости в слабых арифметических структурах посредством монадических ...

А.С. Закиров, С.А. Славнов, М.А. Чурилов. Совместная логика задач и высказываний и поляризованные...

К.А. Ковалёв. О неразрешимости теории поля рациональных чисел и теории натуральных чисел с ...

А.С. Закиров, С.А. Славнов, М.А. Чурилов. Совместная логика задач и высказываний и поляризованные...

Ю.Д. Теляковская. Алгебраические методы изучения звёздной высоты регулярных языков

Н.В. Лукашов. Вычислительные аспекты для модальных логик

К.А. Ковалёв. О неразрешимости теории поля рациональных чисел и теории натуральных чисел с ...

Лекция 11. С.В. Болотин. Вариационные методы классической механики

Лекция 12. С.В. Болотин. Вариационные методы классической механики