عنوان
پدید آورنده
موضوع
رده
QA76.6 .M4854 2011eb
QA76
.
6
.
M4854
2011eb
کتابخانه
محل استقرار
شابک
شابک
0486280292
شابک
9780486280295
شابک اشتباه
0486478831
شابک اشتباه
9780486478838
عنوان و نام پديدآور
عنوان اصلي
An introduction to functional programming through Lambda calculus /
نام عام مواد
[Book]
نام نخستين پديدآور
Greg Michaelson.
وضعیت ویراست
وضعيت ويراست
Dover ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Mineola, N.Y. :
نام ناشر، پخش کننده و غيره
Dover Publications,
تاریخ نشرو بخش و غیره
©2011.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xv, 320 pages)
فروست
عنوان فروست
Dover books on mathematics
يادداشت کلی
متن يادداشت
Originally published: Workingham, England : Addison-Wesley, 1989.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Introduction -- 2. Lambda Calculus -- 3. Conditions, booleans, and numbers -- 4. Recursion and arithmetic -- 5. Types -- 6. Lists and Strings -- 7. Composite values and trees -- 8. Evaluation -- 9. Functional programming in Standard ML -- 10. Functional programming and LISP.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Introduction to functional programming through Lambda calculus.
شماره استاندارد بين المللي کتاب و موسيقي
9780486478838
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
Lambda calculus.
موضوع مستند نشده
COMPUTERS-- Programming-- Open Source.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- General.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- Tools.
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
Lambda calculus.
موضوع مستند نشده
MATHEMATICS-- General.
مقوله موضوعی
موضوع مستند نشده
COM-- 051230
موضوع مستند نشده
COM-- 051390
موضوع مستند نشده
COM-- 051440
رده بندی ديویی
شماره
005
.
1/14
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
.
M4854
2011eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Michaelson, Greg,1953-
مبدا اصلی
تاريخ عمليات
20200822114433.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
