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

歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >>
數(shù)理邏輯是什么/萬(wàn)千教育

包郵 數(shù)理邏輯是什么/萬(wàn)千教育

出版社:中國(guó)輕工業(yè)出版社出版時(shí)間:2018-12-01
開(kāi)本: 其他 頁(yè)數(shù): 159
中 圖 價(jià):¥18.6(5.8折) 定價(jià)  ¥32.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
開(kāi)年大促, 全場(chǎng)包郵
?新疆、西藏除外
本類五星書(shū)更多>

數(shù)理邏輯是什么/萬(wàn)千教育 版權(quán)信息

數(shù)理邏輯是什么/萬(wàn)千教育 本書(shū)特色

《數(shù)理邏輯是什么》是數(shù)理邏輯領(lǐng)域的代表性著作,旨在向零基礎(chǔ)的讀者普及數(shù)理邏輯知識(shí)。自1972年問(wèn)世以來(lái),本書(shū)得到眾多邏輯學(xué)家的肯定,并始終是該領(lǐng)域的長(zhǎng)銷之作。 簡(jiǎn)明扼要是本書(shū)一大特色。秉持將“難懂”的數(shù)理邏輯以通俗易懂的方式介紹給一般讀者的理念,幾位作者精選數(shù)理邏輯中*典型的思想,生動(dòng)地介紹了數(shù)理邏輯發(fā)展史、謂詞演算的完全性、模型論、圖靈機(jī)與遞歸函數(shù)、哥德?tīng)柌煌耆远ɡ怼⒓险摰。相?duì)獨(dú)立的章節(jié)是本書(shū)另一大特色。全書(shū)各章之間不存在緊密的層級(jí)關(guān)系,讀者可根據(jù)理解的程度,暫時(shí)跳過(guò)某些章節(jié),待需要時(shí)再返回重新閱讀。這種寫(xiě)作方式有助于讀者在短時(shí)間內(nèi)掌握數(shù)理邏輯的主要內(nèi)容,奠定進(jìn)一步學(xué)習(xí)邏輯、數(shù)學(xué)、計(jì)算機(jī)科學(xué)等知識(shí)的基礎(chǔ)。

數(shù)理邏輯是什么/萬(wàn)千教育 內(nèi)容簡(jiǎn)介

數(shù)理邏輯領(lǐng)域長(zhǎng)銷40余年的經(jīng)典普及之作 以簡(jiǎn)潔又有趣的方式介紹“難懂”的數(shù)理邏輯 以專業(yè)而嚴(yán)謹(jǐn)?shù)囊暯侵v述數(shù)理邏輯典型思想 為學(xué)習(xí)邏輯、數(shù)學(xué)、計(jì)算機(jī)科學(xué)等奠定基礎(chǔ)

數(shù)理邏輯是什么/萬(wàn)千教育 目錄

引 論 **章 歷史概覽 第二章 謂詞演算的完全性 第三章 模型論 第四章 圖靈機(jī)與遞歸函數(shù) 第五章 哥德?tīng)柌煌耆远ɡ?第六章 集合論 推薦讀物 索 引
展開(kāi)全部

數(shù)理邏輯是什么/萬(wàn)千教育 作者簡(jiǎn)介

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

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

暫無(wú)評(píng)論……
書(shū)友推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 聚合氯化铝_喷雾聚氯化铝_聚合氯化铝铁厂家_郑州亿升化工有限公司 | 楼承板-开口楼承板-闭口楼承板-无锡海逵 | 外观设计_设备外观设计_外观设计公司_产品外观设计_机械设备外观设计_东莞工业设计公司-意品深蓝 | 西安微信朋友圈广告投放_微信朋友圈推广_西安度娘网络科技有限公司 | 中式装修设计_全屋定制家具_实木仿古门窗花格厂家-喜迎门 | 亿诺千企网-企业核心产品贸易 | 台式恒温摇床价格_大容量恒温摇床厂家-上海量壹科学仪器有限公司 | 西门子气候补偿器,锅炉气候补偿器-陕西沃信机电工程有限公司 | 高通量组织研磨仪-多样品组织研磨仪-全自动组织研磨仪-研磨者科技(广州)有限公司 | 半自动预灌装机,卡式瓶灌装机,注射器灌装机,给药器灌装机,大输液灌装机,西林瓶灌装机-长沙一星制药机械有限公司 | ASA膜,ASA共挤料,篷布色母料-青岛未来化学有限公司 | 【德信自动化】点胶机_全自动点胶机_自动点胶机厂家_塑料热压机_自动螺丝机-深圳市德信自动化设备有限公司 | 混合反应量热仪-高温高压量热仪-微机差热分析仪DTA|凯璞百科 | 代办建筑资质升级-建筑资质延期就找上海国信启航| 五轴加工中心_数控加工中心_铝型材加工中心-罗威斯 | 阻燃剂-氢氧化镁-氢氧化铝-沥青阻燃剂-合肥皖燃新材料 | 深圳活动策划公司|庆典策划|专业公关活动策划|深圳艺典文化传媒 重庆中专|职高|技校招生-重庆中专招生网 | 除甲醛公司-甲醛检测治理-杭州创绿家环保科技有限公司-室内空气净化十大品牌 | LED灯杆屏_LED广告机_户外LED广告机_智慧灯杆_智慧路灯-太龙智显科技(深圳)有限公司 | 污水处理设备,一体化泵站,一体化净水设备-「梦之洁环保设备厂家」 | 深圳货架厂_仓库货架公司_重型仓储货架_线棒货架批发-深圳市诺普泰仓储设备有限公司 | 物联网卡_物联网卡购买平台_移动物联网卡办理_移动联通电信流量卡通信模组采购平台? | 踏板力计,制动仪,非接触多功能速度仪,逆反射系数测试仪-创宇 | 济南网站建设|济南建网站|济南网站建设公司【济南腾飞网络】【荐】 | 蔬菜清洗机_环速洗菜机_异物去除清洗机_蔬菜清洗机_商用洗菜机 - 环速科技有限公司 | 压砖机、液压制砖机、静压砖机、环保砖机生产厂家—杜甫机械 | 广东泵阀展|阀门展-广东国际泵管阀展览会 | 吉林污水处理公司,长春工业污水处理设备,净水设备-长春易洁环保科技有限公司 | AGV无人叉车_激光叉车AGV_仓储AGV小车_AGV无人搬运车-南昌IKV机器人有限公司[官网] | 卷筒电缆-拖链电缆-特种柔性扁平电缆定制厂家「上海缆胜」 | 镀锌钢格栅_热镀锌格栅板_钢格栅板_热镀锌钢格板-安平县昊泽丝网制品有限公司 | China plate rolling machine manufacturer,cone rolling machine-Saint Fighter | 企典软件一站式企业管理平台,可私有、本地化部署!在线CRM客户关系管理系统|移动办公OA管理系统|HR人事管理系统|人力 | 冷油器,取样冷却器,热力除氧器-连云港振辉机械设备有限公司 | 滁州高低温冲击试验箱厂家_安徽高低温试验箱价格|安徽希尔伯特 | 协议书_协议合同格式模板范本大全 | 纯水设备_苏州皙全超纯水设备水处理设备生产厂家 | cnc精密加工_数控机械加工_非标平键定制生产厂家_扬州沃佳机械有限公司 | 流量检测仪-气密性检测装置-密封性试验仪-东莞市奥图自动化科技有限公司 | KBX-220倾斜开关|KBW-220P/L跑偏开关|拉绳开关|DHJY-I隔爆打滑开关|溜槽堵塞开关|欠速开关|声光报警器-山东卓信有限公司 | 济南画室培训-美术高考培训-山东艺霖艺术培训画室 |