Інфопакет

Типи в мовах програмування

ОК.16

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

Другий

2022/2023

2 Семестр

3

ПРН07. Обґрунтовано обирати парадигми і мови програмування для вирішення прикладних завдань; застосовувати на практиці системні та спеціалізовані засоби, компонентні технології (платформи) та інтегровані середовища розробки програмного забезпечення. ПРН08. Проводити аналітичне дослідження параметрів функціонування програмних систем для їх валідації та верифікації, а також проводити аналіз обраних методів, засобів автоматизованого проектування та реалізації програмного забезпечення.

Очна форма

1. Знати: елементарні поняття з дискретної математики, основи об’єктно-орієнтованого програмування. 2. Вміти: програмувати на імперативній мові програмування. 3. Володіти елементарними навичками: з розробки програмного забезпечення.

Метою навчальної дисципліни є вивчення принципів, що закладаються в сучасні мови програмування для забезпечення розробки надійніших та якісніших програмних систем. В результаті вивчення навчальної дисципліни студент повинен: знати теоретичні основи систем типів сучасних мов програмування, підходи до обґрунтування формальних властивостей обчислювальних систем; вміти ефективно користуватися параметризованими програмними компонентами на рівні прикладного програміста, застосовувати нетривіальні прийоми програмування, що базуються на використанні типів.

1. Pierce B. Types and Programming Languages / Pierce B. – Massachusetts: MIT Press, 2002. – 645p. 2. Cardelli L. On Understanding Types, Data Abstraction, and Polymorphism / Luca Cardelli and Peter Wegner // ACM Comput. Surv. – 1985. – vol. 17, no.4. — Pp. 471–522. 3. Stepanov A. Elements of programming / Alexander Stepanov, Paul Mc Jones. – Addison-Wesley, 2009. – 288 p. 4. Stepanov A. From mathematics to generic programming / Alexander A. Stepanov, Daniel E. Rose. – Addison-Wesley, 2014. – 320 p. 5. Backhouse R. et al. Generic Programming: An Introduction // Advanced Functional Programming Third International School. Braga, Portugal. – 1998. – Pp. 28–115. 6. Gibbons J. Datatype-generic programming / J. Gibbons. // Lecture Notes in Computer Science. – 2007. – vol. 4719. – Pp. 1–71.

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

- семестрове оцінювання: 1. Контрольні роботи 1-3: РН 1.1, РН 1.2, РН 2.2 — 40 балів. 2. Тест: РН 1.1, РН 1.2 — 30 балів/15 балів. 3. Індивідуальне завдання — 30 балів/18 балів. - підсумкове оцінювання залік проводиться за сумарними результатами контрольних заходів та роботи на заняттях.

Українська