书目详细信息
： 实验逻辑学
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-310-06628-5:CNY68.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 120000 |
| 题名责任者项： | 实验逻辑学/.李娜编著 |
| 版本项： | 第3版 |
| 出版发行项： | 天津:,南开大学出版社:,2024 |
| 载体形态项： | 309页:;+图:;+24cm |
| 丛编项： | 南开大学“十四五”规划精品教材丛书 |
| 提要文摘： | 本教材将这些数理逻辑中有许多可操作的方法, 如真值表方法、形式推理等方法通过逻辑学习软件LPL (Language,ProofandLogic) 展现出来。学习者可以通过在计算机上操作 (或者实验) 逻辑学习软件LPL, 正确理解数理逻辑中的思想, 熟练掌握数理逻辑中的方法, 也可以配合本教材的慕课“实验逻辑学”进行学习。 |
| 题名主题： | 实验逻辑 高等学校 教材 |
| 中图分类： | B81-06 |
| 个人名称等同： | 李娜 编著 |
| 记录来源： | CN BWZ 20250612 |