عنوان

Funtional Programming Languages in Education :

شابک

3540492526

شابک

3540606750

شابک

9783540492528

شابک

9783540606758

شماره

b566354

عنوان اصلي

Funtional Programming Languages in Education :

نام عام مواد

[Book]

ساير اطلاعات عنواني

First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings

نام نخستين پديدآور

edited by Pieter H. Hartel, Rinus Plasmeijer.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

1995

نام خاص و کميت اثر

: v.: digital

عنوان فروست

Lecture notes in computer science, 1022.

متن يادداشت

Elementary strong functional programming --; Introducing computer science undergraduates to principles of programming through a functional language --; Teaching C after Miranda --; Requirements for an ideal first language --; A second year course on data structures based on functional programming --; Functional programming through the curriculum --; Experiences in teaching large scale functional programming --; Functional programming and mathematical objects --; Explaining algebraic theory with functional programs --; Inducing students to induct --; Conceptual structures for recursion --; Teaching functional circuit specification in Hydra --; Functional programming in a basic database course --; Using?-RED as a teaching tool for functional programming and program execution --; Compiler construction using scheme --; Basic proof skills of computer science students --; The Dys-functional student.

متن يادداشت

This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer Science.

موضوع مستند نشده

Logic design.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Pieter H. Hartel, Rinus Plasmeijer.

مستند نام اشخاص تاييد نشده

M J Plasmeijer

مستند نام اشخاص تاييد نشده

Pieter H Hartel

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y