数学、逻辑和计算理论
文章平均质量分 81
keminlau
这个作者很懒,什么都没留下…
展开
-
再练知言—“数学好玩”(摘)
http://www.mathren.com/n145c12.aspx张景中访谈录 [日期:2006-06-21] 来源:《人民网》 作者: 时 间:5月24日下午2时30分嘉 宾:数学家科普作家张景中院士主持人:人民网记者陈玉川主 题:中国科协七大“转载 2006-08-30 19:21:00 · 1956 阅读 · 0 评论 -
数学到底有什么用?
本帖内容摘自我在豆瓣上给题为《告诉我 数学到底有啥用?》的问题的回复的内容。转发到这里是因为它引证了我博客的副标题——笔头是新思想的包装。说是新思想可能会不符,但是说是对思想的包装应该没人会有异议。研习数学和语言两个月后,这些内容算是对头脑中的部分感性材料作了重新的组织和逻辑处理(也就是认知论理的概念同化和格局调节),以自己理解的方式用语言表达出来,也可以说是逻辑学所指的感性认识上升为理性原创 2008-06-13 23:34:00 · 1672 阅读 · 2 评论 -
(译)为什么要学习人工语言——一阶逻辑
译自《LANGUAGE, PROOF AND LOGIC》 http://www.douban.com/subject/1900408/Why learn an artificial language? This language of frst-order logic is very important. Like Latin, the language is not spoke翻译 2008-07-02 00:37:00 · 3489 阅读 · 1 评论 -
我为数学说“公道话”
前段时间闲逛豆瓣,搜了下有没有其它的数学小组,没想到发现了三大“反”数学小组。进去一看,组员们骂数学时措辞之“犀利”,污辱数学的伎俩之多流可谓让人汗颜,可见其恨数学之情甚深,于是心血来潮写下了以下这一小帖,当一回“和事佬”, 希望能为传播数学知识作一点微薄之力。 我一开始很奇怪帖子发了好几天没有回复,最后好不容易有人回复,说他们也知道数学的重要,只是在这小组发发对数学的牢骚而已。原创 2008-06-30 18:29:00 · 1506 阅读 · 2 评论 -
类型系统
类型系统摘自《Types and Programming Languages 》by Benjamin C. Pierce 刘建文略译(http://blog.csdn.net/keminlau)1.1 Types in Computer Science Modern software engineering recognizes a broad range of form翻译 2008-11-08 11:21:00 · 1962 阅读 · 0 评论 -
有限自动机
有限自动机摘自《Finite Automata 》by Mark V. Lawson刘建文略译(http://blog.csdn.net/keminlau)Published in: book Finite AutomataIntroductionThe theory of finite automata is the mathematical theory of a si翻译 2008-11-17 00:51:00 · 2147 阅读 · 1 评论 -
算法与数据结构:计算的科学
算法与数据结构:计算的科学摘自:《Algorithms and Data Structures: The Science of Computing 》by Douglas Baldwin and Greg W. Scragg刘建文略译(http://blog.csdn.net/keminlau)Charles River Media © 2004 (640 pages)翻译 2008-11-23 12:18:00 · 1852 阅读 · 1 评论 -
“计算作为一门学科”的定义
“计算作为一门学科”的定义摘自:《Computing as a discipline 》刘建文略译(http://blog.csdn.net/keminlau) A DEFINITION OF COMPUTING AS A DISCIPLIN Computer science and engineering is the systematic study of algorit翻译 2008-12-07 09:54:00 · 5301 阅读 · 0 评论 -
语言、推理和计算
语言、推理和计算刘建文(http://blog.csdn.net/keminlau)近一年以来断断续续思考及计算、语言和推理的思考碎片。偶尔写一句不算什么,日积月累就这么多。翻回这些以前写下的东西,我有了一种新的体会,就是大脑淡忘性很明显,温故而知新,复习加整理是学习很重要的一部分。语言、推理和计算2007年7月4日 16:14 创造一种“通用的科原创 2009-04-22 23:12:00 · 1645 阅读 · 0 评论 -
从信息处理的角度看计算、语言和程序
从信息处理的角度看计算、语言和程序译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Chapter 1 GENERAL CONCEPTS Computations翻译 2009-10-22 23:02:00 · 4906 阅读 · 4 评论 -
信息、状态和控制的关系(头脑风暴)
信息、状态和控制的关系(头脑风暴)刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言 信息、状态和控制的关系 计算的两本质元素是,第一,状态的操控;第二,操控的时间流程。 接着要计算什么,然后涉及[状态的表达]和[操控流的有目的安排],前者是数据,后者是程序。 计算主体与计算客体原创 2010-01-29 19:54:00 · 1045 阅读 · 0 评论 -
计算、程序和机器
计算、程序和机器译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Preface 计算(Computations)是为解题而设计的。程序(Programs)原创 2009-12-13 00:38:00 · 1417 阅读 · 0 评论 -
状态与信息
状态与信息刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 编程语言 状态是什么State (computer science) From Wikipedia, the free encyclopediaIn computer science and automata theory, a state is a原创 2009-12-19 16:03:00 · 1277 阅读 · 0 评论 -
有限记忆程序与有限状态换能机器
有限记忆程序与有限状态换能机器译自:《An Introduction to the Theory of Computation》by Eitan Gurari刘建文略译(http://blog.csdn.net/keminlau ) KEY:信息处理 计算理论 形式语言 编程语言Preface 计算(Computations)是为解题而设计的。程序(Progr原创 2009-12-19 19:28:00 · 1546 阅读 · 1 评论 -
从语言学、逻辑学和系统论的角度看CSS
从语言学、逻辑学和系统论的角度看CSS刘建文(http://blog.csdn.net/keminlau)key: 语言学 逻辑学 系统论 CSS 引子CSS是一种文档样式描述的语言。作为一种语言,CSS会有语言的基本要素,比如语法、语义;另外,用CSS编写的“程序”是一种声明式语言程序,这种逻辑程序是编写给浏览器的渲染引擎“阅读"的,语言、程序和浏览器的关系涉及语言、逻原创 2010-05-09 02:41:00 · 2227 阅读 · 2 评论 -
提高学习效率的方法二——掌握完备概念内涵的方法 rev#2
提高学习效率的方法二——掌握完备概念内涵的方法刘建文(http://blog.csdn.net/keminlau)key: 学习方法 逻辑学 概念 引子概念是知识的基本单位,是人们一定阶段认识的总结,是人们认识成果的结晶。任何科学研究的成果,都要以概念的形式固定下来。固定概念的实体形式一般有字典、词库和百科全书。但这些典籍最多比较【完备】的固定少部分概念层中靠近顶层的原始概原创 2010-05-20 01:13:00 · 2256 阅读 · 4 评论 -
思维种种(头脑风暴)
野鹤鹤说当我们一觉醒来,显意识开始占领我们的大脑一整天,开始如程序执行一般的意识流活动。我好奇这种意识流的过程是怎么样的,并且是什么东西左右意识流的去向。 我没时没刻不在思考,信息从大脑长记忆和感官两侧轮番上了我们的那七小块临时记忆(内存),左右着我们的日常行为,但是我们没有一刻思考过思考这个过程本身是什么。原创 2011-03-04 22:01:00 · 1946 阅读 · 0 评论 -
论软件架构
论软件架构An Introduction to Software Architecture摘自CAS 747: Software Architecture and Reverse Engineering Winter 2006BY David Garlan and Mary Shaw刘建文略译(http://blog.csdn.net/keminlau)kemi翻译 2008-08-31 17:20:00 · 2411 阅读 · 2 评论 -
两种笔记——写的与画的(思维导图初用感觉)
很早前就知道思维导图这玩意了。但一直“不会用”,或者说用不上,所以搁下不搭理它好久了。这几天开始“挖”到了形式逻辑,发现阅读过程中有相当多的相关概念光用文字笔记不够用,于是想起这个软件——freemind。用它画了下面这个图,感觉如传闻一样,概念关系清晰明了。在网上查了下思维导图相关的资料,发现原来思维导图已经相当“流行”,并且很多文字都声称思维导图的神奇,什么可以增强立体思维能力、提升思考技巧,原创 2008-05-23 00:26:00 · 3282 阅读 · 0 评论 -
再看数学——丘成桐:数学的内容、方法和意义
http://www.qiji.cn/news/reading/2004/08/16/20040816135223.htm丘成桐:数学的内容、方法和意义http://www.qiji.cn/news/ 奇迹报道 【科技导报】今天要讲的是数学的内容、方法和意义,这原是苏联人写的一本书的书名,和今天的演讲内容借过来作为演讲的名称。今天是北大百周年校庆,五四运动便是北大学生发动的。作为演讲的引子,让我转载 2006-06-20 01:45:00 · 2463 阅读 · 0 评论 -
计算科学的根本问题:什么能被有效地自动化,即对象的能行性问题(转)
计算科学的根本问题http://bbs.xml.org.cn/dispbbs.asp?boardID=64&ID=50970科学问题是指一定时代的科学认识主体(人),在已完成的科学知识和科学实践的基础上,提出的需要解决并且有可能解决的问题。它包括一定的求解目标和解域,但是尚无确定的答案。人类科学进步的历史,就是一个不断提出科学问题又不断解决科学问题的历史。 并非关于科学的任何转载 2007-08-09 01:44:00 · 15420 阅读 · 0 评论 -
抽象、间接和泛型等机制的价值及本质
一句话,物质在空间上的多样性和在时间上的变化性决定了抽象、间接性和泛型等机制的价值。本质是哲学上所说的,以不变应万变……目前我对泛型编程的粗浅理解是,它对已有的类型系统再做了一次抽象。注意这个“再”字。因为类型本身已经对实现运行的代码作了一次抽象了的。举个例子,顾员类Employee是对“活生生”的张三李四员工的抽象;换句话说,类对不同的多样的对象进行第一次的共性抽象。而泛型则是对不同的类进行原创 2007-08-12 23:47:00 · 1282 阅读 · 0 评论 -
《语言与机器》
语言与机器 刘建文略译(http://www.semi-translate.com/blog | http://blog.csdn.net/keminlau)Introduction Languages And Machines - Notes for Math237 Author : Dr. Christopher D. H. Cooper, Divi翻译 2008-02-24 01:21:00 · 1705 阅读 · 0 评论 -
计算理论研习资料搜集一——自动机与形式语言
计算理论三大部分(自动机、可计算性和复杂性)之一——自动机《Automata and Formal Languages》Spring 2005Juhani Karhum¨akiPrefaceTheory of formal languages (or automata) constitutes建立 a cornerstone of theoretical computer science. How翻译 2008-02-29 00:52:00 · 2362 阅读 · 0 评论 -
数学缺口
kemin:这是我在研究计算理论时发现的数学缺口,都是阅读和思考的碎片,有待整理成学习经验记录。这些天一直都研究计算理论。在搜集了一些资料并对其“扫描”般的通读一阵子后脑子虽然有点乱,但得到一个结论和一个问题。结论计算理论的三大内容--自动机、可计算性和复杂性。问题是为什么几乎所有资料一开始都涉及了看似无关的数学内容,这对于像我这样的数学基础不扎实的程序员来说可说是一只登山拦路虎。原创 2008-03-09 00:26:00 · 1236 阅读 · 0 评论 -
数学史在数学教育中的重要性
数学史在数学教育中的重要性杨淑芬 数学课程在中小学里成为最不受欢迎、最枯燥乏味、最没有成就感的科目,早已是司空见惯的事,即使是大学数学系的学生,也经常是愈念愈不知所学理论究竟从何而来?又该从何而去?使数学不为学生所排斥,成为学生所喜爱的科目之一,相信是所有关心数学教育者心中企盼能达成的目标。 然而,要使大部分学生对数学产生兴趣,让学生去感受数学在人类文化上所发挥的功用,经历一些创造数学转载 2008-03-10 11:11:00 · 7018 阅读 · 0 评论 -
《逻辑与演绎科学方法论导论》学习笔记
《逻辑与演绎科学方法论导论》关于和数学基础的危机相联系的问题,塔尔斯基在他的书中几乎没有谈到;在书中没有说明一系列数学基础原有的重要结果,例如,与形式化“语言”中“真理性”概念相关的结果或与演绎理论的“无矛盾性”和“完全性”的各种定义相关的结果。他觉得它们对于通俗的叙述过于困难,而他屡次强调,他的书只是个引论。作为引认,这本实在令人满意。书的开端已经很好;一开始,作者就阐明数学中的值和数学中使用的原创 2008-03-09 00:30:00 · 2029 阅读 · 0 评论 -
数学思想方法的几次重大转折
摘自 譚建國《數學美賞析(下)》kemin稍作整理—本文作者任教於中國雲南大學數學系、 基礎數學研究所—(一)数学思想方法的几次重大转折 历史表明,数学的发展,不仅表现为量的积累,而且还表现为质的飞跃。数学思想方法在历史上经历了四次重大转折:从算术到代数,从常量数学到变量数学,从必然数学到或然数学,从明晰数学到模糊数学,就充分说明这一点。回顾、总结和分析这四次重大转折,将有助于我们全面了解数转载 2008-03-10 18:19:00 · 3521 阅读 · 0 评论 -
数学分支(整理)
算术 suàn shù 研究自然数(正整数)、分数、小数的简单性质,及其加、减、乘、除、乘方、开方运算法则的一门学科。是数学中最基础的部分。由算术进一步发展起来的是代数学和数论。中国古代将数学和数学书也统称为算术。 数论 shù lùn 数学是科学的皇后,数论是数学的皇后。 --卡尔·弗里德里希·高斯数学的一个分科,主要研究正整数的性质及其有关的规律。按研究方法的不同原创 2008-03-12 01:04:00 · 12774 阅读 · 1 评论 -
基本常用的数学符号
符号分类加简短的解释,非常好,简明方便和实用。喜欢!原创 2008-03-14 00:34:00 · 2397 阅读 · 0 评论 -
文哥要“读研究生了”
文哥要“读研究生了” 题目很能吸引眼球,尤其是关注我的朋友们。不过你们也看到了双引号了吧。没错,不是真的。我连考都没考,怎么会一下子就读研究生呢。今天无意中发现下面的这篇来自天涯社区的帖子(谈对读研的看法)后,觉得可用它来作引子说说自去年7月至今近十月我的学习和生活到是怎么一回事。那就是四个字——变相读研。 我已经不只一次的指出朋友亲人对我的工作和生活方式有过狐疑,而我自己也因为阅原创 2008-03-25 01:10:00 · 2291 阅读 · 3 评论 -
学习离散数学的目的
学习离散数学的目的离散数学绝缘何难学?摘自《提高离散数学教学质量的思考与实践》一般来说,离散数学内容广泛且高度抽象,可以说是一门既难教又难学的课程,这无疑给教师的教学和学生的学习带来了一定的难度。一方面,离散数学不仅是为专业服务的基本理论,而且通过该课程可以培养学生的抽象思维和缜密概括的能力,但其概念多,理论性强,高度抽象性的特点却令许多学生望而生畏。学生在学习这门课程时,往往看不到离散数学在计算翻译 2008-03-27 01:18:00 · 4868 阅读 · 0 评论 -
(译)离散数学Discrete Mathematics James L. Hein
kemin原创翻译,引用注明出处,谢谢。Discrete Mathematics James L. Hein Department of Computer Science Portland State University http://www.amazon.com/Discrete-Mathematics-James-L-Hein/dp/0763722103This book is design翻译 2008-05-04 12:33:00 · 2284 阅读 · 0 评论 -
集合与数理逻辑哪个更基础?
大部分的离散数学图书第一章不是集合论就是数理逻辑,那到底是集合论基础一点还是数理逻辑基础一点?从这个粗略的结构图可以初步看出来,集合与逻辑是两种不同的基础,没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念;逻辑推理则为形成这样的结构提供了逻辑工具--定义、定理和证明。属方法论哲学层面的概念。也就是所谓有工具性学科:工具性的科学是学习其原创 2008-07-30 00:32:00 · 1709 阅读 · 0 评论 -
思维和存在二者之间要从对立性转化为同一性?
kemin:今天发现了一个新视点:思维工具的哲学理论?!名词和定义篇一、思维工具思维工具是哲学理论为人们提供的认识工具、分析工具、论证工具和表述工具。它是思维把握存在的基本手段、基本形式和本质特点。为什么哲学要向人们提供思维工具呢?理由很简单,因为思维和存在属性对立,二者是水火不相容的矛盾关系。如果没有思维工具帮助的话,思维和存在之间的矛盾就无法消除。在日常生活中人们直转载 2008-05-17 01:16:00 · 2000 阅读 · 4 评论 -
理解计算
随着计算机日益广泛而深刻的运用,计算这个原本专门的数学概念已经泛化到了人类的整个知识领域,并上升为一种极为普适的科学概念和哲学概念,成为人们认识事物、研究问题的一种新视角、新观念和新方法。什么是计算与计算的类型 在大众的意识里,计算首先指的就是数的加减乘除,其次则为方程的求解、函数的微分积分等;懂的多一点的人知道,计算在本质上还包括定理的证明推导。可以说,“计算”是一个无人不知元人不晓的数学概念,但是,真正能够回答计算的本质是什么的人恐怕不多。事实上,直到1930年代,由于哥德尔(K.转载 2011-03-28 23:56:00 · 2059 阅读 · 0 评论