自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(3)
  • 资源 (13)
  • 收藏
  • 关注

原创 lambda演算 [资料收集]

对于任何一个发展变化的数学(或物理)系统,只要赋于它的状态以一定的语义,将它从一个状态变换到另一个状态,这个变化过程就是一个演算过程。强人工智能主义者认为:人类思考问题,也是在做某种演算。 在经典的计算理论中,演算的最重要的性质就是机械性,这是“演算”的强大威力所在,也是其局限性所在。但是如果把演算的概念扩展到物理世界中,有可能能突破机械性的局限(量子图灵机)。 Lambda 演算

2009-03-13 21:11:00 995

转载 建立Debian下的编程环境之Scheme语言

建立Debian下的编程环境之Scheme语言一 简述使用哪种计算机变成语言来进行中小学的电脑编程教育是一个太容易引起太多争论的话题,过去大家争论的焦点主要集中在是Basic?是Pascal?是C?还是Java,现在我说要使用Scheme语言在中小学进行计算机编程教学那就马上会使原来争论的各方立马抛弃陈见,同仇敌忾地质问:Scheme语言是什么东西,他算老几?我们中国谁知道Scheme语言?我们中

2009-03-08 17:47:00 1165

原创 Scheme资料收集

 http://download.plt-scheme.org/drscheme/  http://schemecookbook.org/Cookbook/WebHome  http://students.depaul.edu/~csweeney/Guibuilder.Tutorial.html  http://www.bjug.org/wiki/ind

2008-12-30 10:02:00 589

A_Tour_of_Scheme_in_Gambit

A_Tour_of_Scheme_in_Gambit.pdf 加拿大蒙特利尔大学 gambit scheme 教程

2012-11-26

Guile Reference Manual

Guile Reference Manual Edition 2.0.6, revision 1, for use with Guile 2.0.6

2012-11-26

How to Design Worlds: Imaginative Programming in DrScheme

How to Design Worlds: Imaginative Programming in DrScheme

2012-11-26

the-childs-code-has-no-Guile

the-childs-code-has-no-Guile.pdf

2012-11-26

Lambda Calculus its Syntax and Semantics.djvu

Lambda Calculus its Syntax and Semantics.djvu 俄文版

2012-11-26

Picturing Programs an Introduction to Computer Programming

Picturing Programs an Introduction to Computer Programming.pdf

2012-11-26

Essentials of Programming Languages, Friedman, Wand, 3ed, MIT, 2008

Essentials of Programming Languages, Friedman, Wand, 3ed, MIT, 2008

2012-11-26

The Little schemer

The book is a new edition of The Little LISPer, Third Edition. We have substantially revised the existing material and added a chapter and a half. The book and its sequel, The Seasoned Schemer, appeared with MIT Press in December 1995. The chapter includes the discussion of the Y operator from "Why Y Works". Enjoy!

2012-11-26

HTDP 如何设计程序

How to Design Programs An Introduction to Computing and Programming Matthias Felleisen Robert Bruce Findler Matthew Flatt Shriram Krishnamurthi The MIT Press Cambridge, Massachusetts London, England

2012-11-26

emacs基本配置

emacs基本配置,网上收集整理资料而成。 emacs23

2012-11-26

mit-scheme的基本使用

sicp中使用的ide. 用法基本和emacs一样

2012-11-26

r7rs-draft-6 scheme

scheme r7rs 标准 http://scheme-reports.org/

2012-11-26

SICP 计算机程序的构造和解释pdf中文版

裘宗燕翻译的,传说中的“魔法书”,全名: Structure and Interpretation of Computer Programs,Second Edition      本书1984年出版(右图分别是第一,第二版封面),成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,本书对于计算机科学的教育计划产生了深刻的影响。本书自出版以来,世界各地已有100多所院校采用本书做教材,其中包括美国斯坦福大学、美国普林斯顿大学、英国牛津大学、日本东京大学等。

2009-07-21

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除