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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ1123
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1)2013
Hobbs C. — A Practical Approach to WBEM/CIM Management108
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic127
Gilbert W.J., Nicholson W.K. — Modern Algebra with Applications45
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2)2013
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers56, 64, 68, 81
Bach E., Shallit J. — Algorithmic Number Theory (том 1)48
Wegener I. — Complexity of Boolean Functions5
Zimand M. — Computational Complexity: A Quantitative Perspective55
Halmos P.R., Givant S. — Logic as Algebra89
Niedermeier R. — Invitation to Fixed Parameter Algorithms58
Sipser M. — Introduction to the theory of computation274
Hein J.L. — Discrete Mathematics325
Rowe N.C. — Artifical intelligence through Prolog179, 354, 382
Papadimitriou C.H. — Computational Complexity75
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation436 (see also “CSAT”)
Purdom R.W., Brown C.A. — The analysis of algorithms180
Nilsson N.J. — Problem-Solving Methods in Artificial Intelligence167, see also Clause form
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP201
Monk J.D. — Mathematical Logic128
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving569—572
Hein J.L. — Discrete Structures, Logic, and Computability322
Lawrence C. Paulson — ML for the working programmer167—170, 240—242
Papadimitriou C.H., Steiglitz K. — Combinatorial Optimization: Algorithms and Complexity315
Maier D. — The theory of relational databasessee Normal form
Kozen D.C. — The Design And Analysis Of Algorithms111, 113, 137, 257, 277
Bóna M. — A Walk Through Combinatorics: An Introduction to Enumeration and Graph Theory447
Scott M.L. — Programming Language Pragmatics643
Hein J.L. — Theory of Computation: An Introduction122
Stinson D.R. — Cryptography: Theory and practice491
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation325, 328
Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming129
Gries D. — A Logical Approach to Discrete Math67, 135
Salomaa A. — Computation and automata162
Hinman P.G. — Fundamentals of Mathematical Logic37, 110
Curry H.B. — Foundations of Mathematical Logic300
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey67
Ben-Ari M — Mathematical Logic for Computer Science67
Spears W.M. — Evolutionary Algorithms. The Role of Mutation and Recombination21, 35, 200—201, 209
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science356—360, 364, 368, 392, 393, 444, 446, 447—448, 451—456, 457—458, 461
Hartmann A.K., Rieger H. — Optimization Algorithms in Physics19
Gossett E. — Discrete Math with Proof779
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic127
Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)127
Ackermann W. — Solvable Cases of the Decision Problem19
Anthony M. — Discrete Mathematics Of Neural Networks13
Elliott Mendelson — Introduction to mathematical logic28
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers56, 64, 68, 81
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof28, 29
Sipser M. — Introduction to the Theory of Computation251
Horowitz E., Rajasekaran S., Sahui S. — Computer Algorithms502
Gill A. — Applied Algebra for the Computer Sciences133
Jones N.D. — Computability and complexity from a programming perspectivesee "CNF"
Curry H.B. — Foundations of mathematical logic300
Gries D. — The science of programming27
Clocksin W.F., Mellish C.S. — Programming in Prolog, using the ISO standard243
Steen S. — Mathematical Logic56, 64, 68, 81
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте