數理邏輯(英語:Mathematicallogic)是數學的一個分支,其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成 ...,本書脫胎于北京大學哲學系本科“數理邏輯”課程的講義,針對邏輯學的初學者,尤其是初學邏輯的學生,介紹一階邏輯的最基本的知識和技術,包括一階語言的語形和語義、一階推演 ...,当代,「数理逻辑学」是指關於符號化「證明」和「計算」的形式公理系统、可數學模式化的邏輯、形式可定义性的研究。数理逻辑被分成四部份:模型论·证明论·递归论,也 ...,數理邏輯又稱...
【臺北市立大學學習與媒材設計學系】劉宇陽專任副教授評價
劉宇陽專任副教授任職於臺北市立大學學習與媒材設計學系,專長為:數理邏輯、互動多媒體設計、多媒體資訊系統,以下為劉宇陽...
【臺北市立大學資訊科學系】陳彥宏專任副教授評價
陳彥宏專任副教授任職於臺北市立大學資訊科學系,專長為:計算理論、演算法設計與分析、圖論與網路設計,以下為陳彥宏老師的...
【中國文化大學化學系】洪祐明專任副教授評價
洪祐明專任副教授任職於中國文化大學化學系,專長為:理論化學、計算化學、物理化學,以下為洪祐明老師的專長及系所詳細資訊...
【朝陽科技大學資訊工程系】洪若偉專任教授評價
洪若偉專任教授任職於朝陽科技大學資訊工程系,專長為:電腦演算法、圖形理論、計算理論、網路通訊、智慧型手機延伸應用,以...
【大葉大學資訊工程學系】洪春男專任助理教授評價
洪春男專任助理教授任職於大葉大學資訊工程學系,專長為:演算法與資料結構、圖論及其演算法、離散數學與組合最佳化、計算理...
【城市學校財團法人臺北城市科技大學資訊工程系】孫龍生專任助理教授評價
孫龍生專任助理教授任職於城市學校財團法人臺北城市科技大學資訊工程系,專長為:嵌入式系統、數位訊號處理、數位系統設計、...
【朝陽科技大學資訊與通訊系】陳忠信專任副教授評價
陳忠信專任副教授任職於朝陽科技大學資訊與通訊系,專長為:計算機系統、無線網路,以下為陳忠信老師的專長及系所詳細資訊:...
【東海大學化學系】鄭秀瑤專任教授評價
鄭秀瑤專任教授任職於東海大學化學系,專長為:理論計算化學,以下為鄭秀瑤老師的專長及系所詳細資訊: 任職學校名稱:...
【義守大學財務與計算數學系】葉建寧專任助理教授評價
葉建寧專任助理教授任職於義守大學財務與計算數學系,專長為:數理邏輯、影像處理、多媒體程式設計,以下為葉建寧老師的專長...
【中原大學應用數學系】游逸哲兼任助理教授評價
游逸哲兼任助理教授任職於中原大學應用數學系,專長為:微積分、基礎數理邏輯,以下為游逸哲老師的專長及系所詳細資訊:&nbs...
【城市學校財團法人臺北城市科技大學數位多媒體設計系】沈正慈專任講師評價
沈正慈專任講師任職於城市學校財團法人臺北城市科技大學數位多媒體設計系,專長為:計算理論與演算法、計算機圖學、程式設計...
【聖約翰科技大學電機工程系】葉寶玲專任副教授評價
葉寶玲專任副教授任職於聖約翰科技大學電機工程系,專長為:物理化學、理論計算,以下為葉寶玲老師的專長及系所詳細資訊:&n...
【中國醫藥大學通識教育中心】江玠峰專任助理教授評價
江玠峰專任助理教授任職於中國醫藥大學通識教育中心,專長為:計算機理論、專案管理、數位教育,以下為江玠峰老師的專長及系...
【東海大學化學系】劉光華專任助理教授評價
劉光華專任助理教授任職於東海大學化學系,專長為:理論計算,以下為劉光華老師的專長及系所詳細資訊: 任職學校名稱:...
【城市學校財團法人臺北城市科技大學資訊工程系】溫清祥專任助理教授評價
溫清祥專任助理教授任職於城市學校財團法人臺北城市科技大學資訊工程系,專長為:數位系統設計、微處理機、計算機系統、數位...