Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 19 | << page >> |
Sort by
|
ISBN: 981308359X 9789813083592 Year: 1998 Publisher: Singapore : Springer-Verlag Singapore,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Information theory --- Reasoning --- Mathematics --- -Information theory --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer mathematics --- Electronic data processing --- Computer science - Mathematics --- Computer science. --- Informatique --- Mathématiques --- Information, Théorie de l' --- Philosophie --- Automates abstraits
ISBN: 9814021725 9789814021722 Year: 1999 Publisher: Singapore Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Ergodic theory. Information theory --- Number theory --- Machine theory --- Computational complexity --- Stochastic processes --- Random processes --- Probabilities --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Complexity, Computational --- Electronic data processing
ISBN: 0521343062 9780521343060 9780511608858 9780521616041 Year: 1987 Volume: 1 Publisher: Cambridge Cambridge University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Machine theory --- Computational Complexity --- LISP (Computer program language) --- Machine theory. --- Computational complexity. --- LISP (Computer program language). --- Computational complexity --- Complexité de calcul (Informatique) --- LISP (Langage de programmation) --- Automates mathématiques, Théorie des --- List processing computer language --- Complexity, Computational --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- List processing (Electronic computers) --- Electronic data processing --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics
ISBN: 1852334177 9781852334178 Year: 2002 Publisher: London Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Machine theory. --- Computational complexity. --- LISP (Computer program language) --- List processing computer language --- List processing (Electronic computers) --- Complexity, Computational --- Electronic data processing --- Machine theory --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Computational complexity
ISBN: 0375423133 Year: 2005 Publisher: New York (N.Y.) Knopf
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computational complexity --- Machine theory --- Stochastic processes --- Random processes --- Probabilities --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Complexity, Computational --- Electronic data processing --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics
ISBN: 1281918679 9786611918675 9812708979 9789812708977 9789812708960 9812708960 9789812708953 9812708952 Year: 2007 Publisher: Singapore ; Hackensack, NJ : World Scientific,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing.This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin's three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size co
Godel's theorem. --- Incompleteness theorems. --- Logic, Symbolic and mathematical. --- Metamathematics. --- Computational complexity. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Theorems, Incompleteness --- Constructive mathematics --- Proof theory --- Complexity, Computational --- Electronic data processing --- Machine theory --- Logic, Symbolic and mathematical --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Number theory --- Decidability (Mathematical logic) --- Philosophy --- Foundations
ISBN: 9971504790 9971504804 9789971504809 Year: 1987 Publisher: Singapore: World scientific,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Machine theory. --- Computational complexity. --- Stochastic processes. --- Machine theory --- Computational Complexity --- Stochastic processes
ISBN: 1852335491 Year: 2002 Publisher: London : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9780375423147 0375423141 Year: 2012 Publisher: New York : Pantheon Books,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Explains how evolution works on a mathematical level, arguing that mathematical theory is an essential part of evolution while highlighting mathematical principles in the biological world.
Evolution (Biology) --- Biomathematics. --- Evolution (Biology) --- Biology --- Evolution (Biology) --- Biology --- Computer programming --- Mathematics. --- Mathematical models. --- Mathematical models. --- Philosophy. --- Philosophy. --- Philosophy.
ISBN: 0521616042 Year: 2004 Publisher: Cambridge Cambridge University press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computational complexity --- LISP (Computer program language) --- Machine theory
| Listing 1 - 10 of 19 | << page >> |
Sort by
|