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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ1124
Hobbs C. — A Practical Approach to WBEM/CIM Management108
Christofides N. — Combinatorial Optimization171
Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms195, 208
Rips J.L. — The psychology of proof: deductive reasoning in human thinking366
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic126
Gilbert W.J., Nicholson W.K. — Modern Algebra with Applications30
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers56, 64, 68
Wegener I. — Complexity of Boolean Functions5
Halmos P.R., Givant S. — Logic as Algebra89
Engel K. — Sperner theory195
Simpson S.G. — Mathematical Logic9
Hein J.L. — Discrete Mathematics323
Rowe N.C. — Artifical intelligence through Prolog179, 382
Papadimitriou C.H. — Computational Complexity75
Motwani R., Raghavan P. — Randomized algorithmssee “DNF”
Morelos-Zaragoza R.H. — The art of error-correcting coding27
Kushilevitz E., Nisan N. — Communication Complexity120
Monk J.D. — Mathematical Logic127, 235
Hein J.L. — Discrete Structures, Logic, and Computability320
Lawrence C. Paulson — ML for the working programmer170
Müller S.M.(ed.), Paul W.J.(ed.) — The Complexity of Simple Computer Architecturessee “DNF”
Maier D. — The theory of relational databasessee Normal form
Aigner M. — Combinatorial Theory165
Hein J.L. — Theory of Computation: An Introduction123
Smullyan R.M. — First-Order Logic13
Perrin D., Pin J.-E. — Infinite Words: Automata, Semigroups, Logic abd Games334
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math483
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity764
Stinson D.R. — Cryptography: Theory and practice488
Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A764
Gries D. — A Logical Approach to Discrete Math67
Hinman P.G. — Fundamentals of Mathematical Logic37, 110
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics483
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey99
Ben-Ari M — Mathematical Logic for Computer Science99
Monk J.D. (ed.) — Handbook of Boolean Algebras, Vol. 151
Spears W.M. — Evolutionary Algorithms. The Role of Mutation and Recombination35, 200—201
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science356—360, 444
Gossett E. — Discrete Math with Proof770
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic126
Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)126
Ackermann W. — Solvable Cases of the Decision Problem20
Anthony M. — Discrete Mathematics Of Neural Networks11
Elliott Mendelson — Introduction to mathematical logic28
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers56, 64, 68
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof28, 29, 32
Horowitz E., Rajasekaran S., Sahui S. — Computer Algorithms503
Gill A. — Applied Algebra for the Computer Sciences133
Hill F.J., Peterson G.R. — Computer Aided Logical Design with Emphasis on VLSI83
Gries D. — The science of programming27
Steen S. — Mathematical Logic56, 64, 68
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте