咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,351 篇 电子文献
  • 10 种 纸本馆藏

日期分布

学科分类号

  • 780 篇 理学
    • 693 篇 数学
    • 57 篇 物理学
    • 43 篇 统计学(可授理学、...
    • 20 篇 系统科学
    • 14 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 667 篇 工学
    • 536 篇 计算机科学与技术...
    • 252 篇 软件工程
    • 65 篇 电气工程
    • 53 篇 控制科学与工程
    • 22 篇 电子科学与技术(可...
    • 22 篇 信息与通信工程
    • 12 篇 力学(可授工学、理...
    • 10 篇 机械工程
    • 9 篇 化学工程与技术
    • 8 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 建筑学
  • 77 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 6 篇 公共管理
  • 29 篇 经济学
    • 18 篇 理论经济学
    • 14 篇 应用经济学
  • 24 篇 哲学
    • 20 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 8 篇 教育学
    • 5 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 1 篇 历史学

主题

  • 1,361 篇 recursive functi...
  • 187 篇 mathematical the...
  • 119 篇 logical theorems
  • 92 篇 recursion
  • 80 篇 algorithms
  • 75 篇 integers
  • 62 篇 recursively enum...
  • 60 篇 natural numbers
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 51 篇 degree of unsolv...
  • 46 篇 arithmetic
  • 42 篇 mathematical ind...
  • 34 篇 polynomials
  • 31 篇 recursion theory
  • 31 篇 approximation
  • 31 篇 algebra
  • 27 篇 induction assump...
  • 26 篇 equivalence rela...
  • 23 篇 oracles

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 univ calif san d...
  • 4 篇 massachusetts in...
  • 4 篇 rutgers state un...
  • 4 篇 università degli...
  • 3 篇 university of ca...
  • 3 篇 ohio state univ ...
  • 3 篇 mit cambridge ma...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ chicago il ...
  • 3 篇 department of co...
  • 3 篇 univ calif berke...
  • 3 篇 natl univ singap...

作者

  • 11 篇 remmel jb
  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 jockusch cg
  • 6 篇 zeugmann thomas
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 dekker jce
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 kummer m
  • 6 篇 stephan f
  • 5 篇 slaman ta
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 downey rg
  • 5 篇 owings jc
  • 5 篇 byerly re

语言

  • 1,303 篇 英文
  • 43 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive functions"
1361 条 记 录,以下是121-130 订阅
排序:
PRIMITIVE recursive ORDINAL functions WITH ADDED CONSTANTS
收藏 引用
JOURNAL OF SYMBOLIC LOGIC 1977年 第1期42卷 77-82页
作者: STAHL, SH
One of the basic differences between the primitive recursive functions on the natural numbers and the primitive recursive ordinal functions (PR) is the nearly complete absence of constant functions in PR. Since ω is ... 详细信息
来源: 评论
REAL NUMBERS AND functions IN KLEENE HIERARCHY AND LIMITS OF recursive, RATIONAL functions
收藏 引用
JOURNAL OF SYMBOLIC LOGIC 1969年 第2期34卷 207-&页
作者: SHAPIRO, NZ The Rand Corporation
Let ƒ be a real number. It is well known [7] that the set of rational numbers which are less than ƒ is a recursive set if and only if ƒ is representable as the limit of a recursive, recursively convergent sequence of ... 详细信息
来源: 评论
A HIERARCHY OF UNARY PRIMITIVE recursive STRING-functions  6th
A HIERARCHY OF UNARY PRIMITIVE RECURSIVE STRING-FUNCTIONS
收藏 引用
6TH INTERNATIONAL MEETING OF YOUNG COMPUTER SCIENTISTS : ASPECTS AND PROSPECTS OF THEORETICAL COMPUTER SCIENCE ( IMYCS 90 )
作者: SANTEAN, L Institute for Informatics 8-10 Miciurin blvd. Bucharest 1 71316 Romania Department of Mathematics University of Turku Turku 20500 Finland
Using a recent result of ***, an extention of Ackermann-Peter hierarchy of unary primitive recursive functions to string-functions is obtained. The resulting hierarchy classifies the string-functions according to thei... 详细信息
来源: 评论
recursive programs as functions in a first order theory
Recursive programs as functions in a first order theory
收藏 引用
International Conference on Mathematical Studies of Information Processing, 1978
作者: Cartwright, Robert McCarthy, John
Pure Lisp style recursive function programs are represented in a new way by sentences and schemata of first order logic. This permits easy and natural proofs of extensional properties of such programs by methods that ... 详细信息
来源: 评论
recursive quantum functions, avoidable points, & shadow points in recursive analysis
Recursive quantum functions, avoidable points, & shadow poin...
收藏 引用
CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop)
作者: Kalantari, Iraj Welch, Larry Department of Mathematics Western Illinois University Macomb IL United States
In this paper we summarize our approach and findings in a point-free setting for recursive topology and recursive analysis. recursive analysis has received intensive attention recently and our approach, while differin... 详细信息
来源: 评论
Executable contracts for Elixir
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2025年 142卷
作者: de Barrio, Luis Eduardo Bueso Fredlund, Lars-Ake Herranz, Angel Marino, Julio Earle, Clara Benac Univ Politecn Madrid Madrid Spain
This article presents the design of a library for attaching and checking executable contracts to code written in the Elixir programming language. In addition to classical contract constructs such as preconditions and ... 详细信息
来源: 评论
Core Tarski and Core McGee
收藏 引用
NOTRE DAME JOURNAL OF FORMAL LOGIC 2025年 第1期66卷 31-55页
作者: Tennant, Neil Ohio State Univ Dept Philosophy Columbus OH 43210 USA
We furnish a core-logical development of the G & ouml;del numbering framework that allows metamathematicians to attain limitative results about arithmetical truth without incorporating a genuine truth predicate in... 详细信息
来源: 评论
Comprehensive approach to identifying and mitigating DoS vulnerabilities in PHP: From CVE analysis to model-based automated detection  4
Comprehensive approach to identifying and mitigating DoS vul...
收藏 引用
4th International Conference on Network Communication and Information Security, ICNCIS 2024
作者: Li, Shuangli College of Cyberspace Security Beijing University of Posts and Telecommunications Beijing China
As the reliance of businesses and organizations on online operations continues to grow, the importance of addressing software security vulnerabilities becomes increasingly critical. This paper delves into the phenomen... 详细信息
来源: 评论
A Simple Search Technique for Solving Non-linear Objective Function Applicable to Three-Phase SAG
A Simple Search Technique for Solving Non-linear Objective F...
收藏 引用
International Conference on Computational Intelligence and Smart Technologies in Electrical Engineering, CISTEE 2023
作者: Chatterjee, Himadri Sekhar Mahato, Sankar Narayan National Institute of Technology Durgapur India
A capacitor bank of appropriate capacitance value helps in self-excitation of Standalone Asynchronous Generator. İn order to determine the appropriate value of the capacitor to be connected in real time systems, simul... 详细信息
来源: 评论
recursive characterization of computable real-valued functions and relations
收藏 引用
THEORETICAL COMPUTER SCIENCE 1996年 第1期162卷 45-77页
作者: Brattka, V FERNUNIV D-58084 HAGEN GERMANY
Corresponding to the definition of mu-recursive functions we introduce a class of recursive relations in metric spaces such that each relation is generated from a class of basic relations by a finite number of applica... 详细信息
来源: 评论