| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Kharazishvili A.B. — Strange functions in real analysis | |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 84 |
| Khosrowpour M. — Encyclopedia Of Information Science And Technology | 1332 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 435 |
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 349, 353—356, 372—379, 394, 395 (see also “Poset”) |
| Nathanson M.B. — Elementary methods in number theory | 10 |
| Dodge C.W. — Sets, logic & numbers | 118, 240 |
| Chagrov A., Zakharyaschev M. — Modal logic | 25 |
| MacLane S. — Categories for the working mathematician | 11 |
| Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 36, 46, 187, 188 |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 151 |
| Föllmer H., Schied A. — Stochastic finance | 74 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 435 |
| MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 49 |
| Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 333—335 |
| Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 605 |
| Grimmett G. — Percolation | 11 |
| Dodge C.W. — Foundations of algebra and analysis | 118, 240 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume II: Geometry | 645 |
| Merris R. — Combinatorics | 413, 482 |
| Velleman D.J. — How to Prove It: A Structured Approach | 190, 254, 267, 268—269, 314 |
| Burke E.K., Kendall G. — Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques | 284 |
| Burris S., Sankappanavar H.P. — A Course in Universal Algebra | 6 |
| Ito M. — Algebraic Theory of Automata and Languages | 3 |
| Ellis G. — Rings and Fields | 11 |
| Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations | 64 |
| Pierce B.C. — Basic category theory for computer scientists | 3 |
| Goldblatt R. — Topoi | 29 |
| Bollobas B. — Modern Graph Theory | 80 |
| Thomson B.S. — Real Functions | 5 |
| Wilansky A. — Modern Methods in Topological Vector Spaces | 5 |
| Hein J.L. — Discrete Mathematics | 215—232 |
| Milewski E.G. — Topology Problem Solver | 7—7, 7—9, 7—11, 7—14 |
| Purdom R.W., Brown C.A. — The analysis of algorithms | 42, 54 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 9 |
| Mahmoud H.M. — Sorting: a distribution theory | 7 |
| Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 191 |
| Semple Ch., Steel M. — Phylogenetics | 1 |
| Bratteli O., Robinson D.W. — Operator Algebras and Quantum Statistical Mechanics (vol. 1) | 325 |
| Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 93 |
| von zur Gathen J., Gerhard J. — Modern computer algebra | 570 |
| Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 63, 257 |
| Aubin J.- P., Wilson S. — Optima and Equilibria: An Introduction to Nonlinear Analysis | 107 |
| Sagan B.E. — The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions | 58 |
| Hein J.L. — Discrete Structures, Logic, and Computability | 210—227 |
| Baladi V. — Positive Transfer Operators And Decay Of Correlations | 75 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 9—10, 13—15, 43—45 |
| Hu S.-T. — Elements of real analysis | 20, 37 |
| Munkres J. — Topology | 71 |
| Granas A., Dugundji J. — Fixed Point Theory | 589 |
| Hammer P.L., Rudeanu S. — Boolean methods in operations research and related areas | 19 |
| Müller-Olm M. — Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction | 9 |
| Bratteli O., Robinson D.W. — Operator Algebras and Quantum Statistical Mechanics (vol. 2) | 325 |
| Hein J.L. — Theory of Computation: An Introduction | 82—88 |
| Berge C. — The Theory of Graphs | p. 12 |
| Reisig W., Rozenberg G. — Petri Nets | 32-36, 140 |
| Mirsky L. — Transversal theory. An account of some aspects of combinatorial mathematics | 16 |
| Ore O., Wilson R.J. — Graphs and Their Uses | 105 |
| Mac Lane S., Birkhoff G.D. — Algebra | 143ff, 471 |
| Pears A.R. — Dimension theory of general spaces | 1 |
| Anderson G.A., Granas A. — Fixed Point Theory | 589 |
| Behrens E.-A. — Ring Theory: Volume 44 in Pure and Applied Mathematics | 14 |
| Ginsburg S. — The mathematical theory of context-free languages | 3 |
| Bridges D.S. — Foundations Of Real And Abstract Analysis | 6 |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 17 |
| Balakrishnan N., Rao C.R. — Handbook of Statistics (Vol. 17): Order Statistics: Applications | 15 |
| Browder A. — Mathematical Analysis: An Introduction | 3 |
| Hu S.-T. — Introduction to contemporary mathematics | 32 |
| Hayes D.F. (ed.), Shubin T. (ed.) — Mathematical Adventures for Students and Amateurs | 114, 115 |
| Pilz G. — Near-rings: the theory and its applications | 333 |
| Aliprantis C. — Principles of real analysis | 7 |
| Gleason A. — Fundamentals of Abstract Analysis | 75 |
| Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 77, 135, 166, 171f., 377 |
| Ginsburg S. — The mathematical theory of context-free languages | 3 |
| Yuan G.X.-Z. — KKM Theory and Applications in Nonlinear Analysis | 357 |
| Spanier E.H. — Algebraic Topology | 2 |
| Birkhoff G., Mac Lane S. — A Survey of Modern Algebra | 371ff. |
| Monk J.D., Bonnet R. — Handbook Of Boolean Algebras Vol.2 | 321, 640, 682 |
| Lin Y. — General Systems Theory: A Mathematical Approach | 80 |
| Munkres J.R. — Topology: A First Course | 71 |
| Rogers C.A. — Hausdorff Measures | see "Order" |
| McShane E.J., Botts T.A. — Real Analysis | 27ff |
| Loomis L.H. — An introduction to abstract harmonic analysis | 1 |
| Kuttler K.L. — Modern Analysis | 40 |
| Kunen K. — Set theory | 52 |
| Gries D. — A Logical Approach to Discrete Math | 285 |
| Lane S.M. — Mathematics, form and function | 28 |
| Fuch L. — Partially ordered algebraic systems | 1 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 9—10, 13—15, 43—45, 865 |
| Ponstein J. — Nonstandart Analysis | 139 |
| Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics | 142 |
| Monk J.D. (ed.) — Handbook of Boolean Algebras, Vol. 1 | 14, 26f, 55 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 51, 277, 278, 280, 282, 306, 393 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | see "Order" |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 337, 341—343, 356—364, 376, 377, 476, 533, 737, 738, see also "Poset" |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 33 |
| Anthony M. — Discrete Mathematics Of Neural Networks | 10, 66, 73 |
| Elliott Mendelson — Introduction to mathematical logic | 9, 61, 183 |
| Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 605 |
| Comfort W.W., Negrepontis S. — The Theory of UltraFilters | 3 |
| Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 225 |
| Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 37 |
| Golan J.S. — The Linear Algebra a Beginning Graduate Student Ought to Know (Texts in the Mathematical Sciences) | 53 |
| Mac Lane S. — Mathematics: Form and Function | 28 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 220 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 337, 341—343, 356—364, 376, 377, 476, 533, 737, 738, see also "Poset" |
| Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 178 |
| Steen S. — Mathematical Logic | 605 |
| Chvatal V. — Linear programming | 340, 373 |
| Pallaschke D., Rolewicz S. — Foundations of Mathematical Optimization. Convex Analysis without Linearity | 48 |
| Bird R., de Moor O. — Algebra of programming | 44, 86, 108 |
| Knuth D.E. — Selected papers on discrete mathematics | 35, 396, 484 |
|
|
Î ïðîåêòå