Intlib logo OfficialWorkTitles



Официальные темы курсовых и дипломных работ семинара "Парадигмы программирования"


5 курс


VladimirBezhenar (Владимир Беженарь)

(курсовая 3 курса) Исследование применимости метода непосредственной интеграции к языку D в качестве базового и Scheme в качестве дополнительного

(курсовая 4 курса) Реализация метода непосредственной интеграции для языка D в качестве базового и Scheme в качестве дополнительного

(дипломная практика) Реализация компилятора языка Scheme

(дипломная работа) Интеграция программ на языках Scheme и D


NinaSkalko (Скалько Нина)

(курсовая 3 курса) Реализация графической подсистемы для библиотеки InteLib.

(курсовая 4 курса) Реализация механизма унификации языка Пролог в рамках библиотеки InteLib


Иван Белобородов

(курсовая 4 курса) Реализация механизма макросов в InteLib Scheme.


BroNik (Игорь Бронштейн)

(курсовая 3 курса) Реализация транслятора языка InteLib Рефал в моделирующие его конструкции библиотеки InteLib.

(курсовая 4 курса) Библиотечная реализация вычислительной модели языка Рефал.

(дипломная практика) Экспериментальная реализация механизма сопоставления языка Рефал.

(дипломная работа) Библиотечная поддержка объектно-ориентированной модели языка Рефал.


Юлия Власенко

(курсовая работа 3 курса) Реализация циклов языка Common Lisp в рамках библиотеки InteLib.

 
(курсовая работа 4 курса) Программа пакетной обработки веб-запросов.
 
(производственная практика) Реализация асинхронного обработчика запросов протокола передачи гипертекста.
 
(дипломная работа) Программируемый агент взаимодействия по протоколу передачи гипертекста.

4 курс


ManMachine (Бышевский-Конопко Максим)

(курсовая 3 курса) Реализация робота для общения в сетях XMPP.

(курсовая 4 курса) Преобразование слабоструктурированного XML в S-выражения.


BoHant (Олег Кошелев)

(курсовая 3 курса) Система автоматизации просмотра веб-страниц.


Дипломники 2008 года


IntAfy (Ольга Фролова (Штефан))

(курсовая 3 курса) Объектно-ориентированные структуры данных для представления конструкций языка Planner

(курсовая 4 курса) Объектно-ориентированная реализация механизма поиска с возвратом языка Плэнер

(дипломная практика) Реализация механизма доказательства теорем языка Плэнер в рамках библиотеки InteLib

(дипломная работа) Библиотечная реализация вычислительной модели языка Плэнер


RamosianGlider (Александр Потапенко)

(курсовая 3 курса) Модель системы автоматического создания средств разбора разметки текстов

(курсовая 4 курса) Модельная реализация системы хранения и публикации технической документации в формате М-К.

(дипломная практика) Генератор анализаторов разметки

(дипломная работа) Система ведения документации в разнородных форматах логической разметки


GenShen (Членова Галина)

(курсовая 3 курса) Разработка серверного ПО в рамках программного обеспечения для проведения деловых игр

(курсовая 4 курса) Реализация очередей сообщений в рамках программного обеспечения для проведения деловых игр

(дипломная работа) Сервер для проведения деловых игр


IgorElman

(дипломная практика) Реализация генераторов отдельных типов упражнений по математике.

(дипломная работа) Автоматизированная генерация упражнений по математике.


Дипломники 2007 года


Константин Гордеев

(курсовая 3 курса) Взаимное преобразование S-выражений, реализованных в библиотеке InteLib и XML документов.

(курсовая 4 курса) Проблемно-ориентированный диалект языка Лисп для обработки XML-документов

(дипломная практика) Экспериментальные средства обработки информационных потоков протокола XMPP на основе InteLib

(дипломная работа) Инструментарий для обработки XML-данных на основе библиотеки InteLib


Ахметова Дана

(курсовая 4 курса) Реализация графической среды для интерпретатора NILL


EvgeniyDemur (Евгений Демур)

(курсовая 3 курса) Разработка сетевой части автономного сервера совместного ведения документации.

(курсовая 4 курса) Тестирование рефал подсистемы библиотеки InteLib на примере автономного сервера совместного ведения документации.

(дипломная практика) Экспериментальная реализация командного языка навигации по веб-страницам.

(дипломная работа) Система программирования и автоматизации задач навигации по веб-страницам.


OlegFrantsuzov (Олег Французов)

(курсовая 3 курса) Разработка прикладной части автономного сервера совместного ведения документации.

(курсовая 4 курса) Интеграция парадигмы языка ECMAScript в проекты на C++

(дипломная практика) Экспериментальная реализация библиотеки классов для управления внешними приложениями.

(дипломная работа) Библиотечная поддержка изобразительных средств сценарных языков программирования в рамках проекта InteLib.


Смирнова Настя

(курсовая 3-го курса) Тестирование и документирование Лисп-подсистемы библиотеки InteLib


Дипломники 2006 года


MeDendik (Даниил Алексеевский)

(курсовая 3-го курса) Интеграция ленивых вычислений в объектно-ориентированное программирование

(курсовая 4-го курса) Общее ядро на основе S-выражений для ленивых вычислений и их типизации в объектно-ориентированной среде.

(дипломная практика) Библиотечная реализация вычислительной семантики подмножества языка Haskell в рамках библиотеки InteLib

(дипломная работа) Библиотечная поддержка модели ленивых вычислений языка Haskell


Васильев Дмитрий

(курсовая 3 курса) Подсчёт числа наиболее часто встречающихся словосочетаний.

(курсовая 4 курса) Выделенный игровой сервер для Magic: the Gathering.

(дипломная практика) Реализация лингвистической БД для естественно-языкового интерфейса с интерпретатором командной строки

 
(дипломная работа) Естественно-языковой интерфейс с интерпретатором командной строки.

Асенова Зарина

(курсовая работа за 3 курс) Демонстрация возможностей библиотеки InteLib на примере задачи о восьми ферзях

(курсовая работа за 4 курс) Демонстрация возможностей библиотеки InteLib на примере задачи "Магический шестиугольник"

(дипломная практика) Разработка генератора текстовых задач на языке Лисп

(дипломная работа) Автоматизированный генератор тренировочных задач по элементарной математике


Ашабаев Алмас

(дипломная практика) Реализация экспериментального XML-анализатора на основе библиотеки InteLib

(дипломная работа) Встраиваемый диалект языка Лисп для обработки XML-документов


Нагима Байгоныс

(дипломная работа) Реализация интерпретатора лямбда-выражений с использованием библиотеки InteLib


Диана Гаппарова

(дипломная работа) Проблемно-ориентированный диалект языка Лисп для обработки графов


Сергей Коломин

(дипломная работа) Серверное программное обеспечение для проведения деловых игр


Тимур Мендыбаев

(дипломная работа) Автоматизированная система извлечения информации из веб-страниц


Дипломники 2005 года


ElenTin (Ольга Цаун)

(курсовая 4 курса) Объектно-ориентированная реализация структур данных для логического программирования

(дипломная практика) Экспериментальная реализация Дейталог-машины для мультипарадигмального программирования

(дипломная работа) Библиотечная реализация восходящих методов вычислений языка Дейталог


SavMax (Максим Савченко)

(курсовая 3 курса) Тестирование и документирование Рефал-подсистемы библиотеки InteLib

(курсовая 4 курса) Автономная ОО-реализация рефал-подсистемы библиотеки InteLib

(дипломная практика) Экспериментальная реализация объектно-ориентированной модели Рефал-машины для мультипарадигмального окружения

(дипломная работа) Библиотечная поддержка вычислительной модели языка Рефал.


InteLibWiki PageList RecentChanges PageHistory