Математичні основи функціонального програмування
Вантажиться...
Дата
2009
Назва журналу
Номер ISSN
Назва тому
Видавець
СумДПУ імені А. С. Макаренка
Анотація
У статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням; проаналізовано, що застосування функціонального математичного програмування дозволяє описати обчислювальний процес у вигляді абстракцій функцій та їх аплікацій; доведено, що простота та легкість програм дозволяє розглядати можливість використання функціонального математичного програмування у процесі навчання основ програмування.
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.
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.
Опис
Ключові слова
основи програмування, абстрактний матеріал, формальна система, студент, константа, елемент, символ, bases of programming, abstract material, formal system, student, constant element, symbol
Бібліографічний опис
Мінтій, І. С. Математичні основи функціонального програмування [Текст] / І. С. Мінтій // Педагогічні науки: теорія, історія, інноваційні технології : науковий журнал / МОН України, Сумський держ. пед. ун-т ім. А. С. Макаренка ; [редкол.: А. А. Сбруєва, М. О. Лазарєв, В. І, Лозова та ін.]. – Суми : СумДПУ ім. А. С. Макаренка, 2009. – № 2. – С. 337–345.