|
|
Герасимов Михаил Александрович
к.ф.-м.н., доцент кафедры информатики
|
Соруководитель секции: |
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:
|
|