Назва навчальної дисципліни:"Математичні основи та технології створення програмних систем та алгоритмів"
Робоча програма навчальної дисципліни
Викладач:професор Hікітченко Микола Степанович, д.ф.-м.н.
Завдання для контрольної роботи
Література до курсу:
- Formal Program Development Methods: a textbook / A. Yu. Doroshenko, Ie. V. Ivanov, M. S. Nikitchenko, O. A. Yatsenko, K. A. Zhereb. – Kyiv: Publishing house of Taras Shevchenko National University of Kyiv, 2021.– 207 c.
- Нікітченко М.С. Теорія програмування. Підручник. (Видання друге, розширене) – Київ, 2021. – 269 с. (Розділи 1, 6, 7)
- M. Nikitchenko, A. Chentsov, Basics of Intensionalized Data: Presets, Sets, and Nominats, CSJM v.20, n.3 (60), 2012, 334–363.
- Eric C.R. Hehner. A Practical Theory of Programming 2020-2-1 edition, 250 p.
- Ken Robinson. System Modelling and Design Introduction to the B Method and B Toolkit Revision: 1.1, March 3, 2007
- Hillel Wayne, Introduction to TLI+.
