咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
recursive functions in High-Dimensional Computing with Random Vectors
Recursive Functions in High-Dimensional Computing with Rando...
收藏 引用
International Joint Conference on Neural Networks
作者: Jussi H. Poikonen Eero Lehtonen Mika Laiho Technology Research Center University of Turku
The primary aim of this work is to provide new tools for machine learning and reasoning within a framework of computing with holistic data representations. Specifically, we demonstrate recursive construction of mappin... 详细信息
来源: 评论
recursive functions on conditional Galton-Watson trees
arXiv
收藏 引用
arXiv 2018年
作者: Broutin, Nicolas Devroye, Luc Fraiman, Nicolas Campus Pierre et Marie Curie Case Courrier 158 Sorbonne Université 4 place Jussieu Paris Cedex 0575252 France School of Computer Science McGill University 3480 University Street Montreal H3A 2K6 Canada Department of Statistics and Operations Research University of North Carolina at Chapel Hill 337 Hanes Hall Chapel HillNC27599 United States
A recursive function on a tree is a function in which each leaf has a given value, and each internal node has a value equal to a function of the number of children, the values of the children, and possibly an explicit... 详细信息
来源: 评论
Computing partial recursive functions by transition P systems
Computing partial recursive functions by transition P system...
收藏 引用
4th International Workshop on Membrane Computing, WMC 2003
作者: Romero-Jiménez, Alvaro Pérez-Jiménez, Mario J. Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Spain
In this paper a variant of transition P systems with external output designed to compute partial functions on natural numbers is presented. These P systems are stable under composition, iteration and unbounded minimiz... 详细信息
来源: 评论
recursive analysis characterized as a class of real recursive functions
Recursive analysis characterized as a class of real recursiv...
收藏 引用
作者: Bournez, Olivier Hainry, Emmanuel Campus Scientifique BP 239 54506 Vandoeuvre-Lés-Nancy France
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive analysis. In a different and orthogonal... 详细信息
来源: 评论
Provably total primitive recursive functions: Theories with Induction
收藏 引用
18th International Workshop on Computer Science Logic, CSL 2004 and 13th Annual Conference on European Association for Computer Science Logic, EACSL 2004
作者: Cordón-Franco, Andrés Fernández-Margarit, Alejandro Lara-Martín, F. Félix Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla C/ Tarfia s/n. Sevilla 41012 Spain
A natural example of a function algebra is R(T), the class of provably total computable functions (p.t.c.f.) of a theory T in the language of first order Arithmetic. In this paper a simple characterization of that kin... 详细信息
来源: 评论
recursive functions and existentially closed structures
arXiv
收藏 引用
arXiv 2017年
作者: Jeřábek, Emil Institute of Mathematics of the Czech Academy of Sciences Žitná 25 Praha 1115 67 Czech Republic
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are rep... 详细信息
来源: 评论
Formal definitions and proofs for partial (co)recursive functions
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2024年 141卷
作者: Cheval, Horatiu Nowak, David Rusu, Vlad Univ Bucharest Fac Math & Comp Sci Dept Comp Sci Res Ctr Logic Optimizat & Secur LOS Bucharest Romania Univ Lille CNRS Cent Lille UMR CRIStAL 9189 F-59000 Lille France Univ Lille Inria CNRS Cent LilleUMR CRIStAL 9189 F-59000 Lille France
Partial functions are a key concept in programming. Without partiality a programming language has limited expressiveness - it is not Turing- complete, hence, it excludes some constructs such as while-loops. In functio... 详细信息
来源: 评论
Algorithmic Logic with recursive functions
收藏 引用
Fundamenta Informaticae 1981年 第4期4卷 975 - 995页
作者: Andrzej Szałas Institute of Mathematics Polish Academy of Sciences
A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described ... 详细信息
来源: 评论
The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions
arXiv
收藏 引用
arXiv 2020年
作者: Ardeshir, Mohammad Khaniki, Erfan Shahriari, Mohsen Department of Mathematical Sciences Sharif University of Technology Iran Faculty of Mathematics and Physics Charles University Czech Republic Institute of Mathematics Czech Academy of Sciences Czech Republic
We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions ... 详细信息
来源: 评论
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried recursive functions
arXiv
收藏 引用
arXiv 2022年
作者: Horpácsi, Dániel Bereczky, Péter Thompson, Simon ELTE Eötvös Loránd University Hungary University of Kent United Kingdom
We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our existing formal semantics for Core Erl... 详细信息
来源: 评论