ما هي بعض الموارد من أجل التعلم امدا حساب التفاضل والتكامل ؟ [مغلقة]

Question

حتى ويكيبيديا على امدا حساب التفاضل والتكامل كان مثيرا للاهتمام ولكن لقد انتهى الأمر.أود أن الغوص أعمق قليلا والحصول على فهم أفضل امدا حساب التفاضل والتكامل.

يمكن لأي شخص أن يوصي إلى أفضل كتاب أو التمهيدي إلى امدا حساب التفاضل والتكامل ؟

Answer 1

إذا كنت فعلت مع مقالة ويكيبيديا ، اتبع لها رابط على الانترنت هيكل وتفسير برامج الكمبيوتر, هل المهام ، أو قراءة الكتاب.

Answer 2

حسنا، هناك دائما <لأ href = "http://web.archive.org/web/20170809103332if_/http://gpl.internetconnection.net/mirror-lambda-calculus.pdf" يختلط = "نوفولو noreferrer" > مقدمة لامدا حساب التفاضل والتكامل . لقد حاولت قراءته عدة مرات، ولكن دائما متورطون. لدي شعور المزعجة التي سبق لي أن أعرف معظم هذه الأشياء، وربما يكون أسهل من الوقت فهم ذلك إذا تم تقديمه من حيث اللثغة / الخطة بدلا من الرياضيات. قد يكون لديك أفضل حظا، على الرغم من:)

Answer 3

ولقد وجدت " مقدمة لامدا حسابات التفاضل والتكامل للعلماء الحاسوب " من قبل كريس هانكين أن تكون جيدة جدا، ولكن أنا فقط حقا استخدامه لفئة واحدة - لا تستخدم في العالم الحقيقي:)

Answer 4

وحاول كتابة interpetter امدا حساب التفاضل والتكامل، من الناحية المثالية في لغة وظيفية تستخدم في بناء جملة من اللغة وليس عن طريق محلل. هذا في غاية السهولة وسيلة جيدة لتحسين المظهر الخاص بك لذلك.

Answer 5

واشتريت مؤخرا كتابا من موقع أمازون بعنوان "مقدمة إلى البرمجة الوظيفية من خلال امدا حساب التفاضل والتكامل " من قبل غريغ مايكلسون. هو أكثر من مقدمة إلى البرمجة الوظيفية ويدخل أيضا امدا حساب التفاضل والتكامل. الانطباع الأول هو جيد جدا. بذاته وسهلة لقراءة الكتاب. هنا ، يمكنك تحميل نسخة مجانية من دون مؤشر في بوستسكريبت.

Answer 6

وكان الكتاب الذي جعل لي حقا البدء في استخدام وفهم امدا حساب التفاضل والتكامل "التمثيل والاستدلال للغة الطبيعية" بلاكبيرن وبوس. هذا هو كتاب حول معالجة اللغات الطبيعية باستخدام حاسوب. كتاب آخر قد نظر هو "فهم اللغة الطبيعية" التي كتبها ألين. وأخيرا، إذا كنت ترغب امدا حساب التفاضل والتكامل، هل من المحتمل أيضا التمتع منطق توافقي، كما يمكن تعريف combinators كتعبير امدا. لهذا، وإنني أوصي بشدة كتاب Smullyan من الألغاز، "لموك الطائر المحاكي". نحو النهاية انه يستخدم combinators لبناء لغة برمجة بدائية.

Answer 7

أعتقد أن الإشارة في موضوع لامدا-حساب التفاضل والتكامل لا يزال هو نفسه Barendregt كتاب.

أبعد من ذلك إلى حد كبير يعتمد على ما "جزء" من لامدا-حساب التفاضل والتكامل كنت ترغب في :كتابة ؟ إثبات النظرية ؟ مصطلح إعادة كتابة ?البرمجة الوظيفية ?

كل من هذه هو حقل في حد ذاته, وأنا لا أعرف من أي كتاب يغطي كل شيء.

Answer 8

وهنا شرح لطيف (باستخدام نظام): <وأ href = "http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf" يختلط = "نوفولو"> http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

وهنا قليلا أنيق (من وجهة نظري بلوق)، والحد من مضروب عودي إلى lambdas النقي: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

والمتعة!