Войти Зарегистрироваться

Подписаться на новости Отписаться

Новости

Семинар «Проверка ограничений целостности при проведении бета-редукции с учётом контекстных ограничений»

Семинар «Проектирование генераторов текстов для взаимодействия с пользователем с учётом их типизации»

Семинар «Использование особенностей библиотеки LambdaJS для её подключения к проблемно-ориентированным аппликативным языкам»

Семинар «Динамическое формирование правил редукции во время вычисления редуцируемого терма»

Семинар «Комбинаторные средства синтаксического анализа в LambdaJS с учётом возможных типов синтаксических ошибок»

Доклад и обсуждение на тему «Границы концептуальной математики и когнитивного моделирования (часть 7)». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Доклад и обсуждение на тему «Границы концептуальной математики и когнитивного моделирования (часть 6)». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Доклад и обсуждение на тему «Границы концептуальной математики и когнитивного моделирования (часть 5)». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Доклад и обсуждение на тему «Границы концептуальной математики и когнитивного моделирования (часть 4)». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Доклад и обсуждение на тему «Границы концептуальной математики и когнитивного моделирования (часть 3)». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Следующая страница