上一页

ⓘ 断言




断言
                                     

ⓘ 断言

斷言 、 宣稱 、 主張 、 聲明 或這概念有以下可能意義:

  • 斷言 程式,一電腦程式技術. (Assertion that program,a computer program technical)
  • 訴諸斷言, 以斷言來取代理據的論證謬誤。. (Resorting to assertion, to assert to replace the rationale of the argument fallacies)
  • 在言語行為理論中的斷言類別Assertive class是指發言者對某事物的陳述表達對該議題真相的信念及承諾。.
  • 逻辑断言, 邏輯陳述句的一種, 前提為真。. (Logical assertion, logical declarative one, the premise is true)
                                     
  • 可始终被假定成立的条件 比如 循环不变条件是指在循环开始和结束后始终成立的条件 不变条件在逻辑推理计算机程序正确性时 特别有用 优化编译器理论 契约式设计设计方法论及形式方法 都十分依赖于计算机程序的不变条件 程序员往往使用 断言 来现式定义不变条件 一些面向对象编程语言也有特定语法定义类不变条件
  • 在演绎法中 字母A表作形如 甲均是乙 的全肯定命题 字母I E和O表形如 一些甲是乙 的部分肯定 以及一些形如 一些甲非乙 的部分否定命题 以上可能来自拉丁动词affirmo 我 断言 与nego 我否认 这种用法可溯至13世纪 虽然一些学者认为来源是希腊逻辑学家 上述用法也有应用在数学和逻辑学中 符号 反转的字母A 表示 对 任意 例如
  • 行这方面的研究 规约语言在比编程语言高的多的层次上描述系统 因此 在规约语言被实际实现之前 必须经过一个精化 不断添加实现细节 的过程 规约语言的一个重要应用是允许创建程序正确性的证明 参见自动定理证明 Alloy语言 断言 定义语言 B规约语言 SDL 统一建模语言 VDM规约语言 Z规约语言
  • 在古典邏輯中 无矛盾律 英語 Law of noncontradiction 縮寫為LNC 也被称为矛盾律 law of contradiction 把 断言 命题 Q 和它的否定命题 Q 二者同时在 同一方面 为真的任何命题 P 断定为假 用亚里士多德的话说 你不能同时声称某事物在同一方面既是又不是
  • Coq 是一个交互式的定理证明辅助工具 它允许用户输入包含数学 断言 的表达式 机械化地对这些 断言 执行检查 帮助构造形式化的证明 并从其形式化描述的构造性证明中提取出可验证的 certified 程序 Coq 的理论基础是归纳构造演算 calculus of inductive constructions 一种构造演算 calculus
  • 性的宗教著作 它最初是苏格兰神学家 长老会信徒希斯录在1853年所写的一本宗教小册子 在1858年进行了扩充 最后在1919年扩展成一本书 其主题是 断言 罗马天主教就是新的巴比伦 是植根于异教的 两个巴比伦 在线阅读 The Two Babylons: A Case Study in Poor Methodology
  • 程序设计实践是程序设计中的经验总结 这里有许多事务 概念与技巧 程序排错 程序测试 程序优化 程序移植 国际化开发 日志管理 算法 数据结构 编程接口 中断 断言 异常处理 参见 数据结构 字符串 文件 缓冲区 对象池 链接池 线程池 管道 套接字 POSIX ODBC JDBC 宏 正则表达式 C STL
  • 在公理化集合论和使用它的逻辑 数学和计算机科学分支中 替代公理模式是 Zermelo - Fraenkel 集合论的一个公理模式 它本质上 断言 一个集合在一个映射 泛函谓词 下的像也是一个集合 它对于构造特定的大集合是必需的 假定 P 是一个雙变量谓词 对于任何集合 x 有一个唯一的集合 y 使 P x
  • 告 僅限2015年度至2016年度 接續路線欄的括號內是路線愛稱與接續站的 若與該站名不同 車站編號 市営地下鉄海岸線は 失敗 神戸市長が 断言 - 神戸新聞 2018年10月4日 利用客3割減 和田岬線の廃止検討 JR西日本 - 神戸新聞 2011年2月15日 平成27 28年度

用户还搜索了:

...
...
...