机读格式显示(MARC)

• 000 01954nam0 2200361 450

• 001 0000742826

• 005 20190523080900.0

• 010 __ |a 978-7-121-35533-2 |d CNY168.00

• 100 __ |a 20190426d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 计算机科学中的数学 |A ji suan ji ke xue zhong de shu xue |e 信息与智能时代的必修课 |d = Mathematics for computer science |f (美) Eric Lehman, (美) F. Thomson Leighton, (美) Albert R. Meyer著 |g 唐李洋 ... [等] 译 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2019

• 215 __ |a 24, 808页 |d 24cm

• 314 __ |a Eric Lehman，谷歌公司杰出软件工程师，麻省理工学院计算机系博士。

• 314 __ |a F. Thomson Leighton，麻省理工学院应用数学系教授，是美国艺术与科学学院的院士，也曾被选入国家工程院，为网络和电路设计以及Web内容交付技术做出了重要贡献，更获得了ACM-SIGACT杰出服务奖。

• 314 __ |a Albert R. Meyer，麻省理工学院电子工程与计算机科学系教授，研究兴趣主要涉及主动学习和远程学习，编程语言的逻辑和语义等。

• 314 __ |a 唐李洋，女，博士，毕业于合肥工业大学管理科学与工程系。译有《高可用MySQL》 (第1版和第2版)等图书。

• 320 __ |a 有书目 (第802-805页)

• 330 __ |a 本书原为麻省理工学院计算机科学与工程专业的数学课程讲义，谷歌技术专家参与编写，涵盖计算机科学涉及的全部基础数学知识，包括形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等，特别强调数学定义、证明及其应用方法。

• 500 10 |a Mathematics for computer science |A Mathematics For Computer Science |m Chinese

• 517 1_ |a 信息与智能时代的必修课 |A xin xi yu zhi neng shi dai de bi xiu ke

• 606 0_ |a 计算机科学 |A ji suan ji ke xue |x 数学基础

• 690 __ |a TP301.6 |v 5

• 701 _1 |a 雷曼 |A lei man |g (Lehman, Eric) |4 著

• 701 _1 |a 莱顿 |A lai dun |g (Leighton, F. Thomson) |4 著

• 701 _1 |a 迈耶 |A mai ye |g (Meyer, Albert R. ) |4 著

• 702 _0 |a 唐李洋 |A tang li yang |4 译

• 801 _0 |a CN |b HDUL |c 20190523

• 905 __ |a HDUL |d TP301.6/160

• 920 __ |a 233030 |z 1