登入

跳至 : 概要書目資訊主題

Computable functions.

概要

作品:	21 作品在 12 項出版品 12 種語言

書目資訊

Computability :a mathematical sketchbook / by: (書目-語言資料,印刷品)

Computability and complexity theory / by: (書目-語言資料,印刷品)

Set theory for computing :from decision procedures to declarative programming with sets / by: (書目-語言資料,印刷品)

New Computational Paradigms :Changing Conceptions of What is Computable / by: (書目-電子資源)

Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by: (書目-電子資源)

Models of computationan introduction to computability theory / by: (書目-電子資源)

Automata, computability and complexity :theory and applications / by: (書目-語言資料,印刷品)

Computable models by: (書目-電子資源)

Algorithmic randomness and complexity by: (書目-電子資源)

Computability in contextcomputation and logic in the real world / by: (書目-電子資源)

主題

Mathematical Logic and Foundations.

Philosophy.

Quantum Computing, Information and Physics.

Theory of Computation.

Computing Methodologies.

Mathematical Logic and Formal Languages.

Logic.

Unsolvability (Mathematical logic)

History of Computing.

Philosophy of Technology.

Computational complexity.

Bioinformatics.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Electronic data processing.

Machine theory.

Language Translation and Linguistics.

Logics and Meanings of Programs.

Computational intelligence.

Mathematics

Logic, Symbolic and mathematical.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Computers.

Computable functions.

Set theory.

Algorithms.

Programming Languages, Compilers, Interpreters.

Mathematics.

History of Mathematical Sciences.

Turing test.

Mathematical Methods in Physics.

History.

Computational Complexity.

Model theory.

Recursion theory.

Computer science

Computational Mathematics and Numerical Analysis.

History of Science.

Computer science.

Computer Science.

Math Applications in Computer Science.

Cryptography.

Enigma cipher system.

Combinatorial analysis.

Discrete Mathematics.

Computability and Recursion Theory.

Models of Computation.

Turing machines.

Turing, Alan Mathison,

Philosophy of Science.

Symbolic and Algebraic Manipulation.