(美)比格斯著;施忆等译2011 年出版198 页ISBN:9787534141874
本书是著名图书出版公司McGraw Hill出版,供美国初中学生(6-8年级)使用的科学教材。该套教材内容充分反映了当今迅猛发展的科学技术新思想与新成果和不断变革的科学教育新理念与新方法。...
钟志贤,陈江鸿主编2011 年出版294 页ISBN:9787549303922
本书分“绪论、基础篇、网络篇、搜索篇、管理篇、创作篇和安全篇”等七个部分,从理论和实践的层面演绎了计算机文化基础的内涵,从信息素养的角度引导学习者掌握计算机的应用。...
(韩)郑玩相著;牛林杰等译2013 年出版119 页ISBN:9787110079058
本系列图书从日常生活中经常接触到的一些棘手事件入手,试图运用数学知识逐步解决。本书借助法庭的形式,尽最大努力让大家的数学学习过程变得轻松愉快、越滋有味。读完本书后,大家一定会惊异于自己身上发生的变...
北京师范大学数学科学学院主编;罗里波编著2012 年出版300 页ISBN:9787303136025
本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的,其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
IEEE计算机先驱奖:1980-2006计算机科学与技术中的发明史
崔林,吴鹤龄主编2008 年出版501 页ISBN:7040245620
本书第一版出版于2002年3月,介绍了从1980年到2000年共20届(其中1983年未颁奖)总计108位计算机先驱奖获得者的生平、事迹和他们对计算机科学与技术的发展所作出的贡献。这次再版,除新增从2001年到2006年共5届(其...
赵慧著2018 年出版269 页ISBN:9787542957535
国际数学和科学趋势研究(简称TIMSS)作为有代表性的大型国际教育评价项目之一,得到越来越多国家的关注和参与,本书以TIMSS为研究对象,通过概述TIMSS二十年的发展与剖析TIMSS2011的测试结果,引出影响教育质量若干因...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
魏屹东主编2014 年出版245 页ISBN:9787030393692
本书搜集了关于从哲学史的角度探究认知科学的哲学基础的论文成果,从宏观的历史的角度为我们梳理了认知科学的哲学根源,内容涉及希腊哲学、中世纪哲学、近代哲学、心灵哲学、现代语言哲学等中的著名代表人物的...
吴福朝著2008 年出版374 页ISBN:7030210239
本书由射影几何、矩阵与张量、模型估计三个部分组成,它们是三维计算机视觉所涉及到的基本数学理论与方法。射影几何学是三维计算机视觉的数学基础,本书着重介绍射影几何学与它在视觉中的应用。...