中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >>
數理邏輯是什么/萬千教育

包郵 數理邏輯是什么/萬千教育

出版社:中國輕工業出版社出版時間:2018-12-01
開本: 其他 頁數: 159
本類榜單:哲學/宗教銷量榜
中 圖 價:¥21.8(6.8折) 定價  ¥32.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

數理邏輯是什么/萬千教育 版權信息

  • ISBN:9787518420957
  • 條形碼:9787518420957 ; 978-7-5184-2095-7
  • 裝幀:一般膠版紙
  • 冊數:暫無
  • 重量:暫無
  • 所屬分類:>>

數理邏輯是什么/萬千教育 本書特色

《數理邏輯是什么》是數理邏輯領域的代表性著作,旨在向零基礎的讀者普及數理邏輯知識。自1972年問世以來,本書得到眾多邏輯學家的肯定,并始終是該領域的長銷之作。 簡明扼要是本書一大特色。秉持將“難懂”的數理邏輯以通俗易懂的方式介紹給一般讀者的理念,幾位作者精選數理邏輯中*典型的思想,生動地介紹了數理邏輯發展史、謂詞演算的完全性、模型論、圖靈機與遞歸函數、哥德爾不完全性定理、集合論等。相對獨立的章節是本書另一大特色。全書各章之間不存在緊密的層級關系,讀者可根據理解的程度,暫時跳過某些章節,待需要時再返回重新閱讀。這種寫作方式有助于讀者在短時間內掌握數理邏輯的主要內容,奠定進一步學習邏輯、數學、計算機科學等知識的基礎。

數理邏輯是什么/萬千教育 內容簡介

數理邏輯領域長銷40余年的經典普及之作 以簡潔又有趣的方式介紹“難懂”的數理邏輯 以專業而嚴謹的視角講述數理邏輯典型思想 為學習邏輯、數學、計算機科學等奠定基礎

數理邏輯是什么/萬千教育 目錄

引 論 **章 歷史概覽 第二章 謂詞演算的完全性 第三章 模型論 第四章 圖靈機與遞歸函數 第五章 哥德爾不完全性定理 第六章 集合論 推薦讀物 索 引
展開全部

數理邏輯是什么/萬千教育 作者簡介

約翰·N.克羅斯利(John N. Crossley)
英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業后成為牛津大學第一位數理邏輯教師,牛津大學萬靈學院研究員。自1968年起,長期任教于澳大利亞莫納什大學,并于2010年成為該校榮休教授。
主要研究領域為邏輯、數學和計算機科學。著有《構成性序型》(Constructive Order Types,1969)、《數理邏輯是什么》(What IsMathematical Logic?,1972,合著)、《組合函子》(Combinatorial Functors,1974,合著)、《數的出現》(The Emergence of Number,1987)、《九章算術:導讀與注釋》(The NineChapters on the Mathematical Art: Companion Commentary,2000,合著)、《程序就是證明:柯里—霍華德對應》(AdaptingProofs-as-Programs: The Curry-Howard Protocol,2005,合著)、《成長的數字觀》(GrowingIdeas of Number,2007)等。

譯者簡介約翰·N.克羅斯利(John N. Crossley) 英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業后成為牛津大學第一位數理邏輯教師,牛津大學萬靈學院研究員。自1968年起,長期任教于澳大利亞莫納什大學,并于2010年成為該校榮休教授。 主要研究領域為邏輯、數學和計算機科學。著有《構成性序型》(Constructive Order Types,1969)、《數理邏輯是什么》(What Is Mathematical Logic?,1972,合著)、《組合函子》(Combinatorial Functors,1974,合著)、《數的出現》(The Emergence of Number,1987)、《九章算術:導讀與注釋》(The Nine Chapters on the Mathematical Art: Companion & Commentary,2000,合著)、《程序就是證明:柯里—霍華德對應》(Adapting Proofs-as-Programs: The Curry-Howard Protocol,2005,合著)、《成長的數字觀》(Growing Ideas of Number,2007)等。 譯者簡介 夏素敏 南京大學哲學博士,中國社會科學院哲學研究所副研究員。主要研究方向為道義邏輯、邏輯哲學等。出版有專著《道義悖論研究初探》等。 閆佳亮 中國社會科學院研究生院哲學系碩士研究生在讀。主要研究興趣為哲學邏輯、邏輯哲學等。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 企小优-企业数字化转型服务商_网络推广_网络推广公司 | 微水泥_硅藻泥_艺术涂料_艺术漆_艺术漆加盟-青岛泥之韵环保壁材 武汉EPS线条_EPS装饰线条_EPS构件_湖北博欧EPS线条厂家 | 液压油缸-液压缸厂家价格,液压站系统-山东国立液压制造有限公司 液压油缸生产厂家-山东液压站-济南捷兴液压机电设备有限公司 | 次氯酸钠厂家,涉水级次氯酸钠,三氯化铁生产厂家-淄博吉灿化工 | 【铜排折弯机,钢丝折弯成型机,汽车发泡钢丝折弯机,线材折弯机厂家,线材成型机,铁线折弯机】贝朗折弯机厂家_东莞市贝朗自动化设备有限公司 | 重庆私家花园设计-别墅花园-庭院-景观设计-重庆彩木园林建设有限公司 | 润滑油加盟_润滑油厂家_润滑油品牌-深圳市沃丹润滑科技有限公司 琉璃瓦-琉璃瓦厂家-安徽盛阳新型建材科技有限公司 | RTO换向阀_VOC高温阀门_加热炉切断阀_双偏心软密封蝶阀_煤气蝶阀_提升阀-湖北霍科德阀门有限公司 | 自动记录数据电子台秤,记忆储存重量电子桌称,设定时间记录电子秤-昆山巨天 | 楼承板-钢筋楼承板-闭口楼承板-无锡优贝斯楼承板厂 | 头条搜索极速版下载安装免费新版,头条搜索极速版邀请码怎么填写? - 欧远全 | 云南外加剂,云南速凝剂,云南外加剂代加工-普洱澜湄新材料科技有限公司 | 动库网动库商城-体育用品专卖店:羽毛球,乒乓球拍,网球,户外装备,运动鞋,运动包,运动服饰专卖店-正品运动品网上商城动库商城网 - 动库商城 | 蔡司三坐标-影像测量机-3D扫描仪-蔡司显微镜-扫描电镜-工业CT-ZEISS授权代理商三本工业测量 | 气弹簧定制-气动杆-可控气弹簧-不锈钢阻尼器-工业气弹簧-可调节气弹簧厂家-常州巨腾气弹簧供应商 | 手持气象站_便携式气象站_农业气象站_负氧离子监测站-山东万象环境 | b2b网站大全,b2b网站排名,找b2b网站就上地球网 | 盘式曝气器-微孔曝气器-管式曝气器-曝气盘-斜管填料 | 郑州市前程水处理有限公司 | 不锈钢酒柜|恒温酒柜|酒柜定制|酒窖定制-上海啸瑞实业有限公司 | 汽车水泵_汽车水泵厂家-瑞安市骏迪汽车配件有限公司 | pbt头梳丝_牙刷丝_尼龙毛刷丝_PP塑料纤维合成毛丝定制厂_广州明旺 | 气胀轴|气涨轴|安全夹头|安全卡盘|伺服纠偏系统厂家-天机传动 | 纸塑分离机-纸塑分离清洗机设备-压力筛-碎浆机厂家金双联环保 | 能量回馈_制动单元_电梯节能_能耗制动_深圳市合兴加能科技有限公司 | b2b网站大全,b2b网站排名,找b2b网站就上地球网 | 柔性输送线|柔性链板|齿形链-上海赫勒输送设备有限公司首页[输送机] | 单柱拉力机-橡胶冲片机-哑铃裁刀-江都轩宇试验机械厂 | 视频教程导航网_视频教程之家_视频教程大全_最新视频教程分享发布平台 | 防火阀、排烟防火阀、电动防火阀产品生产销售商-德州凯亿空调设备有限公司 | 婚博会2024时间表_婚博会门票领取_婚博会地址-婚博会官网 | PCB厂|线路板厂|深圳线路板厂|软硬结合板厂|电路板生产厂家|线路板|深圳电路板厂家|铝基板厂家|深联电路-专业生产PCB研发制造 | 直流电能表-充电桩电能表-导轨式电能表-智能电能表-浙江科为电气有限公司 | 螺旋绞龙叶片,螺旋输送机厂家,山东螺旋输送机-淄博长江机械制造有限公司 | 期货软件-专业期货分析软件下载-云智赢 | 除尘器布袋骨架,除尘器滤袋,除尘器骨架,电磁脉冲阀膜片,卸灰阀,螺旋输送机-泊头市天润环保机械设备有限公司 | 餐饮加盟网_特色餐饮加盟店_餐饮连锁店加盟 | 食安观察网 | 商秀—企业短视频代运营_抖音企业号托管 | 带锯机|木工带锯机圆木推台锯|跑车带锯机|河北茂业机械制造有限公司| | 苏州柯瑞德货架-仓库自动化改造解决方案 | 鲸鱼视觉 -数字展厅多媒体互动展示制作公司 |