书目信息 |
| 题名： |
可计算性与数理逻辑
|
|
| 作者： | 布勒斯, ， Burgess, ， Jeffrey, 著 ；何自强 译 | |
| 分册： | ||
| 出版信息： | 北京 电子工业出版社 2005.7 |
|
| 页数： | 12,288页 | |
| 开本： | 26cm | |
| 丛书名： | 国外计算机科学教材系列 | |
| 单 册： | ||
| 中图分类： | TP301.4 ， O141 | |
| 科图分类： | ||
| 主题词： | 电子计算机--dian zi ji suan ji--可计算性--教材 , 数理逻辑--shu li luo ji--教材 , 可计算性--ke ji suan xing | |
| 电子资源： | ||
| ISBN： | 7-121-00779-7 | |
| 000 | 01665nam0 2200397 45 | |
| 001 | 012005000000 | |
| 005 | 20051207091358.71 | |
| 010 | @a7-121-00779-7@dCNY32.00 | |
| 100 | @a20051107d2005 em y0chiy0121 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 1 | @a可计算性与数理逻辑@Ake ji suan xing yu shu li luo ji@d= Computability and logic@f(美)[布勒斯]George S. Boolos，(美)John P. Burgess，(美)Richard C. Jeffrey著@g何自强等译@zeng |
| 210 | @a北京@c电子工业出版社@d2005.7 | |
| 215 | @a12,288页@d26cm | |
| 225 | 2 | @a国外计算机科学教材系列@Aguo wai ji suan ji ke xue jiao cai xi lie |
| 304 | @a书名原文：Computability and logic, Fourth edition | |
| 305 | @a据原书第4版译出 | |
| 306 | @aCambridge University Press授权出版 | |
| 314 | @a何自强，北京航空航天大学计算机学院教授，译有《可计算性与数理逻辑》。 | |
| 320 | @a有书目 | |
| 330 | @a本书主要论述了可计算性理论、基础元逻辑及一些高级专题，包括可枚举性、对角化、图灵可计算性、不可计算性、算盘可计算性等27章内容。 | |
| 333 | @a阅读对象：计算机科学、哲学等专业的学生等 | |
| 461 | 0 | @12001 @a国外计算机科学教材系列 |
| 510 | 1 | @aComputability and logic@zeng |
| 606 | 0 | @a电子计算机@Adian zi ji suan ji@x可计算性@j教材 |
| 606 | 0 | @a数理逻辑@Ashu li luo ji@j教材 |
| 606 | 0 | @a可计算性@Ake ji suan xing |
| 690 | @aTP301.4@v4 | |
| 690 | @aO141@v4 | |
| 701 | 1 | @c(美)@a布勒斯,@Abu le si@bG. S.@g(Boolos, George S.)@4著 |
| 701 | 1 | @c(美)@aBurgess,@bJ. P.@g(Burgess, John P.)@4著 |
| 701 | 1 | @c(美)@aJeffrey,@bR. C.@g(Jeffrey, Richard C.)@4著 |
| 702 | 0 | @a何自强@Ahe zi qiang@4译 |
| 801 | 0 | @aCN@bSRXX@c20051207 |
| 905 | @a10447@dTP301.4@eB982 | |
| 可计算性与数理逻辑= Computability and logic/(美)[布勒斯]George S. Boolos，(美)John P. Burgess，(美)Richard C. Jeffrey著/何自强等译.-北京：电子工业出版社，2005.7 |
| 12,288页；26cm.-(国外计算机科学教材系列) |
| 使用对象：阅读对象：计算机科学、哲学等专业的学生等 |
| ISBN 7-121-00779-7：CNY32.00 |
| 本书主要论述了可计算性理论、基础元逻辑及一些高级专题，包括可枚举性、对角化、图灵可计算性、不可计算性、算盘可计算性等27章内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：可计算性与数理逻辑
索取号：TP301.4/B982
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 546354 | 205463540 | 自科库301/301自科库 101排3列3层/ [索取号:TP301.4/B982] | 在馆 | |
| 2 | 546355 | 205463559 | 自科二线404/404自科库 12排6列2层/ [索取号:TP301.4/B982] | 在馆 | |
| 3 | 546356 | 205463568 | 自科库301/301自科库 101排3列3层/ [索取号:TP301.4/B982] | 在馆 |