机读格式显示(MARC)

• 000 00996oam2 2200289 450

• 001 0000804611

• 000 344982

• 005 20071023090600.0

• 010 __ |a 978-7-03-019828-0 |d CNY36.00

• 100 __ |a 20070925d2007 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑基础与粒计算 |9 shu li luo ji ji chu yu li ji suan |f 闫林著

• 210 __ |a 北京 |c 科学出版社 |d 2007

• 215 __ |a 259页 |d 24cm

• 225 2_ |a 计算机理论基础与应用丛书

• 330 __ |a 本书分两部分。前四章为第一部分，讨论数理逻辑的基础知识，包括经典命题演算、经典谓词演算和非经典的模态逻辑；后两章为第二部分，包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。

• 461 _0 |1 2001 |a 计算机理论基础与应用丛书

• 606 0_ |a 数理逻辑

• 606 0_ |a 电子计算机 |x 算法理论

• 690 __ |a O141 |v 4

• 690 __ |a TP301.6 |v 4

• 701 _0 |a 闫林 |9 yan lin |4 著

• 801 _0 |a CN |b NLIC |c 20071023

• 905 __ |a NLIC |d O141/8