Докладчик: Сергей Александрович Гречаник (ИПМ им. М.В. Келдыша РАН)

Дата: 20 мая 2016

Время: 13:00

Место: зал ученого совета ИПС

Презентация: Скачать

Аннотация:

​(по материалам диссертации на соискании степени кандидата физико-математических наук ​по специальности 05.13.11 ​-​ математическое и программное обеспечение​ вычислительных машин, комплексов и компьютерных сетей​)​

В диссертационной работе рассматривается применение метода насыщения равенствами для индуктивного доказательства эквивалентности функций в нестрогом функциональном языке первого порядка.