本文に飛ぶ

年 〜
年

検索結果 109 件

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1996.<MA41-A95>
国立国会図書館
  • 件名帰納法. Recursion theory.

Initial algebras and terminal coalgebras : the theory of fixed points of functors

Initial algebras and terminal coalgebras : the theory of fixed points of functors
紙図書
Jiří Adámek, Stefan Milius, Lawrence S. MossCambridge University Press2025
全国の図書館
  • 件名Categories (Mathematics) Recursion theory Induction (Mathematics) Fixed...

Recursion across domains : pbk

Recursion across domains : pbk
紙図書
edited by Luiz Amaral, Marcus Maia, Andrew Nevins, Tom RoeperCambridge University Press2020
全国の図書館
  • 件名Linguistic analysis (Linguistics) Recursion theory

Abstract recursion and intrinsic complexity

Abstract recursion and intrinsic complexity
紙図書
Yiannis N. MoschovakisCambridge University Press2019
全国の図書館
  • 件名Algorithms Recursion theory Set theory

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.
紙図書
Al SweigartNo Starch Press2022
全国の図書館
  • 件名Computer programming Recursion theory Python (Computer program lang...

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
紙図書
Peter G. HinmanCRC Press2020, c2005
全国の図書館
  • 件名Logic, Symbolic and mathematical Model theory Set theory Recursion theory

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)
紙図書
American Mathematical Society[2013]<M17-15-883>
国立国会図書館全国の図書館
  • 件名...putability and recursion theory -- Complexity of computation ...

Recursion theory : computational aspects od definability

Recursion theory : computational aspects od definability
紙図書
Chi Tat Chong, Liang YuWalter de Gruyterc2015
全国の図書館
  • 件名Recursion theory

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
紙図書
North-Holland1989.<MA41-A57>
国立国会図書館
  • 件名帰納法. Recursion theory.

How to think about algorithms : pbk 2nd ed.

How to think about algorithms : pbk 2nd ed.
紙図書
Jeff EdmondsCambridge University Pressc2024
全国の図書館
  • 件名...y and teaching Recursion theory -- Study and teaching

How to think about algorithms : hbk 2nd ed.

How to think about algorithms : hbk 2nd ed.
紙図書
Jeff EdmondsCambridge University Pressc2024
全国の図書館
  • 件名...y and teaching Recursion theory -- Study and teaching

Computability theory : an introduction to recursion theory

Computability theory : an introduction to recursion theory
紙図書
Herbert B. EndertonAcademic Press is an imprint of Elsevierc2011
全国の図書館
  • 件名Recursion theory

Computability theory : pbk

Computability theory : pbk
紙図書
Rebecca WeberAmerican Mathematical Societyc2012
全国の図書館
  • 件名Recursion theory Computable functions

Potential wadge classes

Potential wadge classes
紙図書
Dominique LecomteAmerican Mathematical Societyc2012
全国の図書館
  • 件名Borel sets Recursion theory

E-recursion, forcing and C*-algebras : [hardback] : pbk.

E-recursion, forcing and C*-algebras : [hardback] : pbk.
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • 件名Recursion theory Forcing (Model theory) C*-alg...

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)
紙図書
Springer-Verlagc1994.<MC46-A52>
国立国会図書館
  • 件名多体問題. 量子統計力学. 帰納法. 数値計算. Many-body problem. Recursion theory. Numerical analysis.

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)
紙図書
Springer-Verlagc1988.<M15-A3734>
国立国会図書館
  • 件名Set theory -- Congresses. Recursion theory -- Congresses.

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)
紙図書
Springer-Verlagc1985.<M15-A1383>
国立国会図書館全国の図書館
  • 件名Recursion theory -- Congresses.

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)
紙図書
Springer-Verlag1984.<MA41-A52>
国立国会図書館全国の図書館
  • 件名帰納法. Recursion theory.

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)
紙図書
American Mathematical Society1985.<M15-A1069>
国立国会図書館
  • 件名Recursion theory -- Addresses, essays, lecture...
  • 一般注記...r Institute on Recursion Theory, held at Cornell University, ...
  • 著者標目...r Institute on Recursion Theory (1982 : Cornell University)
RSS