
形式科学
集合とは何か?
集合は明確に定まる対象をまとめる。所属、包含、演算がその構造を表す。
読了目安8分読む
ひとつの概念から、新たな視点へ。理解したいテーマを選んでください。
概念を検索するか、分野から探してください。
全22件中6件を表示

情報科学
契約から証明へ:最大値探索を追い、その限界をテストし、方法、プログラム、正しさ、終了を区別します。

形式科学
導関数は瞬間的な変化を表します。変化率の極限として定義され、接線の傾きとして解釈できます。

形式科学
変化率は2つの入力の間の平均的な変化を測ります。区間の選び方、単位、表現によって数値の意味がどう変わるかを学びます。

形式科学
関数は単なる式ではありません。定義域の各入力に出力がただ1つ対応します。定義域・値域・原像・式や表やグラフの関係を区別します。

形式科学
集合は明確に定まる対象をまとめる。所属、包含、演算がその構造を表す。

形式科学
次数が零でないすべての頂点が連結している多重グラフでは、各辺をちょうど一度ずつたどれるかどうかは次数の偶奇で決まる。