復習用の問題
(mathematics) Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.
primitive recursive
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
英語 - 英語
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1