| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| 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 |
| 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 |
| 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: An Applied Introduction | 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 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 220 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 337, 342, 343, 353, 366—378, 686, 695, 735, 780, 782, 783, 808, 830 |
| Mezey P.G. — Shape In Chemistry: An Introduction To Molecular Shape And Topology | 57, 142 |
| Kollar J. — Rational curves on algebraic varieties | 210 |
| Klein E. — Mathematical methods in theoretical economics | 30 |
| Nijenhuis A., Wilf H.S. — Combinatorial algorithms for computers and calculators | 89 |
| Steen S. — Mathematical Logic | 123 |
| Truss J.K. — Foundations of Mathematical Analysis | 3 |
| Meyer J.-J.Ch. — Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) | 25 |
| Knuth D.E. — Selected papers on discrete mathematics | 395, 407 |
| Geddes K.O., Czapor S.R., Labahn G. — Algorithms for computer algebra | 430 |
| Lindstrum A.O. — Abstract algebra | 26 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 29 |
| Jorgensen P.E.T. — Analysis and Probability: Wavelets, Signals, Fractals | 172 |
| Truss J. — Foundations of mathematical analysis | 3 |
| J. K. Truss — Foundations of mathematical analysis MCet | 3 |
|
|
Î ïðîåêòå