注冊 | 登錄讀書好，好讀書，讀好書！
讀書網-DuShu.com
當前位置： 首頁出版圖書科學技術計算機/網絡計算機科學理論與基礎知識計算機科學中的現代邏輯學

計算機科學中的現代邏輯學

計算機科學中的現代邏輯學

定　價：￥28.00

作　者： 王元元編著
出版社： 科學出版社
叢編項：
標　簽： 電子計算機

購買這本書可以去

ISBN： 9787030010674 出版時間： 1989-01-01 包裝： 平裝
開本： 26cm 頁數： 266頁 字數：  

內容簡介

　　1989年科學出版社出版了《計算機科學中的邏輯學》，該書于1992年獲國家優(yōu)秀教材獎，1997年被國家教委列為“九五“規(guī)劃重點發(fā)展教材。根據教材建設的需要，借本次重印之機，對原書的內容進行了增補，其主要內容包括：形式化和形式系統(tǒng)的概論，命題演算形式系統(tǒng)，各種形式的一階謂詞演算形式系統(tǒng)，直覺主義的一階謂詞演算形式系統(tǒng)等內容。

作者簡介

暫缺《計算機科學中的現代邏輯學》作者簡介

圖書目錄

一，緒論
二，命題演算形式系統(tǒng)
三，一階謂詞演算
四，其它形式的一階謂詞演算系統(tǒng)
五，消解原理及其應用
六，霍恩子句邏輯和邏輯程序設計
七，二階謂詞演算
八，模態(tài)邏輯
九，時序邏輯與動態(tài)邏輯
十，多值邏輯及模糊邏輯
十一，非單調邏輯
十二，λ－演算與組合邏輯

本目錄推薦

掃描二維碼
Copyright ? 讀書網 www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號