加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书基于模型理论的信息系统开发基础9787313132
¥ ×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安装VMWarePlayer5.3.2启动VM5.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建模的基础附录索引
高原康彦,东京工业大学名誉教授、日本大学教授。
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员