購物比價找書網找車網
FindBook  
 有 1 項符合

數理邏輯(第2版)(影印版)英文

的圖書
數理邏輯(第2版)(影印版)英文 數理邏輯(第2版)(影印版)英文

作者:(H.D.EBBINGHAUS 
出版社:世界圖書出版公司北京公司
出版日期:2019-03-01
語言:簡體中文   規格:平裝 / 289頁 / 普通級/ 1-1
圖書選購
型式價格供應商所屬目錄
 
$ 465
博客來 博客來
數學
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:數理邏輯(第2版)(影印版)英文

內容簡介

本書是一部難度適中的本科生數學教材。主要講述了什麼是數學證明,這些證明怎麼能夠被驗證以及電腦在多大程度上能夠執行這些數學證明。本書從一階邏輯以及它在數學基礎中的作用的講述開始,深入闡述了Trachtenbrot的不可判定性理論,基礎等值理論的Fraisse特性,以及邏輯程序設計的基礎這些經典的知識點。讀者對象:本書適用於數學、電腦科學、人工智慧和決策學等各個領域的本科生、研究生以及相關專業的研究人員。



作者:H.D. 埃賓豪斯(H.D.Ebbinghaus),是德國弗萊堡大學(Universit?t Freiburg) 數學系教授。

 

詳細資料

  • ISBN:9787519255725
  • 規格:平裝 / 289頁 / 普通級 / 1-1
  • 出版地:中國
贊助商廣告
 
金石堂 - 今日66折
破除恐懼 有聲書
作者:許添盛
出版社:賽斯文化
出版日期:2020-08-01
66折: $ 1505 
金石堂 - 今日66折
鈔能戰士 數字13的秘密
作者:嚴淑女
出版社:聚光文創
出版日期:2021-11-15
66折: $ 185 
金石堂 - 今日66折
餐桌上的推理劇
作者:高雲章
出版社:幻華創造有限公司
出版日期:2024-06-15
66折: $ 211 
金石堂 - 今日66折
個人與群體事件的本質﹝第3輯﹞
作者:許添盛
出版社:賽斯文化
出版日期:2007-10-01
66折: $ 581 
 
金石堂 - 暢銷排行榜
正太哥哥 (首刷限定版) 05
作者:中山幸
出版社:東立出版社
出版日期:2024-11-27
$ 187 
博客來 - 暢銷排行榜
臺灣漫遊錄
作者:青山千鶴子、楊双子
出版社:春山出版
出版日期:2020-03-31
$ 300 
博客來 - 暢銷排行榜
生命的溫暖戰歌(全新增訂版):從抗癌到立法,在逆境中堅持希望的勇氣
作者:邱議瑩
出版社:天下文化
出版日期:2024-12-30
$ 450 
博客來 - 暢銷排行榜
劉博仁不藏私的抗老秘密
作者:劉博仁
出版社:天下生活
出版日期:2025-01-08
$ 379 
 
Taaze 讀冊生活 - 新書排行榜
【金鼎獎作家生態童話】壁虎當家:野外探險隊
作者:陳素宜
出版社:未來出版
出版日期:2024-12-06
$ 285 
金石堂 - 新書排行榜
別對每件事都有反應【2025限量暢銷特典版】:淡泊一點也無妨,活出快意人生的99個禪練習!
作者:枡野俊明
出版社:悅知文化
出版日期:2024-12-18
$ 261 
Taaze 讀冊生活 - 新書排行榜
安妮繞著地球跑3:夢想起點基督城
作者:賴曉珍
出版社:未來出版
出版日期:2024-11-27
$ 285 
Taaze 讀冊生活 - 新書排行榜
NLP心理溝通術:激發自我、完美溝通、成就未來
作者:加藤聖龍
出版社:如果出版
出版日期:2025-01-18
$ 270 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策