在"中文"词典里断言}的意思

断言的发音

断	言
duàn	yán

断言在中文中的意思是什么？

断言

斷言、宣稱、主張、聲明或這概念有以下可能意義: ▪ 斷言, 一電腦程式技術 ▪ 逻辑断言, 邏輯陳述句的一種, 前提為真。 ▪ 訴諸斷言, 以斷言來取代理據的論證謬誤。 ▪ 在言語行為理論中的斷言類別是指發言者對某事物的陳述表達對該議題真相的信念及承諾。...

在中文 词典里断言的定义

断言 ①十分肯定地说：可以～，这种办法行不通。 ②断定的话；结论：作出这样的～未免过早。

断言的翻译

通过我们的中文多语言翻译器,找到断言的25种语言翻译

该章节所呈现的将断言由 中文向其他语言的翻译是通过自动统计翻译获得的；在中文中基本的翻译单位是单词«断言»。

• 中文: 断言
• 翻译者中文 - 西班牙语: Afirmación
• 翻译者中文 - 英语: Assertion
• 翻译者中文 - 印地语: अभिकथन
• 翻译者中文 - 阿拉伯语: توكيد
• 翻译者中文 - 俄语: утверждение
• 翻译者中文 - 葡萄牙语: afirmação
• 翻译者中文 - 孟加拉语: কথন
• 翻译者中文 - 法语: affirmation
• 翻译者中文 - 马来语: penegasan
• 翻译者中文 - 德语: Behauptung
• 翻译者中文 - 日语: アサーション
• 翻译者中文 - 韩语: 어설
• 翻译者中文 - 印尼爪哇语: tuntutan
• 翻译者中文 - 越南语: quả quyết
• 翻译者中文 - 泰米尔语: அசர்ஷென்
• 翻译者中文 - 马拉地语: ठाम मत
• 翻译者中文 - 土耳其语: iddia
• 翻译者中文 - 意大利语: asserzione
• 翻译者中文 - 波兰语: twierdzenie
• 翻译者中文 - 乌克兰语: затвердження
• 翻译者中文 - 罗马尼亚语: afirmație
• 翻译者中文 - 希腊语: ισχυρισμός
• 翻译者中文 - 布尔语(南非荷兰语): bewering
• 翻译者中文 - 瑞典语: påstående
• 翻译者中文 - 挪威语: påstand

与 «断言»相关的中文书籍

在以下的参考文献中发现断言的用法。与断言相关的书籍以及同一来源的简短摘要提供其在 中文文献中的使用情境。

電子設計自動化-EDA技術與VHDL: - 第 45 页

把斷言語句分為循序斷言語句和並行斷言語句兩種類型。 1 .循序斷言語句放在進程内的斷言語句叫循序斷言語句。循序斷言語句和其他語句一樣在進程内按順序執行。例 7 - 30 是此類語句使用的一個示例。例中,當類比模擬進行到進程? 1 時,若檢測 ...

潘松 ((電機工程)), ‎黃繼業 ((電機工程)), 2007

程序设计/: 考点解析及模拟训练 - 第 240 页

0 断言处理程序。"断言"是指变量应满足的条件。例如卜 10 。在所测试源程序中,在指定位置按一定格式,用注释语句写出的断言叫做断言语句。在程序执行时,对照断言语句检查事先指定的断言是否成立。可以帮助复杂系统的检验、调试和维护。断言分局 ...

鲁强, ‎屈红刚, 2005

EDA工程方法学 - 第 393 页

9.6 则归纳断言法 9.6.1 工作原理在证明程序正确性时常用的归纳断言法,在逻辑验证中也得到了有效的应用。归纳断言法常用来验证微程序设计和过程式的硬件描述语言。我们用一个程序证明的例子来说明归纳断言法的工作原理。下面是一个整数除法 ...

曾繁泰, 2003

网络信息系统的分析设计与评价: 理论·方法·案例 - 第 264 页

5 )断言控制排错断言控制断点是一种条件断点,断言是用源程序语言写成的逻辑谓语,用来描写程序单元当前状态与程序状态之间的关系,例如 J ( lOANDAl = M 。在程序状态与断言出现偏离时,断言控制排错机构将自动产生程序状态的记录,改变执行序列 ...

赵玮, ‎刘云, 2005

人工智能 - 第 107 页

使用现存的变量绑定,试将下一个前提与一个现有的断言进行匹配。若在该前提中有任何变量出现,则增加现存的变量绑定。以对每个前提重复上面这一步骤,随着进展积累变量绑定,直至,少和别用迄今建立的一个绑定集已没有与任何现有断言的匹配。

温斯顿, 2005

The C++ Programming Language國際中文版 第四版(電子書): - 第 356 页

舉例來說,除非某個邏輯條件式為真( true ) ,否則不應該對某些「執行時期斷言」進行評估。通常,邏輯條件式就像是一個除錯旗標( debugflag )、一個檢驗等級( 1evel )、或是一個遮罩( mask ) ,它會選出斷言來進行強制實施。•斷言不應該太冗長或太複雜, ...

Bjarne Stroustrup, 2015

精通Python 3程式設計 第二版 (電子書): - 第 497 页

原始字串 67 表 13.3:正規運算式斷言符號意義^比對字串的開頭;若有指定 re.MULTILINE 旗標,則還會比對每個換列符號之後字串的開頭$比對字串的結尾;若有指定 re.MULTILINE 旗標,則還會比對每個換列符號之前字串的結尾\A 比對字串的開頭\b 比 ...

Mark Summerfield, 2010

计算机科学概论 - 第 197 页

结果得到的是一组断言,每个断言都是该程序的一些前提以及该程序中到达建立这个断言那个点的那段指令的一个结论。如果在该程序的结束处如此确定的断言对应于所希望的输出规格说明,那么我们可以推断这个程序是正确的。举例说明,我们考虑图 5 ...

布鲁克希尔, 2005

Java SE 8 技術手冊(電子書): - 第 8-23 页

斷言功能是在 JDK1.4 之後提供,由於使用 assert 作為關鍵字,為了避免 JDK 1.3或更早版本程式使用 assert 作為變數導致名稱衝突問題,預設執行時不啟動斷言檢查。如果要在執行時啟動斷言檢查,可以在執行 java 指令時,指定-enableassertions 或 ...

林信良, 2014

關於邏輯學的100個故事: - 第 119 页

邏輯斷言在電腦代碼編寫中使用最為廣泛,尤其在. NET Framework 安全性中,可以確保方法有權訪問特定的資源(即使方法的調用方沒有所需的許可權)。在編寫代碼的過程中,我們總會做出一些假設,斷言就是用於在代碼中捕捉這些假設的,程式設計師 ...

吳正榮, 2012

包含词语«断言»的新条目

找出国内和国际出版社所讨论的内容，以及词语断言在以下新条目的上下文中是如何使用的。

刘嘉玲谈干儿子康康断言《澳门3》票房能夺冠

搜狐娱乐讯（玄反影/图文）昨日，刘嘉玲现身北京出席某意大利奢侈珠宝品牌的新品发布会。身穿一袭高级定制金色长裙的她优雅亮相，“土豪金长裙”珠光宝气，华贵 ... «国际在线, 九月 15»

欧洲央行行长德拉基称现在断言是否加码QE为时过早

汇通网9月23日讯——欧洲央行[微博](ECB)行长德拉基(Mario Draghi)周三(9月23日)称，欧洲央行需要更多时间来评估是否强化其资产购买计划。 德拉基对欧洲议会 ... «新浪网, 九月 15»

干货：Unity 5.1断言库使用指南

Unity 5.1为开发者带来了全新的断言库。本篇文章中，我们将为您阐述何为断言库（ASSERTION LIBRARY），以及您如何用它以提升游戏中运行错误的诊断效率。 «CocoaChina, 九月 15»

“好声音”关诗敏：昔日冠军减肥受挫曾被断言活不过27岁

解放日报解放网讯（记者 李君娜）8月7日晚，第四季《中国好声音》盲选进入第四期，CSM50城收视连续四周破五，为5.457。当晚，19岁的关诗敏以一曲《晴天》赢得两位 ... «解放牛网, 八月 15»

小伙四楼摔落被医生断言终生瘫痪姑姑精心照顾告别卧床不起

中国江苏网8月6日讯(记者徐其崇) 8月5日的日子，是魏星终生难以忘怀的，3年前，他从四楼高的位置摔了下来，摔断了胸椎，切除了脾脏。医生断言，命能够保住，这 ... «中国江苏网, 八月 15»

俄媒称美国在南海瞎喊狼来了断言中俄威胁美国

五角大楼继续就俄罗斯和中国的“幽灵威胁”警告白宫，断言中国龙与北极熊对美国安全构成实质威胁。 金灿荣对《环球时报》记者说，美国在东盟外长系列会议期间极力 ... «新浪网, 八月 15»

俄媒：美国在南海瞎喊狼来了断言中俄威胁美国

蓝色，忠诚、沉着，这是一群蓝色的兵，他们穿着蓝色的迷彩昼夜警惕地巡逻在海天之间，那抹蓝把海天尽染。 蓝——蓝天苍苍，碧海茫茫，南沙有群蓝色的兵。笑傲艰险 ... «环球网, 八月 15»

美分析人士断言：TPP一举将中国重新逼入困境！

由美国主导的跨太平洋战略经济伙伴关系协定(TPP)谈判据称进入最后一轮，12个国家7月28日至31日在美国夏威夷毛伊岛召开部长级会议，目标是完成谈判。 «中华网, 七月 15»

日本手机那些事:索尼断言不退出移动业务

又到了周末时间，本周的《日本手机那些事儿》开始啦。要说本周发生了什么大事件，那应该就要说索尼公开宣布绝不会退出移动业务了。所以今天的豆知识环节，咱们来 ... «新浪网, 七月 15»

海军少将张召忠退休断言中美较量中国稳胜

7月8日下午，海军少将张召忠在接受澎湃新闻（www.thepaper.cn）电话采访时确认，自己已于近日正式退休。 在电话中，这位粉丝很多、争议也不少的少将语气轻松地 ... «搜狐, 七月 15»