移动端

  • 题王微信公众号

    题王微信公众号

    微信搜“题王网”真题密题、最新资讯、考试攻略、轻松拿下考试

问答题

什么是塔曼断言?

发布日期:2020-12-11

什么是塔曼断言?

试题解析

前后断言方法

前后断言方法是在语句前后分别加上前提条件(即前断言)和结果断言(即后断言),用程序设计逻辑证明程序正确性的方法。前提条件是该语句可执行的充分条件。 结果断言指出语句执行中止后应具有的性质。前提 条件又称前置断言,结果断言也称后置断言、后置条 件等。

中文名
前后断言方法
位置
语句前后
外文名
pre-and post-assertion method
释义
后置断言、后置条 件等

塔曼拉塞特

塔曼拉塞特(阿拉伯语:تمنراست‎;英语:Tamanrasset)位于阿尔及利亚南部,是塔曼拉塞特省的首府。

中文名
塔曼拉塞特
行政区类别
省会
下辖地区
7个县和10个区
面积
556,200 km
气候条件
热带沙漠气候
外文名
Tamanrasset
所属地区
阿尔及利亚
地理位置
阿尔及利亚东南部
人口数量
198,691(2008)

妄下断言

妄下断言指不经考虑地说出断定的话,出自《猫》。

中文名
妄下断言
注音
wàng xià duàn yán
外文名
Jump to that
释义
不经考虑地说出断定的话

标签: 断言

题王网让考试变得更简单

扫码关注题王,更多免费功能准备上线!

此试题出现在

大学试题

理学

去刷题
热门试题热门资讯 相关试题

暂无相关推荐~