相似詞查詢

機器證明的同義詞

機器證明的相似詞

數學機械化 吳方法 自動推理 幾何定理 數學理論 機器定理證明 幾何定理機器證明 現代數學 卡拉比猜想 純粹數學 數學研究 代數拓撲學 微分幾何 數學技術 馮·諾依曼 微分拓撲學 計算幾何 圖靈機 拓撲學 代數幾何 代數拓撲 符號邏輯 非歐幾何學 素數定理 現代微分幾何 遍歷理論 龐加萊猜想 函數論 啟發式程序 算子代數

機器證明的英文翻譯

mechanical theorem proving

機器證明用英文怎麼說 - 英語詞典

相關查詢

機器識別 機器診斷 機器語言 機器語言代碼 機器語言程序 机器证明

這是一個相似詞在線查詢工具,為用戶提供相似詞查詢服務,返回的結果包含了近義詞、反義詞和同義詞。
該工具常用於寫作輔助(關鍵詞聯想)和論文降重(同義詞替換)。
本網站收錄了最新版的新華字典,以及通過全網數據挖掘出海量的中文詞條,並對數據進行持續更新,保證查詢的效果與時俱進。

什麼是相似詞?
相似,指類似的意思,按日常習慣用法,相似詞一般指同義詞,也可能包含反義詞(因為屬於同一類型的詞語)。
1. 近義詞指意思相近,但不完全相同的詞,比如:“開心”和“高興”、“謙虛”和“謙遜”、“滿意”和“欣慰”。
2. 反義詞是指兩個意思相反的詞,比如:“真”和“假”,“美”和“醜”。
3. 等義詞指意思完全相同的詞。
4. 同義詞包括近義詞和等義詞。

回到顶部