離散數學高等學校21世紀教材

《離散數學高等學校21世紀教材》是2006年人民郵電出版社出版的圖書，作者是楊炳儒。本書可作為計算機、自動化、電子信息工程、測量技術與儀器、管理科學與工程、系統科學與工程等專業的本科生、研究生教材,並可供相關的教學科研人員與工程技術人員參考。

基本介紹

• 書名：離散數學高等學校21世紀教材
• ISBN：9787115144423 [十位:7115144427]
• 出版社：人民郵電出版社
• 出版時間：2006年12月

圖書簡介

作/譯者：楊炳儒出版社：人民郵電出版社

出版日期：2006年12月 ISBN：9787115144423 [十位:7115144427]

頁數：351 重約：0.530KG

內容提要

本書是在“知識邏輯束備估結構核心論”創新性教學思想的指導下,經過多年的教學實踐形成的,是對“離散數學”教學內容主拳戒囑與方法改革的探索。

全書按數理邏輯、集合論、代數結構、圖論四部分主題內容演繹鋪展,具有區別於國內出版的同類教材的全新結構和形式,從整體上可見具有端影境積澱了教學理論、認知科學、邏輯科慨埋禁學、哲學方法論等多學科交叉的形象。

圖書目錄

第一篇 數理邏輯

第1章 命題邏輯

1.1 命題

1.2 聯結詞

1.3 命題公式與翻譯

1.4 命題公式的等價、蘊涵

1.5 對偶與範式

1.6 其他關結詞

1.7 命題演宙府罪閥算推理

1.8 套用

1.9 典型例題解析

本章小結

習題

第2章 謂詞邏輯

2.1 謂詞和量詞

2.2 謂詞公式與翻譯

2.3 約束變元與自由變元

2.4 謂詞公式的等價、蘊涵

2.5 前綴範式

2.6 謂詞演算推理

2.7 應斷頁宙用

作者介紹

楊炳儒,北京科技大學信息工程學院教授(首席一級)、博士生導師,享受國務院特殊津貼專家、國際註冊科技專家;國際一般系統學會中國模糊信息與模糊工程學會名譽理事長、中國人工智慧學會離散數學專委會主任與知識工程專委會副主任。主要研究方向:知識發現與智慧型系統、柔性建模與集成技術。

發表論文320篇;出版著作14部(獨立專著7部,合作編著7部,包括在美國出版的1部英文專講迎著),待出版4部;獲國際獎勵2項、位於第一名的學會獎與省部級科技進步獎18項;以唯一發明人獲4項國家發明專利證書(另受理3英)。