Інфопакет

Теоретичні основи та методи розробки інформаційних систем

ОК.11

Обов’язкова дисципліна для ОП

Другий

2021/2022

2 Семестр

8

ПРН3. Знати і застосовувати базові концепції і методології моделювання інформаційних процесів. ПРН8. Проводити аналітичне дослідження параметрів функціонування програмних систем для їх валідації та верифікації, а також проводити аналіз обраних методів, засобів автоматизованого проектування та реалізації програмного забезпечення. ПРН11. Набувати нові наукові і професійні знання, вдосконалювати навички, прогнозувати розвиток

Очна форма

1. Знати: основи дискретної математики, математичної логіки та теорії алгоритмів, основи програмування, основні парадигми програмування. 2. Вміти: проектувати, розробляти, тестувати та верифікувати програми на базовому рівні. 3. Володіти елементарними навичками: програмування мовами C, C++, Java, Pyton.

Мета дисципліни – набуття знань, умінь та навичок (компетентностей) відповідно до кваліфікації фахівець з інформаційних технологій. Зокрема, розвивати: здатність до абстрактного мислення, аналізу та синтезу (ЗК01); здатність проведення теоретичних та прикладних досліджень на відповідному рівні; здатність розвивати і реалізовувати нові конкурентоспроможні ідеї в інженерії програмного забезпечення; здатність аналізувати предметні області, формувати, аналізувати та моделювати вимоги до програмного забезпечення; здатність проектувати програмне забезпечення, включаючи проведення моделювання його архітектури, поведінки та процесів функціонування окремих систем і модулів.

1. Глушков В.М., Цейтлин Г.Е, Ющенко Е. Л. Алгебра, язики, программирование. К.: Наукова думка, 1989. – 376 с. 2. Кривий С.Л. Скінченні автомати: теорія, алгоритми, складність. – Чернівці-Київ: Букрек. - 2020. – 427 с. 3. Thomas W. Automata on Infinite Objects. – Handbook of Theoretical and Computer Science. Ed by van Leeuven. - Elsevier Science Pablisherrs B.V. -1990. – 135- 194 p. 4. Clarke E., Grumberg O., Peled D. Верификация моделей програм: Model checking. – The MIT Press. – Cambridge, Massachusetts, London, England. -2001.- 376 p. 5. J.A. Anderson Automata theory with Modern Applicatiopns Cambridge University Press.- 2006. – 255 p. 6. Карпов Ю.Г. Model Checking: Верификация параллельных и распределенных систем. Санкт- Пет.: BXB. -2010. - 551 c.

Лекції, лабораторні заняття, самостійна робота, контрольні роботи, домашні завдання, захист лабораторних робіт, іспит.

- семестрове оцінювання: 1. Контрольна робота (тест) 1: РН 1.1,РН 1.2 - 10 балів/6 балів. 2. Контрольна робота (тест) 2: РН1.3 - 10 балів/6 бали. 3. Домашні завдання 1-7: РН 1.1,РН 1.2,РН1.3- 10 балів/6 балів. 4. Захист лабораторної роботи 1 (проекту): РН 2.1,РН3.1,РН4.1,РН4.2 – 11 балів/6 балів. 5. Захист лабораторної роботи 2 (проекту): РН 2.1,РН3.1,РН4.1,РН4.2 – 8 балів/5 балів. 6. Захист лабораторної роботи 3 (проекту): РН 2.1, РН3.1,РН4.1, РН4.2 – 11 балів/6 балів. Одну з форм контролю студент має право замінити на здачу сертифікату з можливістю отримання 9 балів. Для реалізації цього права студент повинен до 1.10 поточного року написати та прикріпити в classroom заяву зі своїм персональним підписом. - підсумкове оцінювання (у формі іспиту): - максимальна кількість балів: 40 балів; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1.

Українська