| Книга | Страницы для поиска |
| Кормен Т., Лейзерсон Ч., Ривест Р. - Алгоритмы: построение и анализ | 81 |
| Hunter J.K., Nachtergaele B. - Applied Analysis | 82 |
| Gray R.M. - Probability, Random Processes and Ergodic Properties | 6, 24, 34 |
| Grimaldi R.P. - Discrete and combinatorial mathematics. An introduction | 148 |
| Dummit D.S., Foote R.M. - Abstract algebra | 232 |
| Kisacanin B. - Mathematical problems and proofs. Combinatorics, Number theory, and Geometry | 6 |
| Dodge C.W. - Sets, logic & numbers | 59 |
| Allen R.L., Mills D.W. - Signal analysis. Time, frequency, scale and structure | 163 |
| Gray R.M., Davisson L.D. - Introduction to statistical signal processing | 35 |
| Baker A. - Algebra and Number Theory | 58 |
| MacLane S. - Categories for the working mathematician | 21 |
| Bilaniuk S. - A Problem Course in Mathematical Logic (vol. 1) | 79 |
| Cameron P.J. - Combinatorics : Topics, Techniques, Algorithms | 13, 17 |
| Lueneburg H. - Tools and fundamental constructions of combinatorial mathematics | 35 |
| Gilbert W.J., Nicholson W.K. - Modern Algebra with Applications | 8 |
| Becker T., Weispfenning V. - Groebner bases and commutative algebra | 15 |
| Pareigis B. - Categories and functors | 21 |
| MacLane S., Moerdijk L. - Sheaves in Geometry and Logic | 277, 332, 339 |
| Kaburlasos V.G. - Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications | 60, 185 |
| Lee J.M. - Introduction to Topological Manifolds | 339 |
| Dodge C.W. - Foundations of algebra and analysis | 59 |
| Behnke H., Bachmann F., Fladt K. - Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 52, 54, 485 |
| Thorisson H. - Coupling, Stationarity, and Regeneration | 88 |
| Diestel R. - Graph theory | 357 |
| Grotschel M., Lovasz L., Schrijver A. - Geometric Algorithms and Combinatorial Optimization | 2 |
| Mill J.V. - The Infinite-Dimensional Topology of Function Spaces | 458 |
| Winter M. - Goguen Categories: A Categorical Approach to L-Fuzzy Relations | 2 |
| Velleman D.J. - How to Prove It: A Structured Approach | 75-76, 119, 318 |
| Sagan H. - Advanced Calculus of Real-Valued Functions of a Real Variable and Vector-Valued Functions of a Vector Variable | (54) |
| Dudley R.M., Fulton W. (Ed) - Real Analysis and Probability | 4, 507 |
| Enderton H.B. - Elements of set theory | 4, 19, 141 |
| Burris S., Sankappanavar H.P. - A Course in Universal Algebra | 6 |
| Searcid M. - Metric Spaces | 252 |
| Resnick S.I. - A probability path | 2 |
| Connell E.H. - Elements of abstract and linear algebra | 12 |
| Hrbacek K., Jech T. - Introduction to Set Theory | 10 |
| Dugunji J. - Topology | 10, 19 |
| Berberian S.K. - Fundamentals of Real Analysis | 12 |
| Pugh C.C. - Real Mathematical Analysis | 47 |
| Choquet-Bruhat Y., Dewitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics (vol. 1) | 2 |
| Takeuti G., Zaring W.M. - Introduction to Axiomatic Set Theory | 15 |
| Wapner L. - The Pea and the Sun: A Mathematical Paradox | 75 |
| Sipser M. - Introduction to the theory of computation | 6, 53 |
| Bryant V.W., Perfect H. - Independence Theory in Combinatorics | 3 |
| Hein J.L. - Discrete Mathematics | 14 |
| Marker D. - Model theory: An introduction | 5 |
| Goutsias J., Vincent L., Bloomberg D.S. - Mathematical morphology and its applications to image signal processing | 14 |
| Bichteler K. - Integration - a functional approach | 164 |
| Duffie D. - Security Markets. Stochastic Models | 52 |
| Tanimoto S.L. - The elements of artificial intelligence. An introduction using LISP | 272, 274 |
| Alagić S., Arbib M.A. - The Design of Well-Structured and Correct Programs | 59-60, 106, 257 |
| Strichartz R.S. - The way of analysis | 10 |
| Hein J.L. - Discrete Structures, Logic, and Computability | 13 |
| Bollobás B. - Combinatorics: Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability | 1 |
| Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 5, 12 |
| Munkres J. - Topology | 12 |
| Uttal W.R., Kakarala R., Dayanand S. - Computational modeling of vision. The role of combination | 86 |
| Paoluzzi A. - Geometric Programming for Computer Aided Design by Alberto Paoluzzi: Book Cover * o Table of Contents Read a Sample Chapter Geometric Programming for Computer Aided Design | 61 |
| Barwise J. (ed.) - Handbook of Mathematical Logic | 328 |
| D'Angelo J.P., West D.B. - Mathematical Thinking: Problem-Solving and Proofs | 6, 7, 82, 152 |
| Lipschutz S. - Schaum's Outline of Probability | 5 |
| Hein J.L. - Theory of Computation: An Introduction | 11 |
| Smullyan R.M., Fitting M. - Set theory and the continuum problem | 7 |
| Charalambides C.A. - Enumerative Combinatorics | 4 |
| Rebonato R. - Interest-rate option models : understanding, analysing and using models for exotic interest-rate options | 450 |
| Mirsky L. - Transversal theory. An account of some aspects of combinatorial mathematics | 3 |
| Mac Lane S., Birkhoff G.D. - Algebra | 153 |
| Hungerford T.W. - Algebra | 3 |
| Arbib M.A., Manes E.G. - Arrows structures and functors. The categorical imperative | 9, 27 |
| Lewis H.R., Papadimitriou C.H. - Elements of the Theory of Computation | 8 |
| Beaumont R.A., Pierce R.S. - The Algebraic Foundations of Mathematics | 26 |
| Browder A. - Mathematical Analysis: An Introduction | 2 |
| Seymour L. - Schaum's Outline of Theory and Problems of Discrete Math | 10, 18 |
| Kreyszig E. - Introductory functional analysis with applications | 612 |
| Enderton H.B. - A Mathematical Introduction to Logic | 2-3 |
| Aliprantis C. - Principles of real analysis | 4 |
| Gleason A. - Fundamentals of Abstract Analysis | 37 |
| Choquet-Bruhat Y., DeWitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics. Part I. | 2 |
| Chang C.C., Keisler H.J., Troelstra A.S. - Model Theory | 588 |
| Marathe K.B., Martucci G. - The mathematical foundations of gauge theories | 297 |
| Hille E. - Methods in classical and functional analysis | 113 |
| Lin Y. - General Systems Theory: A Mathematical Approach | 26, 62 |
| Munkres J.R. - Topology: A First Course | 11 |
| Mitchell T.M. - Machine Learning | 40-42 |
| Grimmett G., Welsh D. - Probability: An Introduction | 4 |
| 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 | 6 |
| Kuttler K.L. - Modern Analysis | 5 |
| Shick P.L. - Topology: Point-set and geometric | 52 |
| Hewitt E., Stromberg K. - Real and abstract analysis: a modern treatment of the theory of functions of a real variable | 3 |
| Bachman G. - Elements of Abstract Harmonic Analysis | 61 |
| Giarratano J.C., Riley G.D. - Expert Systems: Principles and Programming | 93 |
| Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 5, 12 |
| Mott J.L., Kandel A., Baker T.P. - Discrete Mathematics For Computer Scientists And Mathematicians | 7, 9 |
| Mott J., Kandel A., Baker T. - Discrete mathematics for computer scientists and mathematicians | 7, 9 |
| Hinman P.G. - Fundamentals of Mathematical Logic | 462 |
| Lipschutz S., Lipson M.L. - Schaum's outline of theory and problems of discrete mathematics | 10, 18 |
| Ponstein J. - Nonstandart Analysis | 47, 68, 70 |
| Daepp U., Gorkin P. - Reading, writing and proving. Close look at mathematics | 97 |
| Tourlakis G.J. - Lectures in Logic and Set Theory: Set Theory | 149, 178 |
| Grimaldi R.P., Rothman D.J. - Discrete and Combinatorial Mathematics | 128, 476, 533 |
| Gossett E. - Discrete Math with Proof | 20 |
| Sachkov V.N. - Combinatorial methods in discrete mathematics | 2 |
| Keenan E.L., Faltz L.M. - Boolean semantics for natural language | see also "Justification theorem" |
| Abhyankar S.S. - Lectures on Algebra Volume 1 | 33, 44, 604 |
| Elliott Mendelson - Introduction to mathematical logic | 181 |
| Andrews P.B. - An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 95, 180, 184 |
| Sipser M. - Introduction to the Theory of Computation | 6, 53 |
| Gill A. - Applied Algebra for the Computer Sciences | 4 |
| Rautenberg W. - A Concise Introduction to Mathematical Logic (Universitext) | XVI |
| Choquet-Bruhat Y., Dewitt-Morette C. - Analysis, manifolds and physics | 2 |
|
|
О проекте