|
|
 |
| Результат поиска |
Поиск книг, содержащих: Entscheidungsproblem
| Книга | Страницы для поиска | | Пенроуз Р. — Новый ум короля: о компьютерах, мышлении и законах физики | 44 | | Haken H. — Synergetik | 16 | | Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2) | 1, 43 | | Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 279, 392 | | Kaburlasos V.G. — Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications | 175 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | See decision problem | | Rockingham G.R. — Deducibility and Decidability | 117, 119—120 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 40, 124 | | Chabert J.-L., Weeks C., Barbin E. — A History of Algorithms: From the Pebble to the Microchip | 456—457, 468, 512 | | Neumann J.V. — Theory of Self-Reproducing Automata | 49, 204 (see also “Halting problem”) | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 44 | | Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science | 170, 173 | | Enderton H.B. — A Mathematical Introduction to Logic | 164 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | v. "Decision problem" | | Williams C.P., Clearwater S.H. — Explorations in quantum computing | 19, 27, 28, 29 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 41 | | Brady J.M. — The theory of computer science: A programming approach | 74 | | Jones N.D. — Computability and complexity from a programming perspective | 23 |
|
|
|
|
О проекте