חיפוש ברשת
מילון
חיפוש בפורום
二階述語論理 – מילון עברי-אנגלי
לצערנו, לא נמצאו תוצאות באנגלית עבור "二階述語論理"
ウィキペディア日本語版 Wikipedia - フリー百科事典
הורד מילון בבילון 9 למחשב שלך
二階述語論理
二階述語論理
(にかいじゅつごろんり、)あるいは単に
二階論理
(にかいろんり、)は、
一階述語論理
を拡張した論理体系であり、一階述語論理自体も
命題論理
を拡張したものである。二階述語論理もさらに
高階述語論理
や
型理論
に拡張される。
Wikipedia.orgをもっと見ると…
c この記事は
ウィキペディア
の内容を用いており
グニュー・フリー・ドキュメンテーション・ライセンス
のライセンスのもとに提供されています そして
テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です
。
二階述語論理 – מילון עברי-עברי
לצערנו, לא נמצאו תוצאות בעברית עבור "二階述語論理"
ウィキペディア日本語版 Wikipedia - フリー百科事典
הורד מילון בבילון 9 למחשב שלך
二階述語論理
二階述語論理
(にかいじゅつごろんり、)あるいは単に
二階論理
(にかいろんり、)は、
一階述語論理
を拡張した論理体系であり、一階述語論理自体も
命題論理
を拡張したものである。二階述語論理もさらに
高階述語論理
や
型理論
に拡張される。
Wikipedia.orgをもっと見ると…
c この記事は
ウィキペディア
の内容を用いており
グニュー・フリー・ドキュメンテーション・ライセンス
のライセンスのもとに提供されています そして
テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です
。
© 2007
מילון
G בבילון אונליין - נתמך ע"י מילון בבילון 9