- 博客(3)
- 资源 (13)
- 收藏
- 关注
原创 lambda演算 [资料收集]
对于任何一个发展变化的数学(或物理)系统,只要赋于它的状态以一定的语义,将它从一个状态变换到另一个状态,这个变化过程就是一个演算过程。强人工智能主义者认为:人类思考问题,也是在做某种演算。 在经典的计算理论中,演算的最重要的性质就是机械性,这是“演算”的强大威力所在,也是其局限性所在。但是如果把演算的概念扩展到物理世界中,有可能能突破机械性的局限(量子图灵机)。 Lambda 演算
2009-03-13 21:11:00 1008
转载 建立Debian下的编程环境之Scheme语言
建立Debian下的编程环境之Scheme语言一 简述使用哪种计算机变成语言来进行中小学的电脑编程教育是一个太容易引起太多争论的话题,过去大家争论的焦点主要集中在是Basic?是Pascal?是C?还是Java,现在我说要使用Scheme语言在中小学进行计算机编程教学那就马上会使原来争论的各方立马抛弃陈见,同仇敌忾地质问:Scheme语言是什么东西,他算老几?我们中国谁知道Scheme语言?我们中
2009-03-08 17:47:00 1181
原创 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 596
Guile Reference Manual
2012-11-26
How to Design Worlds: Imaginative Programming in DrScheme
2012-11-26
Lambda Calculus its Syntax and Semantics.djvu
2012-11-26
Picturing Programs an Introduction to Computer Programming
2012-11-26
Essentials of Programming Languages, Friedman, Wand, 3ed, MIT, 2008
2012-11-26
The Little schemer
2012-11-26
HTDP 如何设计程序
2012-11-26
SICP 计算机程序的构造和解释pdf中文版
2009-07-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人