胡世华文集

胡世华文集 pdf epub mobi txt 电子书 下载 2025

出版者:科学出版社
作者:胡世华
出品人:
页数:775
译者:
出版时间:2008年5月
价格:150.00元
装帧:
isbn号码:9787030213914
丛书系列:
图书标签:
  • 数理逻辑5 
  • 数理逻辑 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

本集内容主要有三个领域:逻辑演算、递归函数论、科学哲学,共收入58篇文章。1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算。《数理逻辑基础》着重介绍了直观的自然推理的证明格式,这次出版的是胡世华1957年讲稿的原稿,只对其中明显的文字上的不适当之处作了修改。文集编进了多篇多值逻辑、递归函数论的文章,还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。有几篇文章是未曾发表过的,如《计算机的分“代”和我国的“对策”问题》等。...

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有