Kemin | 本博客只发技术内容,更多在sugeladi.net/kemin

己欲立而立人,己欲达而达人。

排序:
默认
按更新时间
按访问量

理解计算

随着计算机日益广泛而深刻的运用,计算这个原本专门的数学概念已经泛化到了人类的整个知识领域,并上升为一种极为普适的科学概念和哲学概念,成为人们认识事物、研究问题的一种新视角、新观念和新方法。 什么是计算与计算的类型 在大众的意识里,计算首先指的就是数的加减乘除,其次则为方程的求解...

2011-03-28 23:56:00

阅读数:1363

评论数:0

思维种种(头脑风暴)

野鹤鹤说 当我们一觉醒来,显意识开始占领我们的大脑一整天,开始如程序执行一般的意识流活动。我好奇这种意识流的过程是怎么样的,并且是什么东西左右意识流的去向。 我没时没刻不在思考,信息从大脑长记忆和感官两侧轮番上了我们的那七小块临时记忆(内存),左右着我们的日常行为,但是我们没有一刻思考过思考...

2011-03-04 22:01:00

阅读数:1550

评论数:0

提高学习效率的方法二——掌握完备概念内涵的方法 rev#2

提高学习效率的方法二——掌握完备概念内涵的方法刘建文(http://blog.csdn.net/keminlau)key: 学习方法 逻辑学 概念 引子概念是知识的基本单位,是人们一定阶段认识的总结,是人们认识成果的结晶。任何科学研究的成果,都要以概念的形式固定下来。固定概念的实体形式一般有字典、...

2010-05-20 01:13:00

阅读数:1602

评论数:5

从语言学、逻辑学和系统论的角度看CSS

从语言学、逻辑学和系统论的角度看CSS刘建文(http://blog.csdn.net/keminlau)key: 语言学 逻辑学 系统论 CSS 引子CSS是一种文档样式描述的语言。作为一种语言,CSS会有语言的基本要素,比如语法、语义;另外,用CSS编写的“程序”是一种声明式语言程序,这种逻...

2010-05-09 02:41:00

阅读数:1921

评论数:2

信息、状态和控制的关系(头脑风暴)

信息、状态和控制的关系(头脑风暴)刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言  信息、状态和控制的关系 计算的两本质元素是,第一,状态的操控;第二,操控的时间流程。 接着要计算什么,然后涉及[状态的表达]和[操控流...

2010-01-29 19:54:00

阅读数:783

评论数:0

有限记忆程序与有限状态换能机器

有限记忆程序与有限状态换能机器译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Preface ...

2009-12-19 19:28:00

阅读数:1246

评论数:1

状态与信息

状态与信息刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 编程语言 状态是什么State (computer science) From Wikipedia, the free encyclopediaIn computer science...

2009-12-19 16:03:00

阅读数:914

评论数:0

计算、程序和机器

计算、程序和机器译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Preface 计算(Compu...

2009-12-13 00:38:00

阅读数:1192

评论数:0

从信息处理的角度看计算、语言和程序

从信息处理的角度看计算、语言和程序译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Chapter...

2009-10-22 23:02:00

阅读数:4569

评论数:4

语言、推理和计算

语言、推理和计算刘建文(http://blog.csdn.net/keminlau)近一年以来断断续续思考及计算、语言和推理的思考碎片。偶尔写一句不算什么,日积月累就这么多。翻回这些以前写下的东西,我有了一种新的体会,就是大脑淡忘性很明显,温故而知新,复习加整理是学习很重要的一部分。语言、推理和计...

2009-04-22 23:12:00

阅读数:1365

评论数:0

“计算作为一门学科”的定义

“计算作为一门学科”的定义摘自:《Computing as a discipline 》刘建文略译(http://blog.csdn.net/keminlau) A DEFINITION OF COMPUTING AS A DISCIPLIN Computer science and engin...

2008-12-07 09:54:00

阅读数:3955

评论数:0

算法与数据结构:计算的科学

算法与数据结构:计算的科学摘自:《Algorithms and Data Structures: The Science of Computing 》by Douglas Baldwin and Greg W. Scragg刘建文略译(http://blog.csdn.net/keminlau)...

2008-11-23 12:18:00

阅读数:1617

评论数:1

有限自动机

有限自动机摘自《Finite Automata 》by Mark V. Lawson刘建文略译(http://blog.csdn.net/keminlau)Published in: book Finite AutomataIntroductionThe theory of finite auto...

2008-11-17 00:51:00

阅读数:1870

评论数:1

类型系统

类型系统摘自《Types and Programming Languages 》by Benjamin C. Pierce 刘建文略译(http://blog.csdn.net/keminlau)1.1 Types in Computer Science Modern software eng...

2008-11-08 11:21:00

阅读数:1637

评论数:0

论软件架构

论软件架构An Introduction to Software Architecture摘自CAS 747: Software Architecture and Reverse Engineering Winter 2006BY David Garlan and Mary Shaw刘建文略译(h...

2008-08-31 17:20:00

阅读数:2112

评论数:2

集合与数理逻辑哪个更基础?

 大部分的离散数学图书第一章不是集合论就是数理逻辑,那到底是集合论基础一点还是数理逻辑基础一点?从这个粗略的结构图可以初步看出来,集合与逻辑是两种不同的基础,没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念;逻辑推理则为形成这样的结构提...

2008-07-30 00:32:00

阅读数:1263

评论数:0

(译)为什么要学习人工语言——一阶逻辑

译自《LANGUAGE, PROOF AND LOGIC》 http://www.douban.com/subject/1900408/Why learn an artificial language? This language of frst-order logic is very impor...

2008-07-02 00:37:00

阅读数:2756

评论数:1

我为数学说“公道话”

    前段时间闲逛豆瓣,搜了下有没有其它的数学小组,没想到发现了三大“反”数学小组。进去一看,组员们骂数学时措辞之“犀利”,污辱数学的伎俩之多流可谓让人汗颜,可见其恨数学之情甚深,于是心血来潮写下了以下这一小帖,当一回“和事佬”, 希望能为传播数学知识作一点微薄之力。    我一开始很奇怪帖子发...

2008-06-30 18:29:00

阅读数:1381

评论数:2

数学到底有什么用?

本帖内容摘自我在豆瓣上给题为《告诉我 数学到底有啥用?》的问题的回复的内容。转发到这里是因为它引证了我博客的副标题——笔头是新思想的包装。说是新思想可能会不符,但是说是对思想的包装应该没人会有异议。研习数学和语言两个月后,这些内容算是对头脑中的部分感性材料作了重新的组织和逻辑处理(也就是认知论理的...

2008-06-13 23:34:00

阅读数:1498

评论数:2

两种笔记——写的与画的(思维导图初用感觉)

很早前就知道思维导图这玩意了。但一直“不会用”,或者说用不上,所以搁下不搭理它好久了。这几天开始“挖”到了形式逻辑,发现阅读过程中有相当多的相关概念光用文字笔记不够用,于是想起这个软件——freemind。用它画了下面这个图,感觉如传闻一样,概念关系清晰明了。在网上查了下思维导图相关的资料,发现原...

2008-05-23 00:26:00

阅读数:2690

评论数:0

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