Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 9: Строка 9:
 
кольцами и их приложениях.
 
кольцами и их приложениях.
 
| Сергеев И.С. (ФГУП "Квант"; МГУ имени М.В. Ломоносова)}}
 
| Сергеев И.С. (ФГУП "Квант"; МГУ имени М.В. Ломоносова)}}
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
 
{{announce Seminar| 27 сентября 2019 г.
 
|'''A survey on temporal logics for specifying and verifying real-time systems''' (S. Konur).
 
Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике.
 
| Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК)}}
 
  
 
|-
 
|-
Строка 25: Строка 17:
  
 
|-
 
|-
|colspan="3"|'''[[Дискретный анализ]]'''
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
{{announce Seminar|  
 
{{announce Seminar|  
 
|  
 
|  
| }}
+
|  
 
+
|-
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
+
{{announce Seminar| 22 ноября 2019 г.
+
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)
+
| Купраш Екатерина (418 гр.)
+
  
 
|  
 
|  
Строка 41: Строка 27:
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
{{announce Seminar| 18 октября 2019 г.
+
{{announce Seminar|  
| '''Простой алгоритм для мальцевских ограничений'''. В докладе рассматривается полиномиальный алгоритм проверки выполнимости системы ограничений, удовлетворяющих некоторой мальцевской операции. Доклад по статье: Bulatov A., Dalmau V. A simple algorithm for Mal'tsev constraints // SIAM J. Computing. 2006.
+
|  
| Мартынов Петр (318 гр.)
+
|  
 
| }}
 
| }}
 
   
 
   

Версия 20:22, 3 марта 2020

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
6 марта 2020 г. Некоторые вопросы синтеза параллельных схем.

Аннотация доклада. В докладе представлены результаты автора в областях минимизации глубины схем и формул, оптимального синтеза при ограничении на глубину, разработки быстрых параллельных алгоритмов. В частности, рассказывается о методах синтеза формул для симметрических булевых функций, асимптотически оптимальном синтезе линейных схем ограниченной глубины, экстремальных отношениях линейных мер сложности булевых матриц, синтезе минимальных параллельных префиксных схем, асимптотически оптимальном синтезе схем и формул ограниченной глубины из многовходовых элементов, алгоритмах быстрого преобразования Фурье над некоторыми кольцами и их приложениях.

Сергеев И.С. (ФГУП "Квант"; МГУ имени М.В. Ломоносова)
Дискретные функции и сложность алгоритмов
Теория управляющих систем и математические модели СБИС


Сложность решения дискретных задач


Теоретические проблемы программирования