基本信息 書名:邏輯與計算機科學哲學 售價:¥39.00元 書號:ISBN978-7-307-21210-7 版次:1-1 頁數:180 千字數:161 開本:16 裝幀方式:平裝 作者:潘沁 著 責任編輯:陳紅 出版社:武漢大學出版社 出版時間:2019-11-01 ...
《計算機科學哲學研究》是2010年人民出版社出版的圖書,作者是任曉明、桂起權。本書從認知、計算與人工生命的視角探討計算機科學哲學的主要問題和核心理念。內容簡介 追溯在畢達哥拉斯主義和目的論傳統中發展起來的邏輯機器哲學和人工生命哲學...
AlanB.Marcovitz是佛羅里達大西洋大學計算機科學與工程系的教授,他在麻省理工學院獲得了電子工程專業的學士和碩士學位,在哥倫比亞大學獲得了哲學博士學位,他曾在馬里蘭大學任教,而後在1970年創辦了佛羅里達大西洋大學電子工程系,撰寫過多本...
本書是為大學三、四年級學生而寫,並且曾在南開大學計算機系、數學系作為教材講授多年。重點介紹了計算機科學與技術的數學基礎一可計算理論、數理邏輯與集合論,以及三者之間的關係,主要內容包括:理想計算機與有窮性原則、有窮性邏輯和有...
該專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識,受到公理化方法、形式化方法和語義分析方面的基本訓練,具有專業研究的基本能力。發展歷程 1631年,西方邏輯學開始傳入中國。20世紀50、60年代,中共中央黨校、...
傳統上,邏輯被作為哲學的一個分支來研究。自從19世紀中期,邏輯經常在數學和計算機科學中研究。邏輯的範圍非常廣闊,從核心主題如對謬論和悖論的研究,到專門的推理分析如或然正確的推理和涉及因果關係的論證。在我國古代,邏輯學又被稱為...
由於人文社科界的邏輯學家,一方面掌握構造形式系統的方法;另一方面注重對認知過程的哲學分析,這恰是上述方向中創新性研究必不可少的環節。因此,在人文社科領域中展開邏輯、認知和計算機科學領域的交叉研究,設立邏輯與智慧型研究基地,多學科...
第六編:邏輯與機率 20. 邏輯(G. Aldo Antonelli)21. 人工智慧中的機率論(Donald Gillies)22. 博弈論:納什均衡(Cristina Bicchieri)第七編:科學與技術 23.科學哲學中的計算(Paul Thagard)24. 計算機科學方法論(Timothy ...
由於人文社科界的邏輯學家,一方面掌握構造形式系統的方法; 另一方面注重對認知過程的哲學分析,這恰是上述方向中創新性研究的必不可少的環節。因此,在人文社科領域中展開邏輯,認知和計算機科學領域的交叉研究, 不僅是邏輯學科發展的要求, ...
其涵蓋的主題有:關於信息、進程和智慧型互動的模態邏輯:自然語言中範疇語法和量詞語義的邏輯:邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化...
當代歸納邏輯探賾,成都科技大學出版社,1993 進化認識論與進化邏輯,浙江科技出版社,1998 機遇與冒險的邏輯,石油大學出版社,1995 歸納邏輯百年歷程,中央編譯出版社,2006 新編歸納邏輯導論,河南人民出版社,2009 計算機科學哲學研究,...
《經典邏輯與非經典邏輯基礎》的內容是自足的,不需要讀者其他特別的知識準備。《經典邏輯與非經典邏輯基礎》既適合邏輯學專業的本科生、研究生使用,也可供計算機科學、人工智慧、語言學、哲學等專業的學生使用,還可供對現代邏輯感興趣的...
《邏輯與辭彙:不確定語義學 》是2018年4月世界圖書出版公司出版的圖書,作者是[德]曼弗雷德·平克爾。內容簡介 語義描述不足是自然語言一個重要且普遍的特徵。本書通過全面考察模糊和歧義領域的多種現象,探討了語言學、哲學和計算機科...
《邏輯與辭彙——不確定語義學》是2018年世界圖書出版公司出版的著作,作者是[德] 曼弗雷德·平克爾。內容簡介 語義描述不足是自然語言一個重要且普遍的特徵。本書通過全面考察模糊和歧義領域的多種現象,探討了語言學、哲學和計算機科學...
王浩(1921-1995),美籍華裔數學家、邏輯學家、計算機科學家、哲學家。1921年生於山東濟南市。1943年畢業於西南聯合大學數學系。1945年於清華大學研究生院哲學系畢業。曾師從金岳霖、王憲鈞、沈有鼎等。1946年赴哈佛大學留學,師從蒯因(W....
弗雷格概念文字、希爾伯特公理系統、塔斯基真定義、哥德爾完備性與不完備性定理、圖靈機對機械可計算的刻畫等成果不僅讓人類對數學基礎有了全新的理解,孕育了現代計算機科學,還促成了分析哲學的崛起,由此深刻地改變了哲學研究的樣貌。此後的...
從赫拉克利特到當代馬克思主義,次協調的思想和方法在哲學和科學領域得到自覺的或不自覺的運用。本書有對次協調邏輯及其歷史和某些最重要的套用的精彩介紹。毫無疑問,不管是對哲學家、數學家、科學家、計算機和信息專家,還是對普通人,...
認識邏輯是關心與知識有關的推理的模態邏輯子領域。(認識這個詞的希臘語是 Episteme)。它套用於哲學、計算機科學、人工智慧和其他領域。名稱 \ 認識邏輯的基本模態運算元通常寫為 K,它可以讀做“有人知道...”,“...在認識上是必然...
(6) 數位化的邏輯基地理論研究,國家社會科學基金研究項目,項目負責人,2001-2005。(7) 語言邏輯及其在人工智慧中的套用,北京市哲學社會科學規劃項目,負責人,2001-2005。(8) 語言邏輯及其在計算機科學和人工智慧中的套用,教育部...
在武漢他發起了一個“物理學哲學的科學共同體” ),生物學哲學(特點在於在生物學中將“複雜性系統科學”解釋模式一貫到底,並且將科學哲學普遍原理與生物學特異性結合起來),經濟學方法論等等研究;並且積極推動計算機科學哲學與化學哲學...