私はアルゴリズム（A *に基づくパスファインディングアルゴリズム）について読んでいますが、それには私がよく知らない数学記号が含まれています：∀
コンテキストは次のとおりです。
v（s）≥g（s）= mins'∈pred（s）（v（s'）+ c（s'、s））∀s≠s start
誰かが∀の意味を説明できますか？
315688 次
5 に答える
135
これは、ウィキペディアの数学記号の表またはUnicodeのすべての文字（\u2200、∀）に見られるように、「すべての」（すべての）記号です。
于 2009-12-18T02:51:32.003 に答える
62
逆さまのA記号は、述語論理からの全称記号です。（一階述語論理のより完全な説明も参照してください。）他の人が指摘したように、それは、述べられたアサーションが与えられた変数（ここではs）の「すべてのインスタンスに対して」保持されることを意味します。すぐにその兄弟である存在記号である後方大文字Eに遭遇します。これは、関連するアサーションに準拠する特定の変数の「少なくとも1つが存在する」ことを意味します。
論理に興味がある場合は、「論理とデータベース： CJ日付による関係理論のルーツ」という本をお楽しみください。これらの数量詞とその論理的意味をカバーするいくつかの章があります。この本のロジックの範囲から利益を得るために、データベースを操作する必要はありません。
于 2009-12-18T03:11:44.230 に答える
15
数学では、∀はすべての人を意味します。
Unicode文字（\ u2200、∀）。
于 2009-12-18T02:52:00.507 に答える
9
「sがs[start]と等しくないようなすべてのsについて」と読むことができます。
于 2009-12-18T02:52:14.177 に答える
2
はい、これらは数学で使用されるよく知られた数量詞です。別の例は、「存在する」と読む∃です。
于 2009-12-19T19:06:13.620 に答える