咨询与建议

限定检索结果

文献类型

  • 893 篇 期刊文献
  • 438 篇 会议
  • 86 册 图书
  • 1 篇 学位论文

馆藏范围

  • 1,407 篇 电子文献
  • 11 种 纸本馆藏

日期分布

学科分类号

  • 836 篇 理学
    • 746 篇 数学
    • 95 篇 统计学(可授理学、...
    • 58 篇 物理学
    • 20 篇 系统科学
    • 19 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 710 篇 工学
    • 580 篇 计算机科学与技术...
    • 251 篇 软件工程
    • 66 篇 电气工程
    • 54 篇 控制科学与工程
    • 23 篇 电子科学与技术(可...
    • 22 篇 信息与通信工程
    • 12 篇 机械工程
    • 11 篇 力学(可授工学、理...
    • 10 篇 化学工程与技术
    • 9 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 建筑学
  • 81 篇 管理学
    • 50 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 9 篇 工商管理
    • 6 篇 公共管理
  • 36 篇 经济学
    • 21 篇 应用经济学
    • 20 篇 理论经济学
  • 29 篇 哲学
    • 26 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 9 篇 教育学
    • 6 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 2 篇 历史学

主题

  • 1,418 篇 recursive functi...
  • 181 篇 mathematical the...
  • 103 篇 logical theorems
  • 92 篇 recursion
  • 83 篇 algorithms
  • 78 篇 integers
  • 64 篇 natural numbers
  • 64 篇 recursively enum...
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 47 篇 arithmetic
  • 46 篇 recursion theory
  • 45 篇 mathematical ind...
  • 43 篇 degree of unsolv...
  • 37 篇 polynomials
  • 32 篇 approximation
  • 29 篇 algebra
  • 27 篇 coefficients
  • 26 篇 predicates
  • 26 篇 symbolic & mathe...

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 massachusetts in...
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 massachusetts in...
  • 4 篇 university of ca...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 università degli...
  • 3 篇 ohio state univ ...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 university of wi...
  • 3 篇 department of co...
  • 3 篇 natl univ singap...
  • 3 篇 hokkaido univ di...
  • 3 篇 univ chicago dep...
  • 3 篇 purdue universit...

作者

  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 zeugmann thomas
  • 7 篇 jockusch cg
  • 7 篇 remmel jb
  • 7 篇 wiehagen rolf
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 stephan f
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 owings jc
  • 5 篇 byerly re
  • 5 篇 freivalds r
  • 4 篇 young pr
  • 4 篇 slaman ta

语言

  • 1,362 篇 英文
  • 41 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive Functions"
1418 条 记 录,以下是21-30 订阅
排序:
Diagonally non-recursive functions and effective Hausdorff dimension
收藏 引用
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY 2011年 第4期43卷 636-654页
作者: Greenberg, Noam Miller, Joseph S. Victoria Univ Sch Math Stat & Comp Sci Wellington New Zealand Univ Wisconsin Dept Math Madison WI 53706 USA
We prove that every sufficiently slow-growing diagonally non-recursive (DNR) function computes a real with effective Hausdorff dimension 1. We then show that, for any recursive unbounded and non-decreasing function j,... 详细信息
来源: 评论
On the Existence Problem of Finite Bases of Identities in the Algebras of recursive functions
收藏 引用
AUTOMATIC CONTROL AND COMPUTER SCIENCES 2021年 第7期55卷 702-711页
作者: Sokolov, V. A. Demidov Yaroslavl State Univ 14 Sovetskaya Yaroslavl 150003 Russia
Raphael Robinson showed that all primitive recursive functions, depending on one argument, and only they could be obtained from two functions s(x) = x + 1 and q(x) = x divided by [root x](2) by using the operations of... 详细信息
来源: 评论
PROBABILISTIC recursive functions
收藏 引用
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY 1973年 第MAR期177卷 447-467页
作者: MANN, I New York 10011 26 West 10Th Street United States
Abstract: The underlying question considered in this paper is whether or not the purposeful introduction of random elements, effectively governed by a probability distribution, into a calculation may lead to c... 详细信息
来源: 评论
GENERAL recursive functions
收藏 引用
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY 1950年 第6期1卷 703-718页
作者: ROBINSON, J Berkeley CA United States
来源: 评论
PARTIAL recursive functions AND OMEGA-functions
收藏 引用
JOURNAL OF SYMBOLIC LOGIC 1970年 第4期35卷 559-+页
作者: APPLEBAUM, CH DEKKER, JCE Bowling Green State University Bowling Green Ohio Rutgers University New Brunswick New Jersey
Let ε stand for the set of all numbers (i.e., nonnegative integers), V for the class of all sets (i.e., subcollections of ε) and for the family of all functions (i.e., mappings from a subset of ε into ε). If ƒ is... 详细信息
来源: 评论
ON CREATIVE SETS AND INDICES OF PARTIAL recursive functions
收藏 引用
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY 1965年 第2期120卷 359-&页
作者: HAY, L Mount Holyoke College South Hadley MA United States
来源: 评论
A note on recursive functions
收藏 引用
Mathematical Structures in Computer Science 1996年 第2期6卷 127-139页
作者: Sabadini, Nicoletta Vigna, Sebastiano Walters, Robert F. C. Dipartimento di Scienze dell'Informazione Università di Milano Italy School of Mathematics and Statistics University of Sydney Australia
In this paper, we propose a new and elegant definition of the class of recursive functions, which is analogous to Kleene's definition but differs in the primitives taken, thus demonstrating the computational power... 详细信息
来源: 评论
Characterizing the elementary recursive functions by a fragment of Godel's T
收藏 引用
ARCHIVE FOR MATHEMATICAL LOGIC 2000年 第7期39卷 475-491页
作者: Beckmann, A Weiermann, A Univ Munster Inst Math Log & Grundlagenforsch D-48149 Munster Germany
Let T be Godel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let T* be the subsystem of T in which the iterator and recursor constants are permitted only when immed... 详细信息
来源: 评论
SYNTACTIC TRANSLATIONS AND PROVABLY recursive functions
收藏 引用
JOURNAL OF SYMBOLIC LOGIC 1985年 第3期50卷 682-688页
作者: LEIVANT, D Department of Computer Science Carnegie-Mellon University Pittsburgh Pennsylvania 15213
Syntactic translations of classical logic C into intuitionistic logic I are well known (see [Kol25], [Gli29], [Göd32], [Kre58b], [M063], [Cel69] and [Lei71]). Harvey Friedman [Fri78] used a translation of a simil... 详细信息
来源: 评论
A LIFT OF A THEOREM OF FRIEDBERG - A BANACH-MAZUR FUNCTIONAL THAT COINCIDES WITH NO ALPHA-recursive FUNCTIONAL ON THE CLASS OF ALPHA-recursive functions
收藏 引用
JOURNAL OF SYMBOLIC LOGIC 1981年 第2期46卷 216-232页
作者: DIPAOLA, RA CUNY GRAD CTRFLUSHINGNY 11367
R. M. Friedberg demonstrated the existence of a recursive functional that agrees with no Banach-Mazur functional on the class of recursive functions. In this paper Friedberg's result is generalized to both α-recu... 详细信息
来源: 评论