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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ839
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1)14, 1336, 1602, 1604, 1605, 1621
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 271.B 97186.J
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2)1
Coste M. — Introduction to semialgebraic geometry39
Coste M. — An introduction to semialgebraic geometry39
Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics279, 322, 392 ff.
Haynes T.W., Hedetniemi S.T., Slater P.J. — Fundamentals of domination in graphs32
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2)14, 1336, 1602, 1604, 1605, 1621
Tarski A. — Undecidable theories3f., 30, 32, 34f., 39f., 86; see also: Restricted decision problem
Ferguson T.S. — Mathematical Statistics. A Decision Theoretic Approach7
Grotschel M., Lovasz L., Schrijver A. — Geometric Algorithms and Combinatorial Optimization24
Matijasevich Y. — Hilbert's 10th Problem1
Zimand M. — Computational Complexity: A Quantitative Perspective231
Niedermeier R. — Invitation to Fixed Parameter Algorithms6, 17
Ramirez Alfonsin J.L. — Diophantine Frobenius Problem185
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations147
Kemeny T., Snell J.L., Thompson G. — Introduction to finite mathematics171
Garey M.R., Johnson D.S. — Computers and intractability. A guide to the theory of NP-completeness13, 18—19.
Sipser M. — Introduction to the theory of computation366
Hein J.L. — Discrete Mathematics369
Ito K. — Encyclopedic Dictionary of Mathematics71.B, 97, 186.J
Kneale M. — Development of Logic724 ff.
von zur Gathen J., Gerhard J. — Modern computer algebra685, 686
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic40, 188
Bernardo J.M., Smith A.F.M. — Bayesian Theoryx, 16—22
Hein J.L. — Discrete Structures, Logic, and Computability365, 739
Koblitz N., Wu Y.-H., Menezes A.J. — Algebraic Aspects of Cryptography35
Brualdi R.A., Ryser H.J. — Combinatorial Matrix Theory245—248
Kozen D.C. — The Design And Analysis Of Algorithms116, 139
Hein J.L. — Theory of Computation: An Introduction425, 483
Kreher D.L., Stinson D.R. — Combinatorial Algorithms: Generation, Enumeration and Search7, 13
Koblitz N., Menezes A.J. (Contributor), Wu Y.-H. (Contributor) — Algebraic Aspects of Cryptography35
Gentzen G. — The collected papers of Gerhard Gentzen6, 66, 69, 238, 239
Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity243, 370
Jerrum M. — Counting, sampling and integrating: algorithms and complexity11
Astfalk G. — Applications on Advanced Architecture Computers257—260, 262, 263
Beth E.W. — The foundations of mathematics: A study in the philosophy of science75, 131, 149, 200, 212, 239ff., 242, 248, 253f., 414, 420, 435, 583ff.
Hilbert D., Ackermann W. — Principles of mathematical logic112f, 132
Gibbons A. — Algorithmic graph theory221
Gibbons A. — Algorithmic graph theory221
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity71
Stinson D.R. — Cryptography: Theory and practice178
Bridges D.S. — Computability: A mathematical sketchbook47
Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A71
Aldous J.M., Wilson R. — Graphs and Applications: An Introductory Approach339
Curry H.B. — Foundations of Mathematical Logic87, 357ff.
Du D.-Z., Ko K.-I. — Theory of computational complexity58, 322
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory41
Ackermann W. — Solvable Cases of the Decision Problem22
Anthony M. — Discrete Mathematics Of Neural Networks50
Elliott Mendelson — Introduction to mathematical logic265
Brady J.M. — The theory of computer science: A programming approach73
Bäck T. — Evolutionary Algorithms in Theory and Practice55
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof22, 53, 239
Sipser M. — Introduction to the Theory of Computation334
Burgisser P., Clausen M., Shokrollahi M.A. — Algebraic complexity theory117, 543
Horowitz E., Rajasekaran S., Sahui S. — Computer Algorithms498
Curry H.B. — Foundations of mathematical logic87, 357ff.
Badii R., Politi A. — Complexity: Hierarchical structures and scaling in physics231
Keith Devlin — Mathematics: The New Golden Age268
Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years145—148
Shoenfield J.R. — Mathematical Logic106, 107
Lyndon R., Schupp P. — Combinatorial Group Theory (Classics in Mathematics)192
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте