圖書信息
書名:數理邏輯實驗教程作 者：李娜
出版社：武漢大學出版社
出版時間：2010年10月1日
ISBN:9787307079915
開本：16開
定價:29.00元
作 者：李娜
出版社：武漢大學出版社
出版時間：2010年10月1日
ISBN:9787307079915
開本：16開
定價:29.00元
相關詞條
-
邏輯學實驗教程
內容介紹本書包括兩部分內容。第一部分是一些線上的亞里士多德三段論邏輯、數理邏輯和模態邏輯等的邏輯學習軟體簡介。第二部分是LPL軟體的操作與套用。本書主要講解LPL中三個軟體Fitch、Boole和Tarski...
內容介紹 -
弗雷格邏輯哲學與現代數理邏輯思潮
《弗雷格邏輯哲學與現代數理邏輯思潮》分為上下兩部分。第一部分，著重分析和剖析了佛雷格邏輯哲學的思想部分；第二部分，作者從弗雷格邏輯哲學出發對現代數理邏輯...
圖書信息 內容提要 編輯推薦 作者簡介 目錄 -
C·C++程式設計教程
數組和指針 指針和數組 數組和指針
圖書信息 作者簡介 內容簡介 目錄 -
電子商務軟體技術教程
《電子商務軟體技術教程》是2009年清華大學出版社出版的一本圖書，作者是蔡月茹。
內容簡介 編輯推薦 作者簡介 圖書目錄 -
NCL語言與POEM最佳化計算平台簡明教程
本書全面描述了NCL語言的語法、建模流程和POEM系統的配置與操作。 第3章介紹NCL語言的開發平台POEM的使用方法； 本書全面描述NCL語言的語法、...
NCL語言與POEM最佳化計算平台簡明教程 圖書簡介 前 言 目錄 -
計算機數學基礎
數理邏輯 命題邏輯，謂詞邏輯。2. 集合論 集合及其運算，二元關係與函式...，其主要內容有行列式、矩陣、線性方程組、集合論初步、圖論、數理邏輯。書中概念...：第一篇為矩陣代數；第二篇為數理邏輯，介紹命題邏輯和謂詞邏輯的基本概念和...
概述 圖書《計算機數學基礎》信息 圖書1 圖書2 圖書3 -
離散數學
5．數理邏輯部分：命題邏輯、一階謂詞演算、消解原理離散數學被分成三門課程進行教學，即集合論與圖論、代數結構與組合數學、數理邏輯。教學方式以課堂...和圖論、代數結構、數理邏輯等的總稱。但這只是不同學者在叫法上的區別。總之...
科目簡介 課程內容： 課程作用 發展方向 離散數學在生活中的套用 -
南開大學哲學院
，2010年。《數理邏輯實驗教程》，武漢大學出版社，2010年。《數理邏輯的思想與方法》，南開大學出版社，2012年。《邏輯學實驗教程...、數理邏輯、中國邏輯史、西方邏輯史、現代邏輯思想史、集合論等，專業題課為比較...
學院大樓 歷屆領導 學術機構 學科設定 專業介紹 -
李娜[南開大學哲學院教授]
，2010.6。2．《數理邏輯實驗教程》，武漢大學出版社，2010.10...實驗教程》，南開大學出版社，2012。5．《模態邏輯》，南開大學出版社...。一直從事現代邏輯的教學與研究。主講課程數理邏輯、模態邏輯、集合論...
人物經歷 主講課程 主要貢獻 獲獎記錄
