机读格式显示(MARC)

• 000 01184nam0 2200337 450

• 001 0000173084

• 005 20091210092642.0

• 010 __ |a 7-301-03229-3 |d CNY15.00

• 100 __ |a 19970320d1996 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 10 |a 可计算性与计算复杂性导引 |A ke ji suan xing yu ji suan fu za xing dao yin |f 张立昂编著 |F zhang li ang bian zhu

• 210 __ |a 北京 |c 北京大学出版社 |d 1996

• 215 __ |a 299页 |d 20cm

• 314 __ |a 张立昂,北京大学任教

• 320 __ |a 有书目(第299页)。

• 330 __ |a 本书内容包括三部分，可算性、形式语言与自动机、计算机复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。

• 333 __ |a 高等教育计算机专业教材

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

• 606 0_ |a 电子计算机 |x 理论 |x 计算复杂性

• 690 __ |a TP301.4 |v 4

• 701 _0 |a 张立昂 |A zhang li ang |4 编著

• 801 _0 |a CN |b RULIN |c 20050121

• 801 _2 |a CN |b LIY |c 20091208

• 801 _2 |a CN |b LIY |c 20091210

• 905 __ |a SYXY |d TP301.4/1

• 907 __ |d TP301.4 |a SYXY |y 2009 |h |f y52 |r CNY15.00 |e 1

• 908 __ |a 0101143031

• 908 __ |a 0000173084