Language: English

Jump To : Overview Titles Subjects

Computable functions.

Overview

Works:	22 works in 13 publications in 13 languages

Titles

Computability :a mathematical sketchbook / by: (Language materials, printed)

Computability and complexity theory / by: (Language materials, printed)

Set theory for computing :from decision procedures to declarative programming with sets / by: (Language materials, printed)

New Computational Paradigms :Changing Conceptions of What is Computable / by: (Electronic resources)

Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by: (Electronic resources)

Models of computationan introduction to computability theory / by: (Electronic resources)

Automata, computability and complexity :theory and applications / by: (Language materials, printed)

Computable models by: (Electronic resources)

Algorithmic randomness and complexity by: (Electronic resources)

Computability in contextcomputation and logic in the real world / by: (Electronic resources)

Subjects

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.

Complex Systems.

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.

Computer and Information Systems Applications.

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.