OfficialWorkTitles
OfficialWorkTitles(курсовая 3 курса) Объектно-ориентированные структуры данных для представления конструкций языка Planner
(курсовая 4 курса) Объектно-ориентированная реализация механизма поиска с возвратом языка Плэнер
(дипломная практика) Реализация механизма доказательства теорем языка Плэнер в рамках библиотеки InteLib
(дипломная работа) Библиотечная реализация вычислительной модели языка Плэнер
(курсовая 3 курса) Модель системы автоматического создания средств разбора разметки текстов
(курсовая 4 курса) Модельная реализация системы хранения и публикации технической документации в формате М-К.
(дипломная практика) Генератор анализаторов разметки
(дипломная работа) Система ведения документации в разнородных форматах логической разметки
(курсовая 3 курса) Разработка серверного ПО в рамках программного обеспечения для проведения деловых игр
(курсовая 4 курса) Реализация очередей сообщений в рамках программного обеспечения для проведения деловых игр
(дипломная работа) Сервер для проведения деловых игр
(дипломная практика) Реализация генераторов отдельных типов упражнений по математике.
(дипломная работа) Автоматизированная генерация упражнений по математике.
(курсовая 3 курса) Исследование применимости метода непосредственной интеграции к языку D в качестве базового и Scheme в качестве дополнительного
(курсовая 3 курса) Реализация графической подсистемы для библиотеки InteLib.
(курсовая 4 курса) Реализация макросов языка Scheme на примере InteLib Scheme.
(курсовая 3 курса) Реализация транслятора языка InteLib Рефал в моделирующие его конструкции библиотеки InteLib.
(курсовая 4 курса) Объектно-ориентированная реализация механизма сопоставления языка Рефал.
(курсовая 3 курса) Взаимное преобразование S-выражений, реализованных в библиотеке InteLib и XML документов.
(курсовая 4 курса) Проблемно-ориентированный диалект языка Лисп для обработки XML-документов
(дипломная практика) Экспериментальные средства обработки информационных потоков протокола XMPP на основе InteLib
(дипломная работа) Инструментарий для обработки XML-данных на основе библиотеки InteLib
(курсовая 4 курса) Реализация графической среды для интерпретатора NILL
(курсовая 3 курса) Разработка сетевой части автономного сервера совместного ведения документации.
(курсовая 4 курса) Тестирование рефал подсистемы библиотеки InteLib на примере автономного сервера совместного ведения документации.
(дипломная практика) Экспериментальная реализация командного языка навигации по веб-страницам.
(дипломная работа) Система программирования и автоматизации задач навигации по веб-страницам.
(курсовая 3 курса) Разработка прикладной части автономного сервера совместного ведения документации.
(курсовая 4 курса) Интеграция парадигмы языка ECMAScript в проекты на C++
(дипломная практика) Экспериментальная реализация библиотеки классов для управления внешними приложениями.
(дипломная работа) Библиотечная поддержка изобразительных средств сценарных языков программирования в рамках проекта InteLib.
(курсовая 3-го курса) Тестирование и документирование Лисп-подсистемы библиотеки InteLib
(курсовая 3-го курса) Интеграция ленивых вычислений в объектно-ориентированное программирование
(курсовая 4-го курса) Общее ядро на основе S-выражений для ленивых вычислений и их типизации в объектно-ориентированной среде.
(дипломная практика) Библиотечная реализация вычислительной семантики подмножества языка Haskell в рамках библиотеки InteLib
(дипломная работа) Библиотечная поддержка модели ленивых вычислений языка Haskell
(курсовая 3 курса) Подсчёт числа наиболее часто встречающихся словосочетаний.
(курсовая 4 курса) Выделенный игровой сервер для Magic: the Gathering.
(дипломная практика) Реализация лингвистической БД для естественно-языкового интерфейса с интерпретатором командной строки
(дипломная работа) Естественно-языковой интерфейс с интерпретатором командной строки.
(курсовая работа за 3 курс) Демонстрация возможностей библиотеки InteLib на примере задачи о восьми ферзях
(курсовая работа за 4 курс) Демонстрация возможностей библиотеки InteLib на примере задачи "Магический шестиугольник"
(дипломная практика) Разработка генератора текстовых задач на языке Лисп
(дипломная работа) Автоматизированный генератор тренировочных задач по элементарной математике
(дипломная практика) Реализация экспериментального XML-анализатора на основе библиотеки InteLib
(дипломная работа) Встраиваемый диалект языка Лисп для обработки XML-документов
(дипломная работа) Реализация интерпретатора лямбда-выражений с использованием библиотеки InteLib
(дипломная работа) Проблемно-ориентированный диалект языка Лисп для обработки графов
(дипломная работа) Серверное программное обеспечение для проведения деловых игр
(дипломная работа) Автоматизированная система извлечения информации из веб-страниц
(курсовая 4 курса) Объектно-ориентированная реализация структур данных для логического программирования
(дипломная практика) Экспериментальная реализация Дейталог-машины для мультипарадигмального программирования
(дипломная работа) Библиотечная реализация восходящих методов вычислений языка Дейталог
(курсовая 3 курса) Тестирование и документирование Рефал-подсистемы библиотеки InteLib
(курсовая 4 курса) Автономная ОО-реализация рефал-подсистемы библиотеки InteLib
(дипломная практика) Экспериментальная реализация объектно-ориентированной модели Рефал-машины для мультипарадигмального окружения
(дипломная работа) Библиотечная поддержка вычислительной модели языка Рефал.