语言
没有数据
通知
无通知
1 つで再帰的に定義される多くの数論的関数は原始再帰的である。基本的な例として加算と「限定された減算」関数がある。 直観的に、加算は次の規則で再帰的に定義できる: add(0, x) = x, add(n + 1, x) = add(n, x) + 1. これを厳密な原始再帰関数の定義に当てはめるため、次のように定義する:
を偶数辺としていることが多い。 ここでは a < b < c とし、c の小さい順に並べると、c < 300 までは以下の47通りである: このうち、第1項が偶数であるものは22個である。 斜辺、最小辺、中間長それぞれの昇順列はオンライン整数列大辞典の数列 A020882、オンライン整数列大辞典の数列
本項は、原始関数の一覧(げんしかんすうのいちらん)である。以下、積分定数は C {\displaystyle C} とする。 ∫ 1 a x + b d x = 1 a ln | a x + b | + C {\displaystyle \int {\frac {1}{ax+b}}\,dx={\frac
物事のはじめ。 原始。
(1)おおもと。 はじめ。 元始。
本項は三角関数を含む式の原始関数の一覧である。式に指数関数を含むものは指数関数の原始関数の一覧を、さらに完全な原始関数の一覧は、原始関数の一覧を参照のこと。三角積分も参照のこととする。 以下の全ての記述において、a は0でない、実数とする。また、C は積分定数とする。 ∫ sin a x d x
本項は、無理関数の原始関数の一覧である。さらに完全な原始関数の一覧は、原始関数の一覧を参照のこと。本項で、積分定数は簡便のために省略している。 ∫ r d x = 1 2 ( x r + a 2 ln ( x + r ) ) {\displaystyle \int r\;dx={\frac
において、終対象である一元集合を 1 として、自己関手 1 + (–):: X → 1 + X を考える。この自己関手 F に対する F-代数とは、集合 X(これをこの代数の台集合と呼ぶ)とその点 x ∈ X (あるいは同じことだが写像 x: 1 → X) および自己写像 f: X→X の組 (X, [x