逻辑与计算机科学哲学相关电子书下载

刘军著2009 年出版259 页ISBN：9787040258370

本书是一本非常优秀的介绍蒙特卡罗方法教材，系统全面地介绍了蒙特卡罗方法的基本原理、序贯蒙特卡罗理论、行为中的序贯蒙特卡罗方法、Metropolis算法及其推广、Gibbs抽样、一般条件抽样等。此外，本书还详细...

张效祥主编1998 年出版1212 页ISBN：7302029709

片断：巴克斯－诺尔形式体系（Backus－Naurformal－ism，BNF）用以描述程序设计语言语法的一种形式体系。它是以美国IBM公司的研究员J.Backus和丹麦哥本哈根大学P.Naur教授共同命名的，最初用于ALGOL60语言的语法，是一种典型...

陈新汉，张艳芬主编2010 年出版346 页ISBN：9787208094703

哲学就是研究“人生在世”的“人学”。“哲学概论”课程的教学理念，就是要围绕着人与世界相结合的方式，通过哲学的启迪，使学生在生活的过程中把知识转化为“人生在世”的智慧。...

黄达主编；张杰，高晓红，李宏瑾著2007 年出版324 页ISBN：9787300083407

本书对处于全球经济调整中的中国经济的增长情况和国家的宏观调控体系进行研究，提出建议。

周建武主编2013 年出版264 页ISBN：9787302317067

本书根据GCT考纲要求和2012年逻辑命题动向，配合考前辅导教程对2011版进行了修订。有针对性地精编了12套全真模拟试题，每道题都附有详细解析，供考生在考前复习阶段进行强化训练。...

田国强，陈旭东著2014 年出版442 页ISBN：9787508645445

改革是当下中国的时代命题。本书将中国改革放入过去170多年的历史长河中来考察，从一个更加全面、长远的视角来回顾改革、理解改革、求解改革，进而对全面深化改革给出行动建言，有助于将全面深化改革置入一个大...

林育兹主编；阳宾，许英杰，李志辉副主编2015 年出版396 页ISBN：9787040430264

可编程序控制器基础与逻辑控制一书以可编程逻辑控制器的最新发展和工程应用为主线，结合十余个典型工程控制实例，如：产品的批量包装、自动咖啡冲调机、学生成绩排序、不良产品检测、汽车烤漆房功能切换、立体仓...

（美）罗伯特·罗德斯2015 年出版0 页ISBN：

赵致琢著1998 年出版272 页ISBN：7030130243

本书基于计算机科学与技术一级学科人才培养科学理论体系，按照学科系列教材一体化设计的纲要，从科学哲学的角度出发，系统地介绍了计算科学的定义、特点、范畴、形态、历史渊源、发展变化、知识组织结构和分类体...

刘正君编著2012 年出版400 页ISBN：9787121166471

本书主要介绍利用MATLAB对科学问题进行计算与仿真，并针对部分专业问题，给出模拟程序和仿真结果。本书第1部分包括第1～6章，介绍数据类型、向量与矩阵的定义、表达式、程序结构与优化、文件处理。同时，还给出一些...