عنوان
پدید آورنده
موضوع
رده
QA9.5 B947 1995
QA9
.
5
B947
1995
کتابخانه
محل استقرار
شابک
شابک
1461242681
شابک
1461287162
شابک
9781461242680
شابک
9781461287162
شماره کتابشناسی ملی
شماره
b558342
عنوان و نام پديدآور
عنوان اصلي
The Combinatory Programme
نام عام مواد
[Book]
نام نخستين پديدآور
by Erwin Engeler.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA
نام ناشر، پخش کننده و غيره
Birkhäuser Boston
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
(156 pages)
فروست
عنوان فروست
Progress in theoretical computer science.
یادداشتهای مربوط به مندرجات
متن يادداشت
I. Historical and Philosophical Background --;1. From Protologics to Combinatory Algebras --;2. A Brief Recapitulation of Combinatory Algebra --;3. An Algebraization of Universal Algebra --;4. Objects Reflected in Their Properties --;II. An Algebraization of Universal Algebra --;Axiomatic Extensions --;Aspects of Universal Algebra in Combinatory Logic --;Remarks on an Algebraic Theory of Recursive Degrees --;III. An Algebraization of Algorithmics --;An Algebraization of Hierarchical and Recursive Distributed Processes --;Algebra of Approximate Computation --;IV. Relations to Logical Computer-Algebraic Calculi --;Solving Discontinuous Differential Equations --;Types and Consistency --;References.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatorial analysis.
موضوع مستند نشده
Computer science -- Mathematics.
موضوع مستند نشده
Computer science.
رده بندی کنگره
شماره رده
QA9
.
5
نشانه اثر
B947
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Erwin Engeler.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Erwin Engeler
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
