数理逻辑在《线性代数》中的应用

数理逻辑在《线性代数》中的应用   数理逻辑在《线性代数》中的应用　　数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支. 它是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观