#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425 (2гум).

8 ноября 2024 г.
Докладчик: Ю.С.Капустин
Тема: "Функциональная система С_n и её свойства"

В докладе рассматриваются свойства функциональной системы С_n, порождённой обычными теоретико-множественными операциями и индикаторами мощности множеств до n включительно, носитель которой - множество подмножеств множества целых чисел. Будут рассмотрены основные свойства системы, предполные классы системы и представлен критерий относительной полноты в этой системе.

➰ ВК