返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 醉染图书基于模型理论的信息系统开发基础9787313132
  • 正版全新
    • 作者: (日)高原康彦 等著 | (日)高原康彦 等编 | (日)高原康彦 等译 | (日)高原康彦 等绘
    • 出版社: 上海交通大学出版社
    • 出版时间:2020-11-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: (日)高原康彦 等著| (日)高原康彦 等编| (日)高原康彦 等译| (日)高原康彦 等绘
    • 出版社:上海交通大学出版社
    • 出版时间:2020-11-01
    • 版次:1
    • 印次:1
    • 字数:291000
    • 页数:268
    • 开本:16开
    • ISBN:9787313237132
    • 版权提供:上海交通大学出版社
    • 作者:(日)高原康彦 等
    • 著:(日)高原康彦 等
    • 装帧:平装
    • 印次:1
    • 定价:88.00
    • ISBN:9787313237132
    • 出版社:上海交通大学出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2020-11-01
    • 页数:268
    • 外部编号:1202190815
    • 版次:1
    • 成品尺寸:暂无

    模型篇

    1逻辑思考

    1.1命题逻辑

    1.1.1命题定义

    1.1.2复合命题

    1.1.3真值表和重言式

    1.1.4蕴含

    练习题

    1.2谓词逻辑

    1.2.1量词与定义域

    1.2.2量词的辖域

    1..多元谓词

    练习题

    附录

    2集合表述

    2.1集合的表示及其标记法

    练习题

    2.2列表

    2.2.1向量

    2.2.2矩阵

    练习题

    .集合的运算

    练习题

    2.4直积与关系的定义

    2.4.1直积的定义

    2.4.2关系的定义

    练习题

    2.5等价关系

    练习题

    2.6顺序关系

    练习题

    2.7函数

    练习题

    3自动机建模的利用

    3.1自动机建模的基本概念

    3.1.1框图(输入与输出)

    3.1.2状态与输出函数

    3.1.3状态迁移图

    3.1.4自动机模型定义

    3.1.5计算机可读表达

    3.1.6计算机实现模型

    3.1.7编译与运行

    练习题

    3.2自动机状态为符号时的建模实例

    3.2.1100日元换币机(状态有1个)

    3.2.2带按钮的硬币换币机(状态有2个)

    3..出售150日元车票的自动售卖机(状态有3个)

    练习题

    3.3自动机状态为数值时的建模实例

    3.3.1状态数值化方法

    3.3.2带有按钮的自动售卖机(用1个变量来表示状态)

    3.3.3可以确认零钱的自动售卖机(用向量来表示状态)

    3.3.4整数计算器(一次写出全部输入)

    练习题

    3.4自动机的动作与物理实现

    3.4.1输出序列的计算

    3.4.2仓库模型(流程模型)

    3.4.3自动机的物理实现

    3.4.4自动售卖机的自动机公式化表示与Prolog程序描述

    之间的对应关系

    练习题

    4关系型数据库建模的利用

    4.1数据库的种类与定义

    4.1.1数据库的种类

    4.1.2关系型数据库的定义(作为集合定义的关系)

    4.2数据库的分析与设计

    4.2.1数据分析

    4.2.2数据库设计

    4.3数据库的构建与作
    4.3.1数据库语言

    4.3.2数据定义语句

    4.3.3数据操作语句

    练习题

    附录

    实践篇

    5系统开发环境的实现

    5.1CAST语言

    5.1.1CAST模型的实例

    5.1.2CAST的解答与说明

    5.2CAST的获取与设置

    5.3MTA-SDK的安装与运行

    5.3.1安装VMWarePlayer

    5.3.2启动VM

    5.4MTA-SDK的快速入门

    5.4.1MTA-SDK的启动与结束

    5.4.2MTA-SDK的动作确认

    5.4.3窗口

    5.5MTA-SDK的作
    5.5.1系统开发步骤的概要

    5.5.2运行方法

    6问题求解系统的开发

    6.1问题求解系统的开发方法

    6.1.1问题描述

    6.1.2问题求解的基本思路

    6.1.3问题求解的流程

    6.1.4基于模型理论方法的问题求解系统的结构

    6.1.5用户模型的架构

    6.1.6问题求解系统的开发步骤

    6.2开发示例1:WGC问题

    练习题

    6.3开发示例2:水壶问题

    练习题

    6.4开发示例3:旅行推销员问题

    练习题

    7业务处理系统的开发

    7.1业务处理系统的描述

    7.2业务处理系统的模型

    7.2.1用于业务处理系统开发的模型

    7.2.2用户模型

    7.3业务处理系统的开发方法

    7.3.1业务处理系统的开发步骤

    7.3.2运行形态

    7.4开发示例1:书店赊售管理系统

    7.4.1确定技术规格

    7.4.2用数据流图表示技术规格

    7.4.3确定MactionName和搭建基本架构系统

    7.4.4显示基本架构系统的初始界面

    7.4.5实现各个宏作
    7.4.6实施整体测试

    练习题

    7.5开发示例2:酒类批发店业务管理系统

    7.5.1确定技术规格

    7.5.2用数据流图表示技术规格

    7.5.3确定MactionName和搭建基本架构系统

    7.5.4显示基本架构系统的初始界面

    7.5.5实现各个宏作
    7.5.6实施整体测试

    练习题

    附录

    8系统的开发

    8.1价格调整系统的

    8.1.1自动机模型

    8.1.2用户模型

    8.1.3运行结果

    练习题

    8.2二体动力学的

    8.2.1自动机模型

    8.2.2用户模型

    8..运行结果

    练习题

    8.3建模的基础

    附录

    索引

    高原康彦,东京工业大学名誉教授、日本大学教授。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购