タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

表現とmathに関するkiyo_hikoのブックマーク (2)

  • 高々 (数学) - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "高々" 数学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2012年12月) 数学において、高々(たかだか)という表現は、英語の at most に対応した厳密な意味を持つ学術用語である。 「多くとも」、「以下」と同義であるが、文脈によってはこれらよりも好まれる場合もある(例:「高々可算」とは言うが「可算以下」とは言わない。) 意味[編集] 例えば、「xは高々2である」という表現は「xは多くとも2である」こと、すなわち「x≦2」を意味する。同様に「高々可算(at most countable)」は「有限個(1つもないというケースを含む)

    kiyo_hiko
    kiyo_hiko 2012/05/30
    At mostの邦訳。たとえば、ホーン節における肯定のリテラルは高々1つ。
  • 1