「数理論理学」を解説文に含む見出し語の検索結果(31~40/868件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/21 13:58 UTC 版)「フランス語の限定詞」の記事における「数量詞」の解説数量詞は数や量、あるいは数理論理学に...
段階的な連続体時空連続体.物事がその中で未来から現在を通り過去へと流れる、経験の連続体非空間の連続体大きさや量の連続体における程度真実が0と1の間で価値の連続体を仮定することができる数理論理学の式文節...
段階的な連続体時空連続体.物事がその中で未来から現在を通り過去へと流れる、経験の連続体非空間の連続体大きさや量の連続体における程度真実が0と1の間で価値の連続体を仮定することができる数理論理学の式文節...
段階的な連続体時空連続体.物事がその中で未来から現在を通り過去へと流れる、経験の連続体非空間の連続体大きさや量の連続体における程度真実が0と1の間で価値の連続体を仮定することができる数理論理学の式文節...
出典:『Wiktionary』 (2021/10/24 01:36 UTC 版)名詞否定(ひてい)(ある事柄について)認めずに、そうではないと打ち消すこと。(ある物事を)退けること。(論理学)(ある命...
Jump to navigationJump to searchこの記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2017年7月)...
Jump to navigationJump to searchこの記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2017年7月)...
ナビゲーションに移動検索に移動数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...