中文XML论坛--小庄：数理逻辑课程前言[原创]

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

计算机科学论坛

SOAChina论坛

Blog

开放翻译计划

新浪微博

首页

软件下载

资料下载

核心成员

帮助

>> It is the theory that decides what can be observed. - Albert Einstein

[返回] 中文XML论坛 - 专业的XML技术讨论区 → 计算机理论与工程 → 『理论计算机科学』 → 小庄：数理逻辑课程前言[原创]

◇查看新帖 ◇ 用户列表 ◇

(订阅本版)

您是本帖的第 199944 个阅读者　　

*	贴子主题：小庄：数理逻辑课程前言[原创]	举报打印推荐 IE收藏夹
	本主题类别:

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/4/20 0:36:31

本主题贴数44，分页： [1] [2] [3] [4] [5]

*树形目录（最近20个回帖）	顶端
主题：小庄：数理逻辑课程前言[原创](5867字) － chzhuang，2006年2月13日
回复：感谢linrd的回复。我刚涉足数理逻辑不久，而且近段时间书读得有点杂，证明论、递归论、模型论、公理..(716字) － miaodc，2010年11月2日
回复：学习数理逻辑有几个月了，随着学习的深入，发现问题越来越多，而身边啃数理逻辑的人寥寥无几，所以就试图..(804字) － miaodc，2010年11月1日
回复： [quote][b]以下是引用[i]miaodc在2010-11-1 11:57:00[/i]的发..(1178字) － chzhuang，2011年4月15日
回复：完备性是个相对的概念(240字) － linrd，2010年11月1日
回复：逻辑与硬件之间的联系到底是怎么样的？双方之间仅是CPU的处理控制，具体是..(185字) － kexanderyzlx，2010年10月14日
回复：求救---这本书是谁写的？(289字) － silentdonkey，2010年3月19日
回复：人只不过是一根苇草，是自然界最脆弱的东西；但他是一根能思想的苇草。――帕斯卡为什么要进行辩论？..(8210字) － chzhuang，2009年7月6日
回复：教学相关资料共享：http://teach.xmu.edu.cn/DirList.aspx?Di..(158字) － chzhuang，2009年7月6日
回复：写得很好，顶一下。(18字) －计算机教师，2009年6月10日
回复：刚来,顶个贴(11字) － langyiling，2008年11月20日
回复： haojiahuo(9字) － cs_mathematician，2008年5月5日
回复： 1、Hamilton, logic for mathematicians, Cambridge U..(239字) － wealk，2007年11月4日
回复：讲的太有深度了。。。(20字) － huxinhuwei，2007年9月9日
回复：以前总觉得计算机理论研究老停留在上世纪今天才知道理论这东西离我们越来越近迫切需要理论创新来改善现有..(106字) －科学在线，2007年8月19日
回复：好文！不过遗憾的是，我还没有正式接受过逻辑方面的课程，也就在离散数学中学过一些基础的东西。我们这边..(248字) － tj-figo，2007年5月15日
回复：陆钟万著，《面向计算机科学的数理逻辑》，科学出版社，1998这本书也算挺不错的！不过我学习得不..(104字) － lovelove，2007年8月3日
回复：数理逻辑的分支越来越多了,计算机科学最关注的是时序逻辑(53字) － csphd，2007年4月18日
回复：好强啊...我是研究教育心理学的..来这里主要是找一些逻辑中心(大脑七个智力中心之一)的大致框架...(482字) － huxinhuwei，2007年3月20日
回复： [quote][b]以下是引用[i]chzhuang在2006-2-13 21:09:00[/i]..(985字) － accueil，2006年11月21日


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	85.938ms