Персоналии: Подольский Владимир Владимирович

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Подольский Владимир Владимирович

В базах данных Math-Net.Ru
в MathSciNet:	34 (32)
в zbMATH:	23 (22)
в Web of Science:	31 (30)
в Scopus:	39 (39)

доктор физико-математических наук (2021)

E-mail:

Сайт:

https://www.mi.ras.ru/~podolskii

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

Теория сложности вычислений.

https://www.mathnet.ru/rus/person47204

https://scholar.google.com/citations?user=56S9XEsAAAAJ&hl=ru

https://zbmath.org/authors/ai:podolskii.vladimir-v

https://mathscinet.ams.org/mathscinet/MRAuthorID/864796

https://www.webofscience.com/wos/author/record/K-1430-2015

https://www.scopus.com/authid/detail.url?authorId=23092161300

Список публикаций:

по годам

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)


2023
1.	Natalia Dobrokhotova-Maikova, Alexander Kozachinskiy, Vladimir Podolskii, “Constant-Depth Sorting Networks”, 14th Innovations in Theoretical Computer Science Conference (ITCS 2023), Leibniz Internat. Proc. in Inform., 251, 2023, 43 , 19 pp. ;

2022
2.	Anastasiya Chistopolskaya, Vladimir V. Podolskii, “On the Decision Tree Complexity of Threshold Functions”, Theory Comput. Syst., 66 (2022), 1074–1098 ;	1 ^[x]
3.	Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artif. Intell., 309 (2022), 103738 , 46 pp. ;	1 ^[x]
4.	Vladimir Podolskii, Nikolay V. Proskurin, “Polynomial threshold functions for decision lists”, 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz Internat. Proc. in Inform., 248, 2022, 52:1–52:12 ;
5.	Alexander Kozachinskiy, Vladimir Podolskii, “Multiparty Karchmer–Wigderson games and threshold circuits”, Theory Comput., 18 (2022), 15 , 33 pp. ;

2021
6.	Л. Бабаи, К. А. Хансен, В. В. Подольский, Сяомин Сюн, “Веса точных пороговых функций”, Изв. РАН. Сер. матем., 85:6 (2021), 5–26 ; L. Babai, K. A. Hansen, V. V. Podolskii, Xiaoming Sun, “Weights of exact threshold functions”, Izv. Math., 85:6 (2021), 1039–1059
7.	В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194 ; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181

2020
8.	Fedor V. Fomin, Vladimir V. Podolskii, “CSR 2018 Special Issue on TOCS”, Theory Comput. Syst., 64 (2020), 1–2 ;
9.	Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom”, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Organization, 2020, 403–413	1 ^[x]
10.	Alexander Kozachinskiy, Vladimir Podolski, “Multiparty Karchmer – Wigderson Games and Threshold Circuits”, 35th Computational Complexity Conference, CCC 2020, July 28-31, 2020, Saarbrücken, Germany, Leibniz Internat. Proc. in Inform., 169, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, 24 , 23 pp. ;
11.	Anastasiya Chistopolskaya, Vladimir V. Podolskii, “On the Decision Tree Complexity of Threshold Functions”, Computer Science - Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Lecture Notes in Comput. Sci., 12159, Springer, Cham, 2020, 198–210 ;
12.	Dima Grigoriev, Vladimir V. Podolskii, “Tropical Combinatorial Nullstellensatz and sparse polynomials”, Found. Comput. Math., 20 (2020), 753–781 ;	4 ^[x]
13.	Vladimir V. Podolskii, Alexander A. Sherstov, “Inner Product and Set Disjointness: Beyond Logarithmically Many Parties”, ACM Trans. Comput. Theory, 12:4 (2020), 26 , 28 pp. ;

2019
14.	Alexander S. Kulikov, Vladimir V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, Theory Comput. Syst., 63:5 (2019), 956–986
15.	A. S. Kulikov, I. Mikhailin, A. Mokhov, V. V. Podolskii, “Complexity of Linear Operators”, 30th International Symposium on Algorithms and Computation (ISAAC 2019), Shanghai University of Finance and Economics, in ShanghaiShanghai; China; 8 December 2019 – 11 December 2019, Leibniz Internat. Proc. in Inform., 149, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 17, 1–12 ;

2018
16.	Dima Grigoriev, Vladimir V. Podolskii, “Tropical effective primary and dual nullstellensätze”, Discrete Comput. Geom., 59:3 (2018), 507–552	8 ^[x]
17.	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity”, Journal of the ACM, 65:5 (2018), 28 , 51 pp.	14 ^[x]
18.	Fedor V. Fomin, Vladimir V. Podolskii (eds.), Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings, Lecture Notes in Computer Science 10846, Springer, 2018 https://link.springer.com/book/10.1007

2017
19.	Vladimir V. Podolskii, “Bounds in Ontology-Based Data Access via Circuit Complexity”, Theory Comput. Syst., 61:2 (2017), 464–493	1 ^[x]
20.	M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev, “The complexity of ontology-based data access with OWL2QL and bounded treewidth queries”, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Volume Part F127745, 9 May 2017 (Chicago, United States, 14 May 2017 до 19 May 2017, Код 127745), 2017, 201–216	5 ^[x]
21.	O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, International Conference on Knowledge Engineering and the Semantic Web KESW 2017: Knowledge Engineering and Semantic Web, Commun. Comput. Inf. Sci., 786, Springer, 2017, 143–158	3 ^[x]
22.	A. S. Kulikov, V. V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Leibniz Internat. Proc. in Inform., 66, no. 49, 2017, 1–14
23.	D. Yu. Grigor'ev, V. V. Podolskii, “Tropical Combinatorial Nullstellensatz and Fewnomials Testing”, International Symposium on Fundamentals of Computation Theory FCT 2017: Fundamentals of Computation Theory, Lecture Notes in Comput. Sci., 10472, Springer, 2017, 284–297	1 ^[x]
24.	O. Gerasimova, S. Kikot, V. Podolskii, M. Zakharyaschev, “On the data complexity of ontology-mediated queries with a covering axiom”, Proceedings of the 30th International Workshop on Description Logics (Montpellier, France, 18 July 2017 - 21 July 2017), CEUR Workshop Proceedings, 1879, CEUR-WS, 2017, 39 , 12 pp.

2016
25.	M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries” (Cape Town, South Africa, 22 April 2016 – 25 April 2016), CEUR Workshop Proceedings, 1577, 2016 , arXiv: 1604.05258

2015
26.	K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Inform. and Comput., 240 (2015), 56–73	11 ^[x]
27.	Dima Grigoriev, Vladimir V. Podolskii, “Complexity of tropical and min-plus linear prevarieties”, Comput. Complexity, 24:1 (2015), 31–64 http://www.mpim-bonn.mpg.de/preblob/5202, arXiv: 1204.4578	16 ^[x]
28.	D. Grigoriev, V. V. Podolskii, “Tropical effective primary and dual Nullstellensätze”, 32nd International Symposium on Theoretical Aspects of Computer Science, LIPIcs. Leibniz Int. Proc. Inform., 30, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2015, 379–391
29.	V. V. Podolskii, “Circuit complexity meets ontology-based data access”, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Comput. Sci., 9139, 2015, 7–26 , arXiv: 1506.01296	1 ^[x]
30.	Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, “Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results”, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2015, 317–328	6 ^[x]

2014
31.	Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artificial Intelligence, 213 (2014), 42–59	41 ^[x]
32.	Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase”, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Digital Library, 2014, 57:1–57:10 , arXiv: 1401.4420
33.	M. Bienvenu, S. Kikot, V. Podolskii, “Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries”, Description Logics 2014, CEUR Workshop Proceedings, 1193, 2014, 45–57 http://ceur-ws.org/Vol-1193/paper_43.pdf

2013
34.	V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, Log. Methods Comput. Sci., 9:2 (2013), 13 , 17 pp.	2 ^[x]
35.	K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Mathematical Foundations of Computer Science 2013, 38th International Symposium, MFCS 2013 (Klosterneuburg, Austria, August 26–30, 2013), Proceedings, Lecture Notes in Computer Science, 8087, Springer, Berlin–Heidelberg, 2013, 516–527 http://eccc.hpi-web.de/report/2013/021/	4 ^[x]
36.	S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, Description Logics 2013, Informal Proceedings of the 26th International Workshop on Description Logics (Ulm, Germany, July 23–26, 2013), CEUR Workshop Proceedings, 1014, 2013, 316–327
37.	K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. Tsigaridas, “Patience of matrix games”, Discrete Appl. Math., 161:16 (2013), 2440–2459

2012
38.	V. V. Podolskii, “Exponential lower bound for bounded depth circuits with few threshold gates”, Inform. Process. Lett., 112:7 (2012), 267–271	2 ^[x]
39.	V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, How the World Computes, Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 (Cambridge, UK, June 18–23, 2012), Proceedings, Lecture Notes in Comput. Sci., 7318, Springer–Berlin–Heidelberg, 2012, 599–608 , arXiv: 1204.2652	1 ^[x]
40.	K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. P. Tsigaridas, Patience of matrix games, 2012 , 32 pp., arXiv: 1206.1751
41.	S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012 (Warwick, UK, July 9–13, 2012), Proceedings, Part II, Lecture Notes in Comput. Sci., 7392, Springer Berlin Heidelberg, 2012, 263–274 , arXiv: 1202.4193	20 ^[x]

2011
42.	В. В. Подольский, “Однородная по степени нижняя оценка на веса многочленов с заданной знаковой функцией”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 252–268 ; Vladimir V. Podolskii, “Degree-uniform lower bound on the weights of polynomials with given sign function”, Proc. Steklov Inst. Math., 274 (2011), 231–246	1 ^[x]

2010
43.	В. В. Подольский, А. А. Шерстов, “Небольшое уменьшение степени многочлена с заданной знаковой функцией может экспоненциально увеличить его вес и длину”, Матем. заметки, 87:6 (2010), 885–899 ; V. V. Podolskii, A. A. Sherstov, “A Small Decrease in the Degree of a Polynomial with a Given Sign Function Can Exponentially Increase Its Weight and Length”, Math. Notes, 87:6 (2010), 860–873	2 ^[x]
44.	K. A. Hansen, V. V. Podolskii, “Exact threshold circuits”, Proc. of 25th Annual IEEE Conference on Computational Complexity (CCC), IEEE Computer Soc., Los Alamitos, CA, 2010, 270–279	13 ^[x]
45.	L. Babai, K. A. Hansen, V. Podolskii, Sun Xiaoming, “Weights of exact threshold functions”, Mathematical foundations of computer science 2010, Proc. of 35th International Symposium on Mathematical Foundations of Computer Science (MFCS) (Brno, Czech Republic, 2010), Lecture Notes in Comput. Sci., 6281, Springer, Berlin, 2010, 66–77	11 ^[x]

2009
46.	В. В. Подольский, “Перцептроны с большим весом”, Пробл. передачи информ., 45:1 (2009), 51–59 ; V. V. Podolskii, “Perceptrons of large weight”, Problems Inform. Transmission, 45:1 (2009), 46–53	16 ^[x]
47.	В. В. Подольский, А. А. Шерстов, “Уменьшение на единицу степени многочлена с заданной знаковой функцией может экспоненциально увеличить его вес и длину”, УМН, 64:5(389) (2009), 179–180 ; V. V. Podolskii, A. A. Sherstov, “Reducing by 1 the degree of a polynomial with fixed sign function can increase exponentially its weight and length”, Russian Math. Surveys, 64:5 (2009), 950–951

2008
48.	V. V. Podolskii, “A uniform lower bound on weights of perceptrons”, Computer science—theory and applications, Lecture Notes in Comput. Sci., 5010, Springer, Berlin, 2008, 261–272	10 ^[x]

2007
49.	V. V. Podolskii, “Perceptrons of large weight”, Computer science — theory and applications, Proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007 (Ekaterinburg, Russia, 2007), Lecture Notes in Comput. Sci., 4649, 2007, 328–336	2 ^[x]

Доклады и лекции в базе данных Math-Net.Ru

1.	Majority circuits and sorting networks of small depth Vladimir Podolskii Fourth Workshop on Digitalization and Computable Models (WDCM-2022) 26 октября 2022 г. 17:00
2.	Weights of polynomial threshold functions V. V. Podolskii Международная мини-конференция “Approximation and Matrix Complexity” 21 декабря 2021 г. 20:00
3.	Лекция 13. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 6 декабря 2021 г. 10:00
4.	Лекция 12. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 29 ноября 2021 г. 10:00
5.	Лекция 11. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 22 ноября 2021 г. 10:00
6.	Лекция 10. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 15 ноября 2021 г. 10:00
7.	Лекция 9. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 8 ноября 2021 г. 10:00
8.	Лекция 8. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 25 октября 2021 г. 10:00
9.	Лекция 7. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 18 октября 2021 г. 10:00
10.	Лекция 6. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 11 октября 2021 г. 10:00
11.	Лекция 5. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 4 октября 2021 г. 10:00
12.	Лекция 4. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 27 сентября 2021 г. 10:00
13.	Лекция 3. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 20 сентября 2021 г. 10:00
14.	Лекция 2. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 13 сентября 2021 г. 10:00
15.	Лекция 1. Введение в теорию сложности В. В. Подольский Введение в теорию сложности 6 сентября 2021 г. 10:00
16.	Макс-плюс многочлены и их корни В. В. Подольский Конференция международных математических центров мирового уровня 10 августа 2021 г. 11:00
17.	Макс-плюс многочлены и их корни В. В. Подольский Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 21 января 2021 г. 16:00
18.	Макс-плюс многочлены и их корни В. В. Подольский Научная сессия МИАН, посвященная подведению итогов 2020 года 25 ноября 2020 г. 11:00
19.	Занятие 7. NP-полнота следующих задач: NAE-3-SAT, 3-COL, SUBSET-SUM, CLIQUE, VERTEX-COVER В. В. Подольский Введение в теорию сложности 3 ноября 2020 г. 16:15
20.	Занятие 6. Соотношение между классами P и P/poly. Задача CIRCUIT-SAT, ее NP-полнота. Задача 3-SAT, ее NP-полнота. Задача IND-SET, ее NP-полнота В. В. Подольский Введение в теорию сложности 27 октября 2020 г. 16:15
21.	Занятие 5. Булевых схемы. Примеры: сложение, умножение, связность. Верхняя и нижняя оценки сложности вычисления булевых функций булевыми схемами В. В. Подольский Введение в теорию сложности 20 октября 2020 г. 16:15
22.	Занятие 4. Класс NP, примеры. Соотношение с классами P и PSPACE. Недетерминированные машины Тьюринга, второе определение класса NP, эквивалентность определений. Полиномиальные сводимости, их основные свойства. NP-трудность и NP-полнота, их основные свойства В. В. Подольский Введение в теорию сложности 13 октября 2020 г. 16:15
23.	Занятие 3. Теоремы об иерархии по времени и по памяти В. В. Подольский Введение в теорию сложности 6 октября 2020 г. 16:15
24.	Занятие 2. Связь одноленточных и многоленточных машин Тьюринга. Универсальная машина Тьюринга. Вычисления с ограничением на время и память. Классы P, PSPACE, EXP. Примеры полиномиально вычислимых функций и полиномиально разрешимых языков В. В. Подольский Введение в теорию сложности 29 сентября 2020 г. 16:15
25.	Занятие 1. Машины Тьюринга, вычисление функций на машинах Тьюринга, лемма об очистке мусора, многоленточные машины Тьюринга В. В. Подольский Введение в теорию сложности 22 сентября 2020 г. 16:15
26.	Занятие 0. Устройство курса правила оценивания. Краткий обзор основ сложности вычислений. Классы с ограничением на память. Класс PSPACE, его свойства. Задача TQBF является PSPACE-полной. PSPACE=NPSPACE В. В. Подольский Введение в теорию сложности 15 сентября 2020 г. 16:15
27.	Макс-плюс многочлены и их корни В. В. Подольский Узлы и теория представлений 25 февраля 2020 г. 18:30
28.	Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников В. В. Подольский Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика» 24 декабря 2018 г. 17:30
29.	Оценки сложности для баз данных, снабженных логическими теориями В. В. Подольский Конференция «Современная математика и ее приложения», посвященная подведению итогов реализации гранта РНФ № 14-50-00005 19 ноября 2018 г. 15:10
30.	Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 6 марта 2018 г. 18:30
31.	О корнях многочленов в мин-плюс алгебре В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 21 ноября 2017 г. 18:30
32.	Ontology-based data access meets circuit complexity V. V. Podolskii Applied Mathematics Day 22 сентября 2017 г. 17:00
33.	Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates В. В. Подольский Межкафедральный семинар МФТИ по дискретной математике 23 марта 2017 г. 18:30
34.	Polynomials in min-plus algebra and related algorithmic problems В. В. Подольский Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна 19 июля 2016 г. 15:50
35.	Оценки длин преобразований запросов к снабженным логической теорией базам данных В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 1 декабря 2015 г. 18:30
36.	Оценки длин переформулировок запросов к снабженным логической теорией базам данных В. В. Подольский Научная сессия МИАН, посвященная подведению итогов 2015 года 11 ноября 2015 г. 11:45
37.	Мин-плюс многочлены и циклические игры Владимир Подольский Коллоквиум Факультета компьютерных наук НИУ ВШЭ 30 апреля 2015 г. 16:40
38.	Приближение булевых функций многочленами В. В. Подольский Общеинститутский семинар «Коллоквиум МИАН» 2 апреля 2015 г. 16:00
39.	Об одном аналоге известной теоремы Гильберта о нулях для многочленов в алгебраической системе $(\mathbb{R}, \min, +)$ В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 11 ноября 2014 г. 18:30
40.	Пороговые элементы на множестве $\{1,2\}$ и пороговые схемы В. В. Подольский Колмогоровский семинар по сложности вычислений и сложности определений 1 апреля 2013 г. 16:45
41.	Об аналоге теоремы Гильберта о нулях в алгебраической системе $(\mathbb{R}, \min, +)$ В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 26 марта 2013 г. 18:30
42.	О реализации булевых функций знаковыми функциями целочисленных многочленов В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 4 декабря 2012 г. 18:30
43.	Об уравнениях в алгебраической системе $(\mathbb Z,\min, +)$ В. В. Подольский «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 15 мая 2012 г. 18:30
44.	О некоторых классах пороговых булевых схем ограниченной глубины В. В. Подольский Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика» 18 декабря 2009 г. 16:00

Организации

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы