Please use this identifier to cite or link to this item:
http://repository.sspu.edu.ua/handle/123456789/8170| Title: | Математичні основи функціонального програмування |
| Other Titles: | Mathematical Foundations of Functional Programming |
| Authors: | Мінтій, Ірина Сергіївна Mintii, Iryna Serhiivna |
| Keywords: | основи програмування абстрактний матеріал формальна система студент константа елемент символ bases of programming abstract material formal system student constant element symbol |
| Issue Date: | 2009 |
| Publisher: | СумДПУ імені А. С. Макаренка |
| Citation: | Мінтій, І. С. Математичні основи функціонального програмування [Текст] / І. С. Мінтій // Педагогічні науки: теорія, історія, інноваційні технології : науковий журнал / МОН України, Сумський держ. пед. ун-т ім. А. С. Макаренка ; [редкол.: А. А. Сбруєва, М. О. Лазарєв, В. І, Лозова та ін.]. – Суми : СумДПУ ім. А. С. Макаренка, 2009. – № 2. – С. 337–345. |
| Abstract: | У статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням; проаналізовано, що застосування функціонального математичного програмування дозволяє описати обчислювальний процес у вигляді абстракцій функцій та їх аплікацій; доведено, що простота та легкість програм дозволяє розглядати можливість використання функціонального математичного програмування у процесі навчання основ програмування. The article established the correspondence between the formal system of λ-calculus and functional programming, analysis, the use of functional mathematical programming to describe the calculated process as an abstraction functions and their applications, it is proved that simplicity and ease of application to consider the use of mathematical operate programming in teaching students the basics of programming. |
| URI: | http://repository.sspu.edu.ua/handle/123456789/8170 |
| Appears in Collections: | Педагогічні науки: теорія, історія, інноваційні технології |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Mintii.pdf | 316,54 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.