![]() |
![]() |
АВТОРЫ И СОТРУДНИКИ СИСТЕМЫ DEDUC
Пётр З. Хотомский, доктор математических наук, профессор Университета в Новом Саду, Югославия.
Автор концептуального обоснования системы DEDUC. Руководитель проекта.
Родился в 1944 г., окончил Математический институт Белградского университета в 1967 г., кандидатский тезис: “Минимизация функций алгребы логики и программная алгоритмизация методов”, Белград 1970 г., докторская диссертация: “Методы и правила автоматического доказательства теорем в теориях первого порядка с математической индукцией”, Белград 1982 г. Теоретические результаты своих исследований оваплотил в первой системе автоматического доказательства теорем с резолюцией, индукцией и симметрией, в рамках экспертной системы “Граф”, на Фортране. Опубликовал свыше 170 научных и професиональных трудов. Преподаёт “Математическую логику с принципами программирования” и “Системы искусственного интеллекта” на Техническом факультете “М. Пупин” в Зренянине.
Ивана Беркович, доктор технических наук – информатика в образовании, доцент Университета в Новом Саду, Югославия.
Автор дедуктивного механизма системы DEDUC.
Родилась в 1962 г., окончила Математический институт в Новом Саду в 1986 г., кандидатский тезис: “Вариабильные стратегии поиска в учебно ориентированной системе автоматического доказательства теорем”, Зренянин 1994 г., докторская диссертация: “Дедуктивный базис для развития дескриптивных языков логического программирования”, Зренянин 1997 г. Свои теоретические исследования оваплотила в системе “АДТ – автоматического рассуждения”, на Паскале. Опубликовала свыше 40 научных и професиональных трудов. Преподаёт “Математическую логику в технических системах” и “Компьютерную графику” на Техническом факультете “М. Пупин” в Зренянине.
Драган Прохаска, кандидат информатики, инженер.
Коавтор проекта DEDUC, автор программ: управления базами данных, интерфейса коммуникации с потребителем, экранного просмотра и печати генерированных расписаний в системе DEDUC.
Родился в 1955 г., окончил леснохозяйственный институт Белградского университета в 1970 г., кандидатский тезис: “Дедуктивный метод порождения комбинаторных расположений и программная алгоритмизация методов”, Белград 1994 г. Свои теоретические исследования оваплотил в начальной версий системы DEDUC на языке FoxPro. Опубликовал свыше 10 научных и професиональных трудов. Руководитель компьютерного центра в Зренянине при Почтовой и телекоммуникационной компании “ЈП ПТТ”.
Неделько Дивяк, окончил Технический факультет “М. Пупин” в Зренянине группа “Информатика в образовании” в 2000 г.
Коавтор проекта DEDUC, автор программ на Паскале для рабочих внутренных процедур системы DEDUC: начальное заполнение, помещение данных, оптимизация пробелов в расписании (преподавателей и учеников). Используя объектно ориентированный подход осуществил большинство эвристических итеративных процедур системы DEDUC.
Родился в 1973 г. Разработал специальную Pit – технику для работы в режиме “замкнутого мира”. Опубликовал около 10 научных и професиональных трудов. Исполнял должность студента – продекана на Техническом факультете “М. Пупин” в Зренянине.
Биляна Радулович, доктор технических наук – информатика в образовании, доцент Университета в Новом Саду, Югославия.
Секретарь и консультант в проекте DEDUC.
Родилась в 1966 г., окончила Экономический институт в Новом Саду в 1988 г., кандидатский тезис: “Методология эвалюации системы управления базами данных в образовании”, Зренянин 1993 г., докторская диссертация: “Проектирование дедуктивных баз данных в образовании”, Зренянин 1998 г. Теоретические исследования оваплотила в программной системе “BASELOG”, которая связывает концепты “замкнутого мира” в Прологе и Даталоге с концептом “открытого мира” в системе АДТ. Опубликовала свыше 25 научных и професиональных трудов. Преподаёт “Базы данных” и “Информационные системы” на Техническом факультете “М. Пупин” в Зренянине.
Душко Радишич, окончил Технический факультет “М. Пупин” в Зренянине группа “Информатика в образовании” в 2001 г.
Осуществил имплементацию защиты системы DEDUC от нелегального копирования.
Родился в 1972 г. Автор компьютерного словаря “Contact Language English Dictionary” который содержит более чем 60 различных возможностей трансляции с английского на сербский язык и обратно. Опубликовал несколько професиональных трудов.
Студенты Зоран Величков, Александр Тот и Неделько Чурич также приняли участие в развитии системы DEDUC путём своих дипломных и семинарных работ.
Благодарим всех которые нас поддерживали в многолетней разработке системы DEDUC.
Last modified: 01.03.2002 | |
Copyright© Deduc Web Team, 1999. |