|
 |
Герасимов
Михаил
Александрович
к.ф.-м.н., доцент кафедры информатики
|
| Соруководитель секции: |
 |
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| чт 28 апреля |
 |
дневная секция |
| ауд. 3394 |
|
Петров Д.А.
Алгоритм поиска наибольшей общей подформулы в задаче построения логико-предикаьной сети
Петухова Н.Д.
Применение обратного метода Маслова и параллельных вычислений для решения задач искусственного интеллекта
Н.К.Косовский, М.Р.Старчак
Условия NP-полноты и полиномиальности для систем делимостей значений линейных полиномов на число
Косовский Н.К., Старчак М.Р.
Условия NP-полноты и полиномиальности для систем делимостей значений линейных полиномов на число
Герасимов М.А.
Одно обобщение алгоритма Шеннона–Фано для кодирования дискретных множеств сообщений
|
|
|
