Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по этой ссылке.
Цель семинара — познакомить участников с разнообразными результатами и методами в области математической логики и теоретической информатики. Предполагается, что программа семинара будет состоять из докладов продолжительностью 2-4 занятия, включающих достаточно подробные разборы актуальных работ (как недавних, так и классических) в данной области. В качестве источников будут выступать статьи и главы из книг, а также собственные тексты докладчиков.
Семинар призван помочь студентам, аспирантам и молодым учёным расширить свой кругозор и освоить более продвинутые техники.
В 2025 г. семинар действовал под названием «Вероятностные и субструктурные логические системы»; см. также семинар весны 2024.
Программа
Каждый доклад будет посвящён некоторой логической системе и включать разбор доказательств связанных с ней результатов. Докладчики будут выбираться руководителями семинара, в основном из числа студентов и аспирантов.
Примеры источников:
[1] M. Abadi, J.Y. Halpern, Decidability and expressiveness for first-order logics of probability // Information and Computation, 112 (1) (1994), pp. 1-36.
[2] J. Ax, The elementary theory of finite fields // Annals of Mathematics, 88(2) (1968), pp. 239-271.
[3] P.J. Cohen, Decision procedures for real and p-adic fields // Communications of Pure and Applied Mathematics, XXII (1969), pp. 131-151.
[4] R. Fagin, J.Y. Halpern, N. Megiddo, A logic for reasoning about probabilities // Information and Computation, 87(1–2) (1990), pp. 78-128.
[5] D. Harel, A. Pnueli, J. Stavi, Propositional dynamic logic of nonregular programs // Journal of Computer and System Sciences, 26(2) (1983), pp. 222-243.
[6] J.-Y. Girard, Linear logic // Theoretical Computer Science, 50(1) (1987), pp. 1-101.
[7] J. Lambek, The mathematics of sentence structure // American Mathematical Monthly, 65 (1978), pp. 154-170.
[8] D. Kozen, On the complexity of reasoning in Kleene algebra // Information and Computation, 179(2) (2002), pp. 152-162.
[9] Z. Ognjanović, A. Ilić-Stepić, Logics with probability operators. In: Z. Ognjanović (ed.), Probabilistic Extensions of Various Logical Systems, Springer, 2020, pp. 1-35.
[10] M. Pentus, Product-free Lambek calculus and context-free grammars // Journal of Symbolic Logic, 62(2) (1997), pp. 648-660.
[11] J. Robinson, Definability and decision problems in arithmetic // Journal of Symbolic Logic, 14(2) (1949), pp. 98-114.
[12] R.M. Solovay, R.D. Arthan, J. Harrison, Some new results on decidability for elementary algebra and geometry // Annals of Pure and Applied Logic, 163(12), (2012), pp. 1765-1802.
[13] W. Thomas, Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor // ACM SIGLOG News, 5(1) (2018), pp. 14-18.
[14] A. Urquhart, The undecidability of entailment and relevant implication. Journal of Symbolic Logic, 49(4) (1984), pp. 1059-1073.
 RSS: Ближайшие семинары
 Руководители семинара
Кузнецов Степан Львович
Сперанский Станислав Олегович
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
