000 |
|
01315nam0 2200301 450 |
001 |
|
0 |
005 |
|
20250918131436.0 |
010 |
__ |
■a978-7-310-06628-5■dCNY68.00 |
100 |
__ |
■a20250306d2024 em y0chiy50 ea |
101 |
0_ |
■achi |
102 |
__ |
■aCN■b120000 |
105 |
__ |
■aak a 000yy |
106 |
__ |
■ar |
200 |
1_ |
■a实验逻辑学■f李娜编著■Ashi yan luo ji xue |
205 |
__ |
■a第3版 |
210 |
__ |
■a天津■c南开大学出版社■d2024.12 |
215 |
__ |
■a309页■c图■d24cm |
225 |
2_ |
■a南开大学“十四五”规划精品教材丛书■i哲学系列■Anan kai da xue “shi si wu ”gui hu+...... |
314 |
__ |
■a李娜, 南开大学哲学院教授, 博士生导师。一直从事现代逻辑的教学与研究。 |
320 |
__ |
■a有书目 (第309页) |
330 |
__ |
■a本教材将这些数理逻辑中有许多可操作的方法, 如真值表方法、形式推理等方法通过逻辑学习软件LPL (Language,+...... |
333 |
__ |
■a本书可作为哲学、数学、语言学、逻辑学等相关专业学生学习数理逻辑的辅助教材, 也可为人工智能研究者提供参考 |
410 |
_0 |
■12001■a南开大学“十四五”规划精品教材丛书■i哲学系列 |
606 |
0_ |
■a实验逻辑■j教材■x高等学校■Ashi yan luo ji |
690 |
__ |
■aB81■v5 |
701 |
_0 |
■a李娜■4编著■Ali na |
801 |
|
■aCN■bGSXY■c20250918 |
905 |
|
■aGSXY■fB81/L485+2=3■g1847001■g1847002■g1847003 |