| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Kharazishvili A.B. — Strange functions in real analysis | |
| Guillemin V., Pollack A. — Differential topology | 4 |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 1206 |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 81 |
| Bartle R.G. — The Elements of Real Analysis | 9 |
| Bass H. — Algebraic K-theory | 2 |
| Rudin W. — Fourier Analysis on Groups | 251 |
| Hunter J.K., Nachtergaele B. — Applied Analysis | 3 |
| Gray R.M. — Probability, Random Processes and Ergodic Properties | 37 |
| Reed M., Simon B. — Methods of Modern mathematical physics (vol. 1) Functional analysis | 1 |
| Apostol T.M. — Calculus (vol 2) | 244, |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 47, 1465 |
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 246, 250 |
| Dummit D.S., Foote R.M. — Abstract algebra | 1, 905ff |
| Falconer K. — Fractal Geometry: Mathematical Foundations and Applications | 4, 87, 99, 100 |
| Fisher Y. — Fractal Image Compression. Theory and Application | 48, 92 |
| Kisacanin B. — Mathematical problems and proofs. Combinatorics, Number theory, and Geometry | 7, 14, 69 |
| Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | see “Product” |
| Dodge C.W. — Sets, logic & numbers | 63 |
| Apostol T.M. — Mathematical Analysis | 33 |
| Bognar J. — Indefinite Inner Product Spaces | 8 |
| Olver P.J. — Equivalence, Invariants and Symmetry | 10, 15, 37, 46, 61, 254, 305, 425, 431 |
| Lee J.M. — Differential and Physical Geometry | xv |
| Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 17 |
| Messer R. — Linear Algebra: Gateway to Mathematics | 25 |
| Cameron P.J. — Polynomial aspects of codes, matroids, and permutation groups | 35 |
| Bagui S.S., Earp R.W. — Learning SQL on SQL Server 2005 | |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 5 |
| Rudin W. — Real and Complex Analysis | 7, 136 |
| Fulton W. — Intersection theory | 24—25, 428 |
| Haynes T.W., Hedetniemi S.T., Slater P.J. — Fundamentals of domination in graphs | 7 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 47, 1465 |
| Graves L.M. — Theory of Functions of Real Variables | 9, 40 |
| Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 345—346 |
| Isham J. — Modern Differential Geometry for Physics | 6, 36, 64 |
| Forta B. — Macromedia ColdFusion MX 7 Certified Developer Study Guide | |
| Benson D. — Mathematics and music | 303 |
| Lee J.M. — Introduction to Topological Manifolds | 340, 346 |
| Barnsley M. — Fractals Everywhere | 27, 126—127, 234 |
| Folland J.B. — Real Analysis: Modern Techniques and Their Applications | 3—4 |
| Adams R.A. — Sobolev Spaces | 8 |
| Dodge C.W. — Foundations of algebra and analysis | 63 |
| Debnath L., Mikusinski P. — Introduction to Hilbert Spaces with Applications | 8 |
| Dummit D.S., Foote R.M. — Abstract Algebra | 1, 643ff |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume II: Geometry | 176n |
| Mahmoud H.M. — Evolution of random search trees | 180 |
| Thorisson H. — Coupling, Stationarity, and Regeneration | 79 |
| Gupta M.M., Jin L., Homma N. — Static and dynamic neural networks | 275, 638 |
| Steege R., Bailey K., Hademenos G.J. — Intermediate Algebra: Based on Schaum's Outline of Theory and Problems of Intermediate Algebra | 83—85 |
| Mendelson B. — Introduction to Topology | 13 |
| Grillet P.A. — Abstract Algebra | 43, 324, 592 |
| Gracia-Bondia J.M., Varilly J.C., Figueroa H. — Elements of Noncommutative Geometry | 23 • |
| Merris R. — Combinatorics | 394 |
| Street R., Murray M. (Ed), Broadbridge Ph. (Ed) — Quantum Groups: A Path to Current Algebra | x, 1 |
| Godsil C., Royle G. — Algebraic Graph Theory | 154 |
| Eilenberg S., Steenrod N. — Foundations of Algebraic Topology | 67, 131 |
| Winter M. — Goguen Categories: A Categorical Approach to L-Fuzzy Relations | 2 |
| Sagan H. — Advanced Calculus of Real-Valued Functions of a Real Variable and Vector-Valued Functions of a Vector Variable | 9, 198 |
| Chou S.-C. — Mechanical Geometry Theorem Proving | 34, 35 |
| Hogben L. — Handbook of Linear Algebra | 13—11 to 13—12 |
| Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 8, 38—39, 508 |
| Hobby D., McKenzie R. — The Structure of Finite Algebras | 7 |
| Enderton H.B. — Elements of set theory | 37 |
| Lau D. — Function Algebras on Finite Sets | 64 |
| James I.M. — Topological and Uniform Spaces | 3, 30, 38, 67, 92 |
| Searcid M. — Metric Spaces | 254, 260 |
| Wise G.L., Hall E.B. — Counterexamples in Probability and Real Analysis | 100 |
| Connell E.H. — Elements of abstract and linear algebra | 2, 11 |
| Robert A. — Non-Standard Analysis | 2.5.2 |
| Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 421, 440 |
| Hrbacek K., Jech T. — Introduction to Set Theory | 21, 57 |
| Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions | 3 |
| Goldblatt R. — Topoi | 19 |
| Shoup V.A. — Computational Introduction to Number Theory and Algebra | xiv |
| Aliprantis Ch.D. — Positive Operators | 18 |
| Berberian S.K. — Fundamentals of Real Analysis | 5 |
| Pugh C.C. — Real Mathematical Analysis | 21 |
| Williamson S. — Combinatorics for computer science | 194 |
| Humphreys J.F., Prest M.Y. — Numbers, Groups and Codes | see product |
| Devaney R.L. — An introduction to chaotic dynamical systems | 171 |
| Sipser M. — Introduction to the theory of computation | 6, 46 |
| Geroch R. — Mathematical physics | 10 |
| Reed M., Simon B. — Methods of Functional Analysis (in 4 volumes). Volume 1: Functional Analysis | 1 |
| Atkinson K.E., Han W. — Theoretical Numerical Analysis: A Functional Analysis Framework | 6 |
| Khuri A.I. — Advanced calculus with applications in statistics | 3, 21 |
| Stone C.J.D. — Course in Probability and Statistics | 7 |
| Lad F. — Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction | 78 |
| Rowe N.C. — Artifical intelligence through Prolog | 408 |
| Rudin W. — Functional analysis | 49 |
| Wilson J.S. — Profinite groups | 3 |
| Milewski E.G. — Topology Problem Solver | 3—5 |
| Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications | 6 |
| Boas R.P. — A Primer of Real Functions | 79 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 266 |
| Lipschutz S.Ph.D. — Schaum's outline of theory and problems of finite mathematics | 50 |
| Taylor J.C. — An Introduction to Measure and Probability | 15 |
| Carter J.S. — How Surfaces Intersect in Space: A Friendly Introduction to Topology | 131 |
| Mahmoud H.M. — Sorting: a distribution theory | 7 |
| Singer I.M., Thorpe J.A. — Lecture Notes on Elementary Topology and Geometry | 2, 4 |
| Schroeder M.R. — Schroeder, Self Similarity: Chaos, Fractals, Power Laws | 177 |
| Rudin W. — Real and complex analysis | 7, 160 |
| Mukhi S., Mukunda N. — Introduction to Topology, Differential Geometry and Group Theory for Physicists | 1, 35 |
| Samet H. — The design and analysis of spatial data structures | 155, 187 |
| Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 103, 104 |
| O'Neill B. — Elementary differential geometry | 187(Ex. 9) |
| Phillips G.M. — Interpolation and Approximation by Polynomials | 166 |
| Helemskii A.Ya. — Lectures and Exercises on Functional Analysis, Vol. 233 | 40 |
| Feller W. — Introduction to probability theory and its applications (volume 1) | 129 |
| Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 60, 62—63, 76, 84, 254 |
| Jacobs B. — Categorical Logic and Type Theory | xiii |
| Strichartz R.S. — The way of analysis | 10, 13, 22, 601, 700 |
| Kolmogorov A.N., Fomin S.V. — Introductory real analysis | see “Direct product” |
| Schechter M. — Spectra of partial differential operators | 4 |
| Köthe G. — Topological vector spaces I | 8 |
| Chung F.R.K. — Spectral Graph Theory | 36, 62 |
| Dong F.M., Teo K.L., Koh K.M. — Chromatic Polynomials And Chromaticity Of Graphs | XXI |
| Husain T., Khaleelulla S.M. — Barrelledness in Topological and Ordered Vector Spaces | 4 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 5 |
| Marcus M. — Finite dimensional multilinear algebra. Part I | 1 |
| Hu S.-T. — Elements of real analysis | 13, 17, 144 |
| Bogolubov N.N., Logunov A.A., Todorov I.T. — Introduction to Axiomatic Quantum Field Theory | 30 |
| Maier D. — The theory of relational databases | 17, 30 |
| Billingsley P. — Probability and Measure | 234 |
| Hu S.-T. — Elements of general topology | 12—13 |
| Abhyankar S.S. — Local Analytic Geometry | 4 |
| Ullman J.D. — Principles of database systems | 19, 152, 177—178, 181—182, 268—269, 273—277, 289, 300 |
| D'Angelo J.P., West D.B. — Mathematical Thinking: Problem-Solving and Proofs | 9, 23, 87, 90, 98, 101, 247, 8 |
| Kincaid D., Cheney W. — Numerical analysis: mathematics of scientific computing | 385 |
| Antia H.M. — Numerical Methods for Scientists and Engineers | 241 |
| Olver P.J., Shakiban C. — Applied linear. algebra | 83, 88, 336, 364 |
| Holz M., Podewski K.-P., Steffens K. — Injective Choice Functions | 27 |
| Smullyan R.M., Fitting M. — Set theory and the continuum problem | 22 |
| Kreher D.L., Stinson D.R. — Combinatorial Algorithms: Generation, Enumeration and Search | 3 |
| Charalambides C.A. — Enumerative Combinatorics | 5 |
| Mirsky L. — Transversal theory. An account of some aspects of combinatorial mathematics | 7, 8 |
| Fried M.D., Jarden M. — Field Arithmetic | 182 |
| Mac Lane S., Birkhoff G.D. — Algebra | 10, 179 |
| Birknoff — Lattice Theory | xi |
| Beutler G. — Methods of Celestial Mechanics: Volume I: Physical, Mathematical, and Numerical Principles | I 183, 354 |
| Hungerford T.W. — Algebra | 6, 7ff |
| Wilkinson L., Wills G., Rope D. — The Grammar aof Graphics | 27 |
| Ullman J.D., Widom J. — A first course in database systems | See "Product" |
| Chailloux E., Manoury P., Pagano B. — Developing Applications with Objective Caml | 17 |
| Ginsburg S. — The mathematical theory of context-free languages | 2 |
| Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 9, 15, 42 |
| Lee J.M. — Differential and physical geometry | xv |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 10 |
| Williamson J.H. — Lebesgue Integration | 3 |
| Adomian G. — Stochastic Systems | 100 |
| Browder A. — Mathematical Analysis: An Introduction | 2, 133 |
| Grosche C. — Path integrals, hyperbolic spaces, and Selberg trace formulae | 12, 40 |
| Marks R.J.II. — The Joy of Fourier | 628, 645 |
| Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math | 27 |
| Adams P.W., Smith K., Výborný D. — Introduction to Mathematics with Maple | (see Sets, Cartesian product) |
| Valentine F.A. — Convex Sets | 198 |
| Kreyszig E. — Introductory functional analysis with applications | 612 |
| Hu S.T. — Introduction to general topology | 12, 40 |
| Ilachinski A. — Cellular automata. A discrete universe | 23 |
| Hu S.-T. — Introduction to contemporary mathematics | 24, 29 |
| Enderton H.B. — A Mathematical Introduction to Logic | 4 |
| Schechter M. — Operator methods in quantum mechanics | 315 |
| Aliprantis C. — Principles of real analysis | 6 |
| Antsaklis P.S., Michel A.N. — Linear Systems | 8 |
| Liu C.L. — Introduction to combinatorial mathematics | 128 |
| Choquet-Bruhat Y., DeWitt-Morette C., Dillard-Bleick M. — Analysis, manifolds and physics. Part I. | 2 |
| Ginsburg S. — The mathematical theory of context-free languages | 2 |
| Finkbeiner D.T. — Introduction to Matrices and Linear Transformations | 8, 162, 209 |
| Birkhoff G., Mac Lane S. — A Survey of Modern Algebra | 34 |
| DeGroot M.H. — Optimal statistical decisions | 8 |
| Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 579, 580 |
| McShane E.J., Botts T.A. — Real Analysis | 2, 43 |
| Bass H. — Algebraic K-theory | 2 |
| Kuratowski K. — Introduction To Set Theory & Topology | 40, 55, 109 |
| Gelbaum B.R. — Problems in Real and Complex Analysis | 1.1. 3, 2.1. 13 |
| Loomis L.H. — An introduction to abstract harmonic analysis | 10 |
| Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 5 |
| Cohen L.W., Ehrlich G. — The Structure of the Real Number System | 8, 42 |
| Iverson K.E. — A Programming Language | 30 |
| Bridges D.S. — Computability: A mathematical sketchbook | 1 |
| Shick P.L. — Topology: Point-set and geometric | 11, 97 |
| Rosenhouse J. — The Monty Hall Problem: The Remarkable Story of Math's Most Contentious Brain Teaser | 59 |
| Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming | 271 |
| Geddes K., Czapor S., Labahn G. — Algorithms for computer algebra | 46 |
| Hsiung C.-C. — A first course in differential geometry | 3 |
| Gries D. — A Logical Approach to Discrete Math | 266 |
| Lane S.M. — Mathematics, form and function | 129, 392 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 5 |
| Hinman P.G. — Fundamentals of Mathematical Logic | 473 |
| Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 27 |
| Ponstein J. — Nonstandart Analysis | 50 |
| Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 287 |
| Ben-Ari M — Mathematical Logic for Computer Science | 287 |
| Intriligator M.D. — Mathematical optimization and economic theory | 452 |
| Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics | 98, 106 |
| Monk J.D. (ed.) — Handbook of Boolean Algebras, Vol. 1 | 39, 49, 85ff, 107 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 27—30, 60, 62, 464 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 343, 696, 756 |
| Lasota A., Mackey M.C. — Probabilistic Properties of Deterministic Systems | 24 |
| Apostol T.M. — Calculus (Volume 2): Multi-Variable Calculus and Linear Algebra with Applications | 244 |
| Herstein I.N. — Topics in algebra | 5, 6 |
| Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science | 3 |
| Cohen G.L. — A Course in Modern Analysis and Its Applications | 7 |
| Bahturin Y.A., Mikhalev A.A., Petrogradsky V.M. — Infinite dimensional lie superalgebras | 12 |
| Zeidler E. — Oxford User's Guide to Mathematics | 645, 888 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 189 |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 152—154, 248, 249, 251 |
| Rapoport A. — N-person game theory: Concepts and Applications | 24—28 |
| Ginsburg S. — An Introduction to Mathematical Machine Theory | 2 |
| Kaufmann A. — Graphs, dynamic programming, and finite games | 244 |
| Gossett E. — Discrete Math with Proof | 20 |
| Geroch R. — Mathematical physics | 10 |
| Morris S. — Pontryagin Duality and the Structure of Locally Compact Abelian Groups | 1, 16 |
| Sachkov V.N. — Combinatorial methods in discrete mathematics | 2 |
| James I.M. (ed.) — Topological and Uniform Spaces | 3, 30, 38, 67, 92 |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 32, 603 |
| De Barra G — Measure theory and integration | 15, 176 |
| Elliott Mendelson — Introduction to mathematical logic | 5, 110, 179 |
| Milnor J.W., Stasheff J.D. — Characteristic Classes. (Am-76), Vol. 76 | 3, 27, 34, 54, 64, 92, 100 |
| Ivanov O.A. — Easy as Pi?: An Introduction to Higher Mathematics | 5, 10, 13, 119, 121, 124 |
| Kanwal R.P. — Generalized functions: Theory and technique | 169 |
| Maclane S. — Homology | 18 |
| Anderson F.W., Fuller K.R. — Rings and Categories of Modules | 2, 79 |
| Shirley P., Ashikhmin M, Gleicher M. — Fundamentals of computer graphics | 16 |
| Scheinerman E.A. — Mathematics: A Discrete Introduction | 73, 544 |
| Sipser M. — Introduction to the Theory of Computation | 6, 46 |
| Comfort W.W., Negrepontis S. — The Theory of UltraFilters | 2, 3 |
| Gill A. — Applied Algebra for the Computer Sciences | 26 |
| Falconer K. — Fractal geometry: mathematical foundations and applications | 4, 87, 99, 100 |
| Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 102, 103 |
| Jones N.D. — Computability and complexity from a programming perspective | 422 |
| Golan J.S. — The Linear Algebra a Beginning Graduate Student Ought to Know (Texts in the Mathematical Sciences) | 2 |
| Gries D. — The science of programming | 315 |
| Fritsch R., Piccinini R. — Cellular Structures in Topology (Cambridge Studies in Advanced Mathematics 19) | 241 |
| Choquet-Bruhat Y., Dewitt-Morette C. — Analysis, manifolds and physics | 2 |
| Joyner D. — Adventures in group theory: Rubik's cube, Merlin's machine, and other mathematical toys | 16 |
| Foster J., Nightingale J. — A Short Course in General Relativity (Longman mathematical texts) | 9 |
| Kunen K. — The Foundations of Mathematics | 26 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 152—154, 248, 249, 251 |
| D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs | 9, 23, 87—90, 98, 101, 247—248 |
| Geroch R. — Mathematical physics | 10 |
| Apostol T. — Mathematical Analysis, Second Edition | 33 |
| Shoenfield J.R. — Mathematical Logic | 244 |
| Isham C. — Modern Differential Geometry for Physicists | 6, 36, 64 |
| Klein E. — Mathematical methods in theoretical economics | see "Product of sets" |
| Abramsky S., Barwise J., Fine K. — Recursive Functionals. Studies in Logic and the Foundations of Mathematics Volume 131 | 19 |
| Truss J.K. — Foundations of Mathematical Analysis | 3 |
| Geddes K.O., Czapor S.R., Labahn G. — Algorithms for computer algebra | 46 |
| Lindstrum A.O. — Abstract algebra | 5 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 21, 57 |
| Truss J. — Foundations of mathematical analysis | 3 |
| J. K. Truss — Foundations of mathematical analysis MCet | 3 |
|
|
Î ïðîåêòå