Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Entscheidungsproblem



КнигаСтраницы для поиска
Пенроуз Р. — Новый ум короля: о компьютерах, мышлении и законах физики44
Haken H. — Synergetik16
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2)1, 43
Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics279, 392
Kaburlasos V.G. — Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications175
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt GodelSee decision problem
Rockingham G.R. — Deducibility and Decidability117, 119—120
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic40, 124
Chabert J.-L., Weeks C., Barbin E. — A History of Algorithms: From the Pebble to the Microchip456—457, 468, 512
Neumann J.V. — Theory of Self-Reproducing Automata49, 204 (see also “Halting problem”)
Рассел С., Норвиг П. — Искусственный интеллект: современный подход44
Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science170, 173
Enderton H.B. — A Mathematical Introduction to Logic164
Beth E.W. — The foundations of mathematics: A study in the philosophy of sciencev. "Decision problem"
Williams C.P., Clearwater S.H. — Explorations in quantum computing19, 27, 28, 29
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory41
Brady J.M. — The theory of computer science: A programming approach74
Jones N.D. — Computability and complexity from a programming perspective23
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте