Вторник, 16 января, комната 106. Начало в 12:00.
Докладчик: А. В. Пастор.
РАНГ МАТРИЦ И СЛОЖНОСТЬ ВЫЧИСЛЕНИЙВторник, 5 декабря, комната 106. Начало в 12:00.
Докладчик: В. Жижкун.
РАВЕНСТВА И ПЕРЕПИСЫВАНИЕ ТЕРМОВВторник, 28 ноября, комната 106. Начало в 12:00.
Докладчик: Б. Конев.
АВТОМАТИЧЕСКОЕ ПОРОЖДЕНИЕ ДОКАЗАТЕЛЬСТВ В СЕКВЕНЦИАЛЬНЫХ ИСЧИСЛЕНИЯХ С РАВЕНСТВОМВторник, 21 ноября, комната 106. Начало в 12:00.
Докладчик: Б. Конев.
АВТОМАТИЧЕСКОЕ ПОРОЖДЕНИЕ ДОКАЗАТЕЛЬСТВ В СЕКВЕНЦИАЛЬНЫХ ИСЧИСЛЕНИЯХ С РАВЕНСТВОМВторник, 14 ноября, комната 106. Начало в 12:00.
Докладчик: Д. В. Карпов.
ОЦЕНКИ СНИЗУ НА МАКСИМАЛЬНОЕ КОЛИЧЕСТВО ВИСЯЧИХ ВЕРШИН В ОСТОВНОМ ДЕРЕВЕ ГРАФАВторник, 17 октября, комната 106. Начало в 12:00.
вторник, 17 октября 2000 г., 12:00, к.106
состоится два доклада:
1. Докладчик: Э.Гирш
АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ ПРОПОЗИЦИОНАЛЬНЫХ ДОКАЗАТЕЛЬСТВ, ПОЛИНОМИАЛЬНО СИМУЛИРУЮЩИЕ СИСТЕМЫ ФРЕГЕ
В последние годы в области пропозициональных доказательств популярны были алгебраические системы: Nullstellensatz, polynomial calculus, и другие. Для каждой их них в том или ином виде известны экспоненциальные нижние оценки (насколько они "честные", будет обсуждаться в докладе).
Для систем Фреге экспоненциальных нижних оценок не известно. в докладе будет предложен вариант polynomial calculus, который полиномиально симулирует системы Фреге. Отличие от обычного polynomial calculus состоит в том, что полиномы представляются не как суммы мономов, а как алгебраические выражения со скобками, При этом в список правил вывода добавляются аксиомы кольца.
2. Докладчик: Д.В.Карпов
О ВЫДЕЛЕНИИ K НЕ ПЕРЕСЕКАЮЩИХСЯ ПО РЕБРАМ ОСТОВНЫХ ДЕРЕВЬЕВ В 2K-РЕБЕРНО СВЯЗНОМ ГРАФЕ
Будет доказано, что во всяком 2k-реберно связном графе можно выделить k остовных деревьев, никакие два из которых не имеют общих ребер и описана конструкция такого построения.
Вторник, 10 октября, комната 106. Начало в 12:00.
Докладчик: А. В. Пастор.
ОБ УДАЛЕНИИ РЕБЕР ИЗВторник, 26 сентября, комната 412. Начало в 18:30.
Докладчик: О. Етеревский.
Определим число Кармайкла порядка m как такое составное число n, что возведение в n-ую степень задает эндоморфизм любой Z/nZ-алгебры, которая может быть порождена как Z/nZ-модуль m элементами. В докладе будет приведена чисто арифметическая интерпретация этого определения. Кроме того, будет доказана нижняя оценка на число простых делителей числа Кармайкла n-го порядка.Вторник, 19 сентября, комната 106. Начало в 12:00.
Докладчик: Д. В. Карпов.
ОСТОВНОЕ ДЕРЕВО С БОЛЬШИМ КОЛИЧЕСТВОМ ВИСЯЧИХ ВЕРШИНВторник, 12 сентября, комната 106. Начало в 12:00.
Докладчик: Б. Ю. Конев.
доклад по статье П.Пудлака