数理逻辑实验教程
- ISBN-10
- 7307079917
- ISBN-13
- 9787307079915
- Category
- Logic, Symbolic and mathematical
- Pages
- 271
- Language
- Chinese
- Published
- 2010
- Author
- 李娜
Description
本书共分三个部分,第一部分介绍了一些在线的逻辑软件的使用以及逻辑软件LPL Software的使用;第二部部分介绍了命题逻辑;第三部分介绍了量词逻辑.
Get the book
Similar books
-
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
By J. Roger Hindley, J. P. SeldinTo H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
-
Prophecy and Dissent, 1914-16
By Bertrand RussellBrynmor Jones Library , Hull University for the Records of the Union of Democratic Control ; the British ... the E. D. Morel letters and the Graham Wallas letters ) ; King's College , Cambridge ( the letters of Goldsworthy Lowes ...
-
哲学研究
By 维特根斯坦本书是作者从事哲学研究积淀下来的思想, 这种课题:含义, 理解, 命题, 逻辑等概念, 数学基础, 意识状态, 等等.
-
The Collected Works of Ludwig Wittgenstein
By Ludwig WittgensteinThe Collected Works of Ludwig Wittgenstein
-
逻辑哲学论
By 维特根斯坦本书从符号系统的原则和任何语言中词和事物之间必须具有的关系出发, 将这种考察的结果应用于传统哲学的各部分.
-
Logos: Introduction to Symbolic Logic
By Nicholas T. HabibP : Penny is a physician R : Ralph is a physician The argument presented in SL is : ~ ( PvR ) ~ P The truth table analysis is : Pr Cn P R PVR ~ ( PVR ) ~ P T T T F F T F T F F FT T F T F F F T T By looking carefully at the truth table ...
-
Transition to Higher Mathematics: Structure and Proof
By John Edward McCarthy, Bob A. DumasThis book is written for students who have taken calculus and want to learn what "real mathematics" is.
-
数理逻辑
By 王兵山研究生教材
-
Introduction to Mathematical Logic and Resolution Principle
By Guo-Jun Wang, Hong-Jun ZhouIntroduction to Mathematical Logic and Resolution Principle
-
Mathematical Logic
By Wolfgang Thomas, Heinz-Dieter Ebbinghaus, Jörg FlumMathematical Logic