| Книга | Страницы для поиска |
| Kharazishvili A.B. - Strange functions in real analysis | |
| Кормен Т., Лейзерсон Ч., Ривест Р. - Алгоритмы: построение и анализ | 83 |
| Nevanlinna R., Paatero V. - Introduction to Complex Analysis | 122 |
| Hunter J.K., Nachtergaele B. - Applied Analysis | 33 |
| Rudin W. - Principles of Mathematical Analysis | 25 |
| Reed M., Simon B. - Methods of Modern mathematical physics (vol. 1) Functional analysis | 2 |
| Grimaldi R.P. - Discrete and combinatorial mathematics. An introduction | 349, 355, 356, 368, 382-386, 388, 394-396, 717, 816, 845, 871 |
| Dummit D.S., Foote R.M. - Abstract algebra | 3, 45, 114 |
| Pollard H., Diamond H.G. - The Theory of Algebraic Numbers | 57 |
| Graham R.L., Knuth D.E., Patashnik O. - Concrete mathematics | 124 |
| Allen R.L., Mills D.W. - Signal analysis. Time, frequency, scale and structure | 202 |
| Chagrov A., Zakharyaschev M. - Modal logic | 93 |
| Apostol T.M. - Mathematical Analysis | 43 (Ex. 2.2) |
| Baker A. - Algebra and Number Theory | 8 |
| Mughal K., Rasmussen R. - A Programmer's Guide to Java Certification: A Comprehesive Primer | |
| Hoffman K., Kunze R. - Linear algebra | 393 |
| Cameron P.J. - Combinatorics : Topics, Techniques, Algorithms | 35 |
| Messer R. - Linear Algebra: Gateway to Mathematics | 53 |
| Kuttler K. - Introduction to linear algebra for mathematicians | 189 |
| Dolgachev I. - Lectures on Invariant Theory | 91 |
| Kneebone G.T. - Mathematical Logic and the Foundation of Mathematics | 33, 90 |
| Ebbinghaus H.-D., Flum J., Thomas W. - Mathematical logic | 5 |
| Gilbert W.J., Nicholson W.K. - Modern Algebra with Applications | 5, 77 |
| Becker T., Weispfenning V. - Groebner bases and commutative algebra | 150 |
| Lightstone A.H., Robinson A. - Nonarchimedean Fields and Asymptotic Expansions | 4 |
| Föllmer H., Schied A. - Stochastic finance | 44 |
| Pareigis B. - Categories and functors | 6, 99 |
| Graves L.M. - Theory of Functions of Real Variables | 24 |
| Isham J. - Modern Differential Geometry for Physics | see Relation, equivalence |
| Steen S.W.P. - Mathematical Logic with Special Reference to the Natural Numbers | 123 |
| Dittrich W., Reuter M. - Classical and quantum dynamics | 287 |
| Folland J.B. - Real Analysis: Modern Techniques and Their Applications | 3 |
| Artin M. - Algebra | 53 |
| Pugovecki E. - Quantum mechanics in hilbert space | 27 |
| Dummit D.S., Foote R.M. - Abstract Algebra | 3 |
| Behnke H., Bachmann F., Fladt K. - Fundamentals of Mathematics, Volume II: Geometry | 11, 24 |
| Ferguson T.S. - Mathematical Statistics. A Decision Theoretic Approach | 11, 153 |
| Mahmoud H.M. - Evolution of random search trees | 254 |
| Kollar J. - Rational Curves on Algebraic Varieties | IV.4.2, p. 210 |
| Mendelson B. - Introduction to Topology | 150 |
| Lawvere F.W., Rosebrugh R. - Sets for Mathematics | 89 |
| Small Ch.G. - Functional Equations and how to Solve Them | 58 |
| Halmos P.R., Givant S. - Logic as Algebra | 29, 41, 70 |
| Kaczynski T., Mischaikow K.M. - Computational Homology | 425 |
| Lawler E.L. - Combinatorial Optimization: Networks and Matroids | 18 |
| Velleman D.J. - How to Prove It: A Structured Approach | 213-222, 309 |
| Hogben L. - Handbook of Linear Algebra | P-3 |
| Lectures on invariant theory | 91 |
| Simpson S.G. - Mathematical Logic | 55 |
| Enderton H.B. - Elements of set theory | 56 |
| Lau D. - Function Algebras on Finite Sets | 42 |
| James I.M. - Topological and Uniform Spaces | 4, 39, 50-52, 76, 79, 83, 89, 98, 100, 117, 118, 123, 124, 128, 147, 155 |
| Ash C.J., Knight J., Sevenster A. (Ed) - Computable Structures and the Hyperarithmetical Hierarchy | 41, 317 |
| Searcid M. - Metric Spaces | 267 |
| Wise G.L., Hall E.B. - Counterexamples in Probability and Real Analysis | 34, 39, 67, 76, 133 |
| Sketches - A supplement for Category theory for computing science | 60 |
| Connell E.H. - Elements of abstract and linear algebra | 4 |
| Ellis G. - Rings and Fields | 8 |
| Allouche J.-P., Shallit J. - Automatic Sequences: Theory, Applications, Generalizations | 133 |
| Hrbacek K., Jech T. - Introduction to Set Theory | 29 |
| Burris S. - Number theoretic density and logical limit laws | 22 |
| Comtet L. - Advanced Combinatorics. The Art of Finite and Infinate Expansions | 59 |
| Barr M., Wells C. - Toposes, Triples and Theories | 40, 50, 89 |
| Goldblatt R. - Topoi | 61-63 |
| Shoup V.A. - Computational Introduction to Number Theory and Algebra | xv |
| Hahn L.- Sh., Epstein B. - Classical Complex Analysis | 284, 337 |
| Lima E.L. - Fundamental Groups and Covering Spaces | 28 |
| Alaca S., Williams K.S. - Introductory Algebraic Number Theory | 5 |
| Dugunji J. - Topology | 15, 16 |
| Tennison B.R., Hitchin N.J. (Ed) - Sheaf Theory | 69 |
| Berberian S.K. - Fundamentals of Real Analysis | 9, 17 |
| Choquet-Bruhat Y., Dewitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics (vol. 1) | 5 |
| Williamson S. - Combinatorics for computer science | 3 |
| Iliadis S.D. - Universal Spaces and Mappings | 4 |
| Morris S.A. - Topology without tears | 76, 117, 164 |
| Akivis M., Goldberg V. - Differential Geometry of Varieties with Degenerate Gauss Maps | 19, 24, 53 |
| Humphreys J.F., Prest M.Y. - Numbers, Groups and Codes | see relation, equivalence |
| Sipser M. - Introduction to the theory of computation | 9 |
| Reed M., Simon B. - Methods of Functional Analysis (in 4 volumes). Volume 1: Functional Analysis | 2 |
| Jones J.A., Jones J.M. - Elementary Number Theory | 39 |
| Vick J.W. - Homology theory. An introduction to algebraic topology | 8, 35 |
| Hein J.L. - Discrete Mathematics | 197-212 |
| Royden H.L. - Real Analysis | 22 |
| Terano T., Asai K., Sugeno M. - Fuzzy systems theory and its applications | 25 |
| Goutsias J., Vincent L., Bloomberg D.S. - Mathematical morphology and its applications to image signal processing | 100 |
| Najim K., Ikonen E., Daoud A.-K. - Stochastic processes. Estimation, optimization and analysis | 51 |
| Lang S. - Undergraduate Algebra | 12 |
| Lang S.A. - Undergraduate Analysis | 15, 32 |
| Kurth R. - Dimensional analysis and group theory in astrophysics | 7 |
| Rall D. - Computational Solution to Nonlinear Operator Equations | 20 |
| Royden H.L. - Real Analysis | 22 |
| Szekeres P. - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 8 |
| Lipschutz S.Ph.D. - Schaum's outline of theory and problems of finite mathematics | 59 |
| Lay D.C. - Linear Algebra And Its Applications | 301 |
| Mukhi S., Mukunda N. - Introduction to Topology, Differential Geometry and Group Theory for Physicists | 13 |
| Kolman B., Busby R.C., Cutler S.C. - Discrete Mathematical Structures | 128 |
| Halmos P.R. - Finite-Dimensional Vector Spaces | 35 |
| von zur Gathen J., Gerhard J. - Modern computer algebra | 84, 296, 310, 405, 637, 671 |
| Knuth D.E. - The art of computer programming (Vol. 1. Fundamental algorithms) | 353 |
| Kolmogorov A.N., Fomin S.V. - Introductory real analysis | 7 |
| Tung W.K. - Group Theory in Physics: An Introduction to Symmetry Principles, Group Representations, and Special Functions | 19, 296 |
| Hein J.L. - Discrete Structures, Logic, and Computability | 192-207 |
| Beckenbach E.F. (editor), Polya G., Lehmer D.H. and others - Applied combinatorial mathematics | 150, 538 |
| Pedicchio M. C., Tholen W. - Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | IV.167, VI.280 |
| Tucker А. - Applied Combinatorics | 352 |
| Moerdijk I. - Classifying Spaces and Classifying Topoi | 6 |
| Froberg R. - An Introduction to Grobner Bases | 20 |
| Johnstone P.T. - Sketches of an Elephant: A Topos Theory Compendium | A1.3.6 |
| Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 6-7, 12-13, 126, 133-134 |
| Hu S.-T. - Elements of real analysis | 18 |
| Munkres J. - Topology | 22 |
| O'Donnell C.J. - Incidence Algebras | 1, 4, 9, 19 23, 25, 26, 107-110, 112, 115, 129, 133, 136, 138, 148, 153, 211, 285, 301 |
| Fenn R. - Geometry | 11, 42 |
| Vanderbei R.J. - Linear Programming: Foundations and Extensions | 237 |
| Jacobson N. - Lectures in Abstract Algebra, Vol. 1 | 4 |
| Borceux F. - Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 102 |
| Borceux F. - Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 102 |
| Fuhrmann P.A. - A Polynomial Approach to Linear Algebra | 1 |
| Nagata M. - Field Theory | 6 |
| Hein J.L. - Theory of Computation: An Introduction | 77 |
| Kreyszig E. - Advanced engineering mathematics | 296 |
| Steeb W.- H. - Problems and Solutions in Introductory and Advanced Matrix Calculus | 42 |
| Smullyan R.M., Fitting M. - Set theory and the continuum problem | 195 |
| Simmons G.F. - Introduction to topology and modern analysis | 27 |
| Charalambides C.A. - Enumerative Combinatorics | 7 |
| Jonsson B. - Topics in Universal Algebra | 8 |
| Milner R. - Communicating and mobile systems: the symbol for pi-calculus | 19 |
| Ore O., Wilson R.J. - Graphs and Their Uses | 101 |
| Mac Lane S., Birkhoff G.D. - Algebra | 12, 212 |
| Nijenhuis A., Wilf H.S. - Combinatorial Algorithms: For Computers and Calculators | 89 |
| Fischer G. - Complex Analytic Geometry | 66 |
| Kurosh A. - Higher Algebra | 356 |
| Birknoff - Lattice Theory | vii |
| Behrens E.-A. - Ring Theory: Volume 44 in Pure and Applied Mathematics | 37 |
| Andrews G.E. - Number Theory | 50 |
| Hungerford T.W. - Algebra | 6 |
| Wilkinson L., Wills G., Rope D. - The Grammar aof Graphics | 81 |
| M.A.Akivis, V.V.Goldberg - Projective Differential Geometry of Submanifolds | 17, 23, 35 |
| Ding-Zhu D., Ker-I K. - Problem solving in automata, languages, and complexity | 70 |
| Barut A.O., Raczka R. - Theory of Group Representations and Applications | 637 |
| Katznelson I., KatznelsonY.R. - A (Terse) Introduction to Linear Algebra (Student Mathematical Library) | 187 |
| Ginsburg S. - The mathematical theory of context-free languages | 3 |
| Shapiro S. - Thinking about Mathematics: The Philosophy of Mathematics | 137n |
| Arbib M.A., Manes E.G. - Arrows structures and functors. The categorical imperative | 17 |
| Bridges D.S. - Foundations Of Real And Abstract Analysis | 6 |
| Lewis H.R., Papadimitriou C.H. - Elements of the Theory of Computation | 16 |
| Šimša J., Kucčra R., Herman J. - Counting and Configurations: Problems in Combinatorics, Arithmetic, and Geometry | 96 |
| Beaumont R.A., Pierce R.S. - The Algebraic Foundations of Mathematics | 214 |
| Thron W. - Introduction to the theory of functions of a complex variable | 3 |
| Tucker A. - Applied Combinatorics | 352 |
| Kuratowski K. - Topology. Volume II | 146, 481 |
| Kreyszig E. - Introductory functional analysis with applications | 618 |
| Hans Rademacher - Lectures on elementary number theory | 6, 17 |
| Hefferon J. - Linear algebra | A-10, A-11 |
| Klaas G., Leedham-Green C.R., Plesken W. - Linear Pro-p-Groups of Finite Width | II.6.1, R.5.2 |
| Hu S.-T. - Introduction to contemporary mathematics | 30 |
| Milner R. - Communicating and Mobile Systems: the Pi-Calculus | 19 |
| Aliprantis C. - Principles of real analysis | 7 |
| Semadini Z. - Banach Spaces of Continuous Functions. Vol. 1 | 27 |
| Choquet-Bruhat Y., DeWitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics. Part I. | 5 |
| B.M. Stewart - Theory of Numbers | 83 |
| Ginsburg S. - The mathematical theory of context-free languages | 3 |
| Spanier E.H. - Algebraic Topology | 2 |
| Birkhoff G., Mac Lane S. - A Survey of Modern Algebra | 34, 164 |
| Chang C.C., Keisler H.J., Troelstra A.S. - Model Theory | 59, 580 |
| Munkres J.R. - Topology: A First Course | 22 |
| Johnstone P.T. - Topos Theory | 16 |
| Bruck R.H. - A survey of binary systems | 22 |
| Kuratowski K. - Introduction To Set Theory & Topology | 67 |
| Gelbaum B.R. - Problems in Real and Complex Analysis | 2.1. 14 |
| Ore O. - Number theory and its history | 213 |
| Lang S. - Undergraduate analysis | 15, 32 |
| Hopcroft J.E., Ullman J.D. - Introduction to automata theory, languages, and computation | 7, 65-66 |
| Cohen L.W., Ehrlich G. - The Structure of the Real Number System | 9, 43, 60, 80, 106 |
| Shick P.L. - Topology: Point-set and geometric | 24, 30, 101 |
| Hewitt E., Stromberg K. - Real and abstract analysis: a modern treatment of the theory of functions of a real variable | 8 |
| Eilenberg S. - Automata, languages, and machines. Volume A | 8 |
| Howie J.M. - Fields and Galois Theory | 5 |
| Beckenbach E.F. (ed.) - Applied Combinatorial Mathematics | 150, 538 |
| Geddes K., Czapor S., Labahn G. - Algorithms for computer algebra | 430 |
| Gries D. - A Logical Approach to Discrete Math | 276 |
| Loomis L.H., Sternberg S. - Advanced calculus | 19 |
| Penney D.E. - Perspectives in Mathematics | 5, 162 |
| Lane S.M. - Mathematics, form and function | 133 |
| Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 6-7, 12-13, 126, 133-134 |
| Hinman P.G. - Fundamentals of Mathematical Logic | 477 |
| Weil A. - Number theory for beginners | 19 |
| Daepp U., Gorkin P. - Reading, writing and proving. Close look at mathematics | 110-111, 122 |
| Laurens Jansen - Theory of Finite Groups. Applications in Physics | 24 |
| Lang S. - Linear Algebra | 375 |
| Herstein I.N. - Topics in algebra | 6 |
| Tourlakis G.J. - Lectures in Logic and Set Theory: Set Theory | 276 |
| Grimaldi R.P., Rothman D.J. - Discrete and Combinatorial Mathematics | 337, 342, 343, 353, 366-378, 686, 695, 735, 780, 782, 783, 808, 830 |
| Hodge W.V.D., Pedoe D. - Methods of Algebraic Geometry: Volume 1 | 10 |
| Hadlock C.R. - Field theory and its classical problems | 99, 150 |
| Ginsburg S. - An Introduction to Mathematical Machine Theory | 2 |
| Treves F. - Topological Vector Spaces, Distributions And Kernels | 15 |
| Kaufmann A. - Graphs, dynamic programming, and finite games | 239, 280 |
| LeVeque W.J. - Elementary theory of numbers | 36 |
| Kharazishvili A.B. - Nonmeasurable Sets and Functions | 1 |
| Gossett E. - Discrete Math with Proof | 736, 739 |
| Childs L. - A concrete introduction to higher algebra | 6, 52, 99 |
| Heinz-Dieter E., Jorg F., Wolfgang T. - Mathematical Logic | 5 |
| Sachkov V.N. - Combinatorial methods in discrete mathematics | 4 |
| Ebbinghaus H., Flum J., Thomas W. - Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 5 |
| James I.M. (ed.) - Topological and Uniform Spaces | 4, 39, 50-52, 76, 79, 83, 89, 98, 100, 117, 118, 123, 124, 128, 147, 155 |
| Abhyankar S.S. - Lectures on Algebra Volume 1 | 37 |
| Steen S. - Mathematical Logic with Special Reference to the Natural Numbers | 123 |
| Bell E.T. - Mathematics: Queen and Servant of Science | 68-69, 105, 197 |
| Bäck T. - Evolutionary Algorithms in Theory and Practice | 202 |
| Bonahon F. - Low-Dimensional Geometry: From Euclidean Surfaces to Hyperbolic Knots (Student Mathematical Library: Ias Park City Mathematical Subseries) | 84 |
| Schutz B. - Geometrical Methods in Mathematical Physics | 150 |
| Sipser M. - Introduction to the Theory of Computation | 9 |
| Gill A. - Applied Algebra for the Computer Sciences | 39 |
| Kolman B., Busby R.C., Ross S. - Discrete Mathematical Structures | 131 |
| Rautenberg W. - A Concise Introduction to Mathematical Logic (Universitext) | 36 |
| Golan J.S. - The Linear Algebra a Beginning Graduate Student Ought to Know (Texts in the Mathematical Sciences) | 106 |
| Choquet-Bruhat Y., Dewitt-Morette C. - Analysis, manifolds and physics | 5 |
| Buchdahl H.A. - The Concepts of Classical Thermodynamics | 101 |
|
|
О проекте