[ 第一章 Formal Logic ] [第二章 Proofs , Recursion , and Analysis of Algorithms ]
[ 第三章 Sets and Combinatiorics] [ 第四章 Relations , Functions , and Matrices ]
[ 第五章 Graphs and Trees ] [第六章 Graph Algorithms ]
[ 第七章 Boolean Algebra and Computer logic] [ 第八章ModelingAritmetic , Computation , and Languages ]
指導教授: 徐力行 教授

組員:

 8323029 林春年

8323039 余肇偉

8323051 劉冠中
註 : [ 本專題為學術研究用途 ,不做任何商業利益] [ 為了方便觀看請使用 640*480解析度]