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