語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Computable functions.
概要
作品:
30 作品在 13 項出版品 13 種語言
書目資訊
The Theory of computability : = programs, machines, effectiveness, and feasibility /
by:
(書目-語言資料,印刷品)
Computability : = a mathematical sketchbook /
by:
(書目-語言資料,印刷品)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
(書目-語言資料,印刷品)
Philosophical explorations of the legacy of Alan Turing = Turing 100 /
by:
(書目-電子資源)
An introduction to the technique of formative processes in set theory
by:
(書目-電子資源)
An invitation to analytic combinatorics = from one to several variables /
by:
(書目-電子資源)
Computability
by:
(書目-電子資源)
Introduction to languages and the theory of computation /
by:
(書目-語言資料,印刷品)
Hilbert's tenth problem /
by:
(書目-語言資料,印刷品)
Computability : = an introduction to recursive function theory /
by:
(書目-語言資料,印刷品)
Computability in analysis and physics /
by:
(書目-語言資料,印刷品)
Computability and logic. /
by:
(書目-語言資料,印刷品)
Discrete structures, logic, and computability
by:
(書目-語言資料,印刷品)
Hilbert's tenth problem
by:
(書目-語言資料,印刷品)
Computability and logic
by:
(書目-語言資料,印刷品)
Models of computation = an introduction to computability theory /
by:
(書目-語言資料,印刷品)
Computable models
by:
(書目-語言資料,印刷品)
Algorithmic randomness and complexity
by:
(書目-語言資料,印刷品)
Introduction to languages and the theory of computation
by:
(書目-語言資料,印刷品)
Computability in context = computation and logic in the real world /
by:
(書目-電子資源)
The foundations of computability theory
by:
(書目-電子資源)
Higher-order computability
by:
(書目-電子資源)
Turing computability = theory and applications /
by:
(書目-電子資源)
The incomputable = journeys beyond the Turing barrier /
by:
(書目-電子資源)
Structure and randomness in computability and set theory /
by:
(書目-語言資料,印刷品)
The foundations of computability theory
by:
(書目-電子資源)
Computable structure theory : = within the arithmetic /
by:
(書目-語言資料,印刷品)
Computability and complexity = foundations and tools for pursuing scientific applications /
by:
(書目-電子資源)
Turing's revolution = the impact of his ideas about computability /
by:
(書目-電子資源)
更多
較少的
主題
Recursive functions.
Data structures (Computer science)
Mathematical Logic and Foundations.
Philosophy.
Quantum Computing, Information and Physics.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematics- Philosophy.
Logic.
History of Computing.
Unsolvability (Mathematical logic)
Philosophy of Technology.
Complex Systems.
Computational complexity.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Language Translation and Linguistics.
Logics and Meanings of Programs.
Computational intelligence.
Mathematics of Computing.
Computer and Information Systems Applications.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computers.
Algorithms.
Computable functions.
Programming Languages, Compilers, Interpreters.
Mathematics.
Set theory.
History of Mathematical Sciences.
Turing test.
Mathematical Methods in Physics.
History.
Computational Complexity.
Recursion theory.
Mathematical analysis.
Model theory.
Computer science- Mathematics.
Computational Mathematics and Numerical Analysis.
History of Science.
Physics.
Computer science.
Computer Science.
Math Applications in Computer Science.
Cryptography.
Enigma cipher system.
Combinatorial analysis.
Discrete Mathematics.
Computability and Recursion Theory.
Models of Computation.
Sequential machine theory.
Hilbert's tenth problem.
Turing machines.
Turing, Alan Mathison,
Philosophy of Science.
Symbolic and Algebraic Manipulation.
處理中
...
變更密碼
登入