Математична логіка та програмування. Досвід викладання

У Київському національному університеті імені Тараса Шевченка кафедрою теорії та технології програмування факультету комп'ютерних наук та кібернетики видано друком збірку теоретичних та теоретико-ужиткових праць «Математична логіка та програмування. Досвід викладання», оформлену під грифом колективної монографії.

До збірки увійшли, зокрема, тексти, що відображають доповіді, виголошені на цьогорічному семінарі «Логіка та її застосування», організованому й проведеному Українським логічним товариством у рамках відзначення 4-го Всесвітнього дня логіки 14 січня.

Швидкий плин сучасних інформаційних технологій безпосередньо має вплив на ринок праці майбутніх ІТ-фахівців.

В монографії «Математична логіка та програмування. Досвід викладання» розглянуто питання організації освітньої діяльності майбутніх фахівців галузі інформаційних технологій. В монографію ввійшли статті, подані на семінарах кафедри теорії та технології Київського національного університету імені Тараса Шевченка та семінарах Українського логічного товариства.

Зокрема, в першому розділі: описується трирівневий підхід, який розглядає основні поняття логіки на трьох рівнях: методологічному (філософському), професійному (науковому) та формальному (математичному), що дозволяє продемонструвати розвиток основних понять логіки, специфікувати їх для кожного рівня розгляду, та вказати зв’язки понять різних рівнів; розглядається концепція викладання навчальної дисципліни «Математична логіка» на основі спільного для логіки й програмування композиційно-номінативного підходу, де особливістю викладання є семантико-синтаксична спрямованість матеріалу; пропонується новий підхід до експлікації поняття алгоритму, який базується на уточненні поняття обчислювальної процедури та звуженні його до поняття алгоритму.

Другий розділ охоплює кілька методів перевірки програмного забезпечення, який вивчається в курсі «Верифікація та валідація програмних систем», зокрема, формальних методів доведення правильності програм; досліджує можливість уточнення та класифікації змінних в імперативних програмах, базуючись на понятті іменованих елементів та виокремленні двох
різних рівнів абстракції; визначено основні архітектурні засади та надано основні фрагменти програмної реалізації web-фреймворку Miniature; проведено порівняльний аналіз з деякими промисловими потужними web-фреймворками; описано концепцію викладання обов’язкової навчальної дисципліни «Об’єктно-орієнтоване програмування» для студентів факультету комп’ютерних наук та кібернетики, що навчаються на першому (бакалаврському) рівні вищої освіти за освітньо-професійною програмою «Інформатика»; присвячено огляду основних факторів, які впливають на формування сучасного ринку мобільної розробки та зосереджено увагу на змісті навчальних курсів з мобільної розробки, на прикладі, викладання курсу «Розробка ПЗ під мобільні платформи» в Київському національному університеті імені Тараса Шевченка.

В третьому розділі монографії представлено порівняльний аналіз обов’язкових дисциплін освітньо-професійної програми «Інформатика» першого (бакалаврського) рівня вищої освіти галузі знань 12 «Інформаційні технології», спеціальності 122 «Комп’ютерні науки», викладання яких забезпечується кафедрою теорії та технології програмування факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка з дисциплінами освітньо-професійних програм того ж рівня та спеціальності інших закладів вищої освіти; розглянуто методичні питання впровадження міждисциплінарних зв’язків у навчальний процес закладів вищої освіти, зокрема інтеграційному підходу при вивченні дисциплін «Методи специфікації програм», «Коректність програм та логіки програмування» та «Інструментальні середовища та технології програмування» галузі інформаційних технологій.

Колектив авторів сподівається, що матеріали монографії можуть бути використані в освітньому процесі при підготовці фахівців галузі знань 12 «Інформаційні технології», спеціальності 122 «Комп’ютерні науки» та буде корисними для науковців, викладачів, аспірантів й студентів закладів вищої освіти.