DEDUC – SZERZÕK ÉS MUNKATÁRSAK

Hotomski Petar, matematikai tudomány doktor, az Újvidéki egyetem rendszeres tanára, 1944-ben született Jaša Tomić-on. A Matematikai egyetemet Bélgrádban fejeztte be 1967-ben. Magisztrált 1970-ben, ugyanazon az egyetemen a következõ témával: „Az algébra logika funkciók minimizácioja és a programi algoritmikus módszerei”. Doktori disszertáciot „Módszerek és szabályok a mehanikai teoréma bizonyitása az elsõrendü elméletekben a matematikai indukcioval” megvédte 1982-ben a Bélgrádi Matematikai egyetemen. Az elméleti eredményeket alkalmazta az elsõ Rezolucios teoréma bizonyitóban, matematikai indukcioval és szimetriával, országunkban, a „GRAPH” ekszpert rendszer keretében, FORTRAN-ban. Közhiré tett felúl 170 tudományos és szakszerû munkákat az országban meg külföldön. Munkaviszonyban van a „Mihajlo Pupin” Müszeki egyetemen Zrenjaninban mint elöadó a következõ tantárgyakból: „Matematikai logika és elvi programálás” és a „Mesterségi értelmességi rendszerek”.

Szerzõje a DEDUC rendszer koncepciójának és elméleti megoldásainak. Vezetöje ennek a projektumnak.

Berkovic Ivana, müszaki tudomány doktor – informatika az oktatásban, docens az Újvidéki egyetemen, 1962-ben született Zrenjaninban. Befejeztte a Természeti – matematikai egyetemet Újvidéken 1986-ban. Magisztrált 1994-ben, Zrenjaninban a „Mihajlo Pupin” Müszaki egyetemen a következõ témával: „Váltakozó sztratégiák az oktatás rendszerben automatikus teoréma bizonyitásának”. A doktori diszertáció témája „Deduktiv alapok az ábrázolási nyelvek fejlõdésének logikai programálása”, amit 1997-ben megvédett Zrenjaninban a „Mihajlo Pupin” Müszaki egyetemen. Elméleti eredményeket alkalmazta az Automatikus teoréma bizonyitó (ATB) rendszerben az automatikus gondolkodásra, a PASCAL-ban. Közhiré tett felúl 40 tudományos és szakszerû munkákat. Munkaviszonyban van a Zrenjanini „Mihajlo Pupin” Müszeki egyetemen, mint docens a következõ tantárgyakból: „Matematikai logika a müszaki rendszerekben” és a „Számitogépi grafika”. Szerzõje a deduktiv mehanizmusnak a DEDUC rendszerben.

Prohaska Dragan, mérnök, informatikai magiszter, született 1955-ben Orlovatban. Befejeztte a Erdészeti egyetemet 1979-ben, Bélgrádban. Magisztrált 1994-ben a Zrenjanini „Mihajlo Pupin” Müszaki egyetemen e témával: „Deduktiv modszer az általános kombinácios rendszereknek és az õ programi algoritmizácioja”. Elméleti eredményeket alkalmazta az „Elsõ” DEDUC rendszer verziojába, a FOX-PRO-ban. Közhiré tett tizenvalahány tudományos és szakszerû munkákat. Mint munkavezetõ dolgozik a Zrenjanini postán. Segitõtárs több eszme megoldásnak és szerzöje az elõkészitési meg az eredményi résznek a DEDUC rendszerben: alap adatok, használati interfejsz az elfogadó adatokra és követelményekre, képernyõs áttekintések és kidolgozott rendszer nyomtatása.

Divjak Nedeljko, A Zrenjanini „Mihajlo Pupin” Müszaki egyetemet fejeztte be 2000-ben. Zrenjaninban született 1973-ban. Kifejlesztte és alkalmazta a különos PIT-módszert a „zárt világban”. Közhiré tett több tiz tudományos és szakszerû munkákat. Segitõtárs több eszmei megoldásoknak, szerzûje a kidolgozott részeknek a DEDUC rendszerben: inicijális megtöltés, elhelyezés, optimizácio a diákok és tanárok szüneteinek, egyenletös órarendszer. Kihasználva az objektiv hozáálást, beépitet egész sor heurisztikai iterativ procedúrákat és védelmezû részt a DEDUC program rendszerben.

Radulovic Biljana, müszaki tudomány doktor – informatika az oktatásban, dipl.ecc., docens az Újvidéki egyetemen, 1966-ban született Zrenjaninban. Magisztrált 1993-ban a Zrenjanini „Mihajlo Pupin” Müszaki egyetemen e témával: „Metodologiai fejlõdés a softver felértékelésben amelyek a bázisos adatok az informácio rendszer mûvelõdési intézmenyekben kezelnek”. Megvédte a doktori diszertáciot: „A bázis adatok tervezése az oktatási számitógépi programok területében” a Zrenjanini „Mihajlo Pupin” Müszaki egyetemen, 1998-ban. Elméleti eredményeket beépitet a BASELOG rendszerben, amely õsszeköti a „zárt világot” PROLOG-ban meg a DATALOG-ban a „nyilt világ” koncepcioval az ATB-rendszerben. Közhiré tett felül 25 tudományos és szakszerû munkát. Munkaviszonyban van a Zrenjanini „Mihajlo Pupin” Müszaki egyetemen mint docens. A tantárgyai „Bázis adatok” és „Tájékoztatási rendszerek”. A DEDUC projektumban szak-konszultácios funkcioja van és még elvégez titkári és komercijális dolgokat is.

Radisic Duško, A Zrenjanini „Mihajlo Pupin” Müszaki egyetemet fejeztte be 2001-ben. Zrenjaninban született 1972-ben. Szerzõje a „Contact Language English Dictionary” program csomagnak amelyik felül 60 különbözõ kapcsolati lehetösége az angol és szerb szók között van. Közhiré tett valahány szakszerû munkákat. Kidolgoszta és beépitette a DEDUC rendszer védelmét a jogeleni másolattól és sokszorosítástol.

Home