Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 23:15, 17 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Gödel's β function (Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, '''Gödel's ''β'' function''' is a function used to permit quantification over finite sequences of natural numbers in formal theories of arithmetic. The ''β'' function is used, in particular, in showing that the class of arithmetically definable functions is closed under primitive recursion, and therefore includes all primitive recursive functions....»)