| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 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 |
| 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 |
| 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 |
| 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: An Applied Introduction | 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 |
| Jacky J. — The Way of Z: Practical Programming with Formal Methods | 69, 192, 300 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 168 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 128, 476, 533 |
| D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs | 6—7, 82, 152 |
| Keith Devlin — Mathematics: The New Golden Age | 48 |
| Shoenfield J.R. — Mathematical Logic | 242 |
| Szepietowski A. — Turing Machines with Sublogarithmic Space | 7 |
| Klein E. — Mathematical methods in theoretical economics | 6 |
| Truss J.K. — Foundations of Mathematical Analysis | 2, 36, 306 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 10 |
| Truss J. — Foundations of mathematical analysis | 2, 36, 306 |
| J. K. Truss — Foundations of mathematical analysis MCet | 2, 36, 306 |
| V. Bryant — Independence theory in combinatorics: An introductory account with applications to graphs and transversals (Chapman and Hall mathematics series) | 3 |
|
|
Î ïðîåêòå