Lambda 미적분학 학습을위한 몇 가지 자료는 무엇입니까? [닫은

Question

그래서 위키 백과 항목 람다 미적분학 흥미로 웠지만 나는 그것을 끝냈습니다. 나는 조금 더 깊이 다이빙하고 람다 미적분학을 더 잘 이해하고 싶습니다.

누구든지 람다 미적분학에 가장 적합한 책이나 입문서라고 생각하는 것을 추천 할 수 있습니까?

Answer 1

Wikipedia 항목으로 완료되면 온라인 링크를 따르십시오. 컴퓨터 프로그램의 구조 및 해석, 과제를 수행하거나 읽으십시오 그 책.

Answer 2

글쎄, 항상 있습니다 람다 미적분학 소개. 나는 그것을 몇 번 읽으려고했지만 항상 붙어있었습니다. 나는 이미이 것들의 대부분을 이미 알고 있다는 잔소리를 가지고 있으며 수학보다는 LISP/체계로 제시되면 이해하는 데 더 쉬운 시간을 가질 것입니다. 그래도 당신은 더 나은 행운을 가질 수 있습니다 :)

Answer 3

나는 "찾았다"컴퓨터 과학자를위한 Lambda Calculi 소개"Chris Hankin은 꽤 좋았지 만, 나는 실제로 한 수업에만 사용했습니다. 실제 세계에서는 사용하지 않았습니다 :)

Answer 4

Parser가 아닌 언어 구문의 빌드를 사용하여 기능적 언어로 이상적으로 Lambda Calculus Interpetter를 작성하십시오. 이것은 놀랍게도 쉽고 느낌을 향상시키는 좋은 방법입니다.

Answer 5

나는 최근 Amazon에서 AS라는 책을 샀다 "람다 미적분학을 통한 기능 프로그래밍 소개" Greg Michaelson에 의해. 기능 프로그래밍에 대한 소개이며 Lambda 미적분학도 소개합니다. 첫인상은 꽤 좋습니다. 자체적으로 포함되어 있고 읽기 쉬운 책. 여기 , PostScript에서 색인없이 무료 버전을 다운로드 할 수 있습니다.

Answer 6

람다 미적분학을 사용하고 이해하게 만든 책은 블랙번과 BOS의 "자연 언어에 대한 표현과 추론"이었습니다. 이 책은 Prolog를 사용한 자연 언어 처리에 관한 책입니다. 당신이 고려할 수있는 또 다른 책은 Allen의 "자연 언어 이해"입니다. 마지막으로, Lambda 미적분학을 좋아한다면 조합은 Lambda 표현으로 정의 될 수 있으므로 조합 논리를 즐길 수 있습니다. 이를 위해 나는 Smullyan의 퍼즐 책, "mockingbird를 조롱하기 위해"를 강력히 추천합니다. 마지막으로 그는 콤비네이터를 사용하여 기초 프로그래밍 언어를 구축합니다.

Answer 7

Lambda-Calculus 자체의 주제에 대한 언급은 여전히 Barendregt의 책.

그 외에도 그것은 당신이 관심있는 Lambda-Calculus의 "부분"에 달려 있습니다 : 타이핑? 증명 이론? 용어 재 작성? 기능적 프로그래밍?

이들 각각은 그 자체로 필드이며, 나는 그것을 모두 다루는 책을 모릅니다.

Answer 8

다음은 멋진 설명입니다 (체계 사용) : http://www.cs.brown.edu/courses/cs173/2002/lectures/2002-10-28-lc.pdf

그리고 여기에 멋진 비트 (내 블로그에서), 재귀 요인을 순수한 람다로 줄입니다.http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

재미있게 보내세요!