Кіріспе

Компьютерлік ғылым кафедрасы – Словакияның астанасы Братислава қаласындағы Коменский университетінің Математика, физика және информатика факультетінің құрамындағы кафедра. Оған профессор, ғылым кандидаты Бранислав Рован жетекшілік етеді.

Білім беру және ғылыми жетістіктер

Чехословакияда (қазіргі Словакия) алғашқы толыққанды компьютерлік ғылым оқу бағдарламасы 1973 жылы факультетте енгізілді. 1974 жылы құрылған кафедра осы күнге дейін компьютерлік ғылым бойынша бакалавриат және магистратура білімінің басым бөлігін ұйымдастыруға жауапты. Оқу бағдарламасының ерекшелігі – математикалық негіздерді, теориялық және практикалық информатиканы теңгермелі түрде қамтуы. Кафедраның қазіргі оқу бағдарламасы компьютерлік архитектура, жүйелік бағдарламалық қамтамасыз ету, компьютерлік желілер, деректер базалары, бағдарламалық жасақтаманы жобалау, алгоритмдерді жобалау және талдау, формальді тілдер, есептеу күрделілігі, дискретті математика, криптология, деректер қауіпсіздігі және тағы да басқа курстарды қамтиды. Кафедра бірнеше рет Еуроодақтың TEMPUS бағдарламасы шеңберінде жобаларға қатысты. CIPRO және «Ньюман желісі» жобалары кафедраның аппараттық инфрақұрылымын құруға, Unix жұмыс станциялары технологиясы, желілер және құрылымдалған құжаттарды өңдеу саласындағы біліктілікті дамытуға көмектесті. Словакия Техникалық университетінің Электротехника және информатика факультетінің Информатика кафедрасымен бірлесіп құрылған CUSTU PARLAB параллельді есептеу зертханасы да осы жобалардың бірінің нәтижесі болды. Бұдан бөлек, кафедра COPERNICUS бағдарламасы бойынша LEARN ED жобасына қатысып, мультимедиалық зертхана салды. Кафедра теориялық компьютерлік ғылымдағы Еуропаның жетекші конференцияларының бірі – MFCS – өтетін әр шараға қатысты. Кафедра жақында ұйымдастырған немесе бірлесіп ұйымдастырған басқа конференциялар: SOFSEM '98 және DISC '99. Сонымен қатар, кафедрада Теориялық компьютерлік ғылымдар жөніндегі Еуропалық қауымдастығы, Словакияның компьютерлік ғылымдар қоғамы және Ақпараттық технологиялар қауіпсіздігі қауымдастығының (ASIT) хатшылығы орналасқан.

Зерттеу тақырыптары

Теориялық компьютерлік ғылым мен дискретті математика саласындағы зерттеулер кафедрада ең ұзақ тарихқа ие. Әсіресе, Роберт Сзелепсейнінің толықтыру бойынша нондетерминистік кеңістіктің жабылуы туралы еңбегі, сондай-ақ Н. Иммерманның дербес алған нәтижесі, 1995 жылы екеуіне де ACM және EATCS Гёдель сыйлығын әкелді. Жақында ғана параллель және таратылған есептеулер, криптология және ақпараттық қауіпсіздік, сондай-ақ бағдарламалық жасақтаманы әзірлеу саласында зерттеулер басталды. Кафедра Euromath жобасы шеңберінде құрылымдық құжат редакторын дамыту бойынша халықаралық ынтымақтастыққа қатысады. Кафедраның көптеген халықаралық байланыстары бар, ЕО серіктестерімен бірлескен ғылыми жобаға қол жеткізді (ALTEC жобасы ? «Болашақ технологиялар үшін алгоритмдер» жобасы), сондай-ақ Словакиялық грант агентігінен екі зерттеу гранты алды.

Техникалық жабдықтар

20 жұмыс станциясынан (Sun, DEC және Hewlett Packard екі жұмыс станциясы зертханасында), 20 транспаутер және OS Parix жүйесі бар Parsytec, сондай-ақ желіге қосылған стандартты компьютерлерден тұратын желі.