Гість університету – Нікітченко Микола Степанович |
|
16.04.2014 |
||||
 У Мелітопольському державному педагогічному університеті імені Богдана Хмельницького 16 квітня 2014 року пройшла відкрита лекція завідувача кафедри теорії та технології програмування Київського національного університету імені Тараса Шевченка, Лауреата Державної премії України в галузі науки і техніки, доктора фізико-математичних наук, професора Нікітченка Миколи Степановича.
Нікітченко Н.С. був учасником багатьох міжнародних конференцій у різних країнах світу (Амстердам, Варшава, Гамбург, Кіль, Копенгаген, Москва, Мюнстер, Новосибірськ). Він є одним з організаторів міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» (TAAPSD'2004). Був членом програмного комітету Міжнародного конгресу з Формальних методів (Франція, 1999), конференції VDM'90. З 1995 року є членом програмного комітету Міжнародних конференцій по базах даних та інформаційних систем (ADBIS). Є членом редакційної колегії «Журналу з логічного і алгебраїчного програмування» (The Journal of Logic and Algebraic Programming, видавництво ELSEVIER), членом Європейської асоціації Теоретичних комп'ютерних наук (EATCS) та Асоціації символьної логіки (ASL).
Слухачами лекції були студенти факультету інформатики, математики та економіки і викладачі кафедри інформатики і кібернетики. Лекція Миколи Степановича передбачала не тільки викладання матеріалу, а й обговорення проблемних питань, залучення студентів у активну участь у постановці проблем і пошуків їх рішень, викликала жвавий інтерес серед присутніх.
|
