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

square Второй курс

square Третий курс

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

square Пятый курс

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

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

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

КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ192, 236
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction240
Dodge C.W. — Sets, logic & numbers139
Chagrov A., Zakharyaschev M. — Modal logic29, 64
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools532
Maeder R.E. — Computer science with mathematica66, 99, 273, 283, 293
Dodge C.W. — Foundations of algebra and analysis139
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra38, 56, 93, 94
Diestel R. — Graph theory358
Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic58, 299, 308, 315—316, 321—322
Grillet P.A. — Abstract Algebra633, 634
Grotschel M., Lovasz L., Schrijver A. — Geometric Algorithms and Combinatorial Optimization18
Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability2—3, 515, 516, 518
Simpson S.G. — Mathematical Logic15
Enderton H.B. — Elements of set theory68
Hrbacek K., Jech T. — Introduction to Set Theory40, 51
Kowalski R. — Logic for problem solving7
Hein J.L. — Discrete Mathematics217
Rowe N.C. — Artifical intelligence through Prolog197, 207, 248
Featherstone R. — Rigid Body Dynamics Algorithms53, 60, 69, 143, 148, 219
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic73, 128
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs66, 69, 259
Hein J.L. — Discrete Structures, Logic, and Computability212
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing37
Бердж В. — Методы рекурсивного программирования107
Granas A., Dugundji J. — Fixed Point Theory614
Troelstra A.S. — Basic proof theory8
Вraker J.G. — Algorithms and applications in timed discrete event systems17, 122
Berge C. — Graphs and Hypergraphs3
Alling N.L. — Foundations of Analysis over Surreal Number Fields4.50, 4.51, 4.53
Marcja A., Toffalori C. — A Guide to Classical and Modern Model Theory47, 263
Hein J.L. — Theory of Computation: An Introduction83
Holz M., Podewski K.-P., Steffens K. — Injective Choice Functions17
Smullyan R.M., Fitting M. — Set theory and the continuum problem45
Kreher D.L., Stinson D.R. — Combinatorial Algorithms: Generation, Enumeration and Search31, 38, 43, 52, 53, 60, 75
Anderson G.A., Granas A. — Fixed Point Theory614
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math233, 444
Hu S.-T. — Introduction to contemporary mathematics45
Bourgin R.D. — Geometric Aspects of Convex Sets with the Radon-Nikodym Property403
Hille E. — Methods in classical and functional analysis85
Lin Y. — General Systems Theory: A Mathematical Approach70
Diestel R. — Graph Decompositions203
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation2
Cohen L.W., Ehrlich G. — The Structure of the Real Number System16
Lane S.M. — Mathematics, form and function8, 34, 43
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling37
Hinman P.G. — Fundamentals of Mathematical Logic21, 440, 458
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics233, 444
Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics351
Greenfield J.S. — Distributed Programming Paradigms with Cryptography Applications24, 72
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics49, 76—78, 195, 196, 217, 232, 234, 237, 279, 348, 350, 598
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.96, 103, 220, 232, 344, 360, 409, 423, 429, 516
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction243, 307
Gossett E. — Discrete Math with ProofA1
Elliott Mendelson — Introduction to mathematical logic121
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof203
Jones N.D. — Computability and complexity from a programming perspective34
Mac Lane S. — Mathematics: Form and Function8, 34, 43
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics243, 307
Shoenfield J.R. — Mathematical Logic5, 248
Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic54
Truss J.K. — Foundations of Mathematical Analysis6
Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker))40, 51
Truss J. — Foundations of mathematical analysis6
J. K. Truss — Foundations of mathematical analysis MCet6
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте