√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
ћехмат€нам
square ѕервый курс

square ¬торой курс

square “ретий курс

square „етвертый курс

square ѕ€тый курс
blank
јвторизаци€

       
blank
ѕоиск по указател€м

blank
 расота
blank
blank
–езультат поиска

ѕоиск книг, содержащих: Partial order



 нига—траницы дл€ поиска
Kharazishvili A.B. Ч Strange functions in real analysis
 ормен “., Ћейзерсон „., –ивест –. Ч јлгоритмы: построение и анализ84
Khosrowpour M. Ч Encyclopedia Of Information Science And Technology1332
Graham R.L., Grotschel M., Lovasz L. Ч Handbook of combinatorics (vol. 1)435
Grimaldi R.P. Ч Discrete and combinatorial mathematics. An introduction349, 353Ч356, 372Ч379, 394, 395 (see also УPosetФ)
Nathanson M.B. Ч Elementary methods in number theory10
Dodge C.W. Ч Sets, logic & numbers118, 240
Chagrov A., Zakharyaschev M. Ч Modal logic25
MacLane S. Ч Categories for the working mathematician11
Cameron P.J. Ч Combinatorics : Topics, Techniques, Algorithms36, 46, 187, 188
Gilbert W.J., Nicholson W.K. Ч Modern Algebra with Applications24
Becker T., Weispfenning V. Ч Groebner bases and commutative algebra151
Föllmer H., Schied A. Ч Stochastic finance74
Graham R.L., Grotschel M., Lovasz L. Ч Handbook of combinatorics (vol. 2)435
MacLane S., Moerdijk L. Ч Sheaves in Geometry and Logic49
Aho A.V., Sethi R., Ullman J.D. Ч Compilers: principles, techniques and tools333Ч335
Steen S.W.P. Ч Mathematical Logic with Special Reference to the Natural Numbers605
Grimmett G. Ч Percolation11
Dodge C.W. Ч Foundations of algebra and analysis118, 240
Behnke H., Bachmann F., Fladt K. Ч Fundamentals of Mathematics, Volume II: Geometry645
Merris R. Ч Combinatorics413, 482
Velleman D.J. Ч How to Prove It: A Structured Approach190, 254, 267, 268Ч269, 314
Burke E.K., Kendall G. Ч Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques284
Burris S., Sankappanavar H.P. Ч A Course in Universal Algebra6
Ito M. Ч Algebraic Theory of Automata and Languages3
Ellis G. Ч Rings and Fields11
Allouche J.-P., Shallit J. Ч Automatic Sequences: Theory, Applications, Generalizations64
Pierce B.C. Ч Basic category theory for computer scientists3
Goldblatt R. Ч Topoi29
Bollobas B. Ч Modern Graph Theory80
Thomson B.S. Ч Real Functions5
Wilansky A. Ч Modern Methods in Topological Vector Spaces5
Hein J.L. Ч Discrete Mathematics215Ч232
Milewski E.G. Ч Topology Problem Solver7Ч7, 7Ч9, 7Ч11, 7Ч14
Purdom R.W., Brown C.A. Ч The analysis of algorithms42, 54
Szekeres P. Ч A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry9
Mahmoud H.M. Ч Sorting: a distribution theory7
Kolman B., Busby R.C., Cutler S.C. Ч Discrete Mathematical Structures191
Semple Ch., Steel M. Ч Phylogenetics1
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 LISP93
von zur Gathen J., Gerhard J. Ч Modern computer algebra570
Alagić S., Arbib M.A. Ч The Design of Well-Structured and Correct Programs63, 257
Aubin J.- P., Wilson S. Ч Optima and Equilibria: An Introduction to Nonlinear Analysis107
Sagan B.E. Ч The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions58
Hein J.L. Ч Discrete Structures, Logic, and Computability210Ч227
Baladi V. Ч Positive Transfer Operators And Decay Of Correlations75
Aho A.V., Ullman J.D. Ч The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing9Ч10, 13Ч15, 43Ч45
Hu S.-T. Ч Elements of real analysis20, 37
Munkres J. Ч Topology71
Granas A., Dugundji J. Ч Fixed Point Theory589
Hammer P.L., Rudeanu S. Ч Boolean methods in operations research and related areas19
Müller-Olm M. Ч Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction9
Bratteli O., Robinson D.W. Ч Operator Algebras and Quantum Statistical Mechanics (vol. 2)325
Hein J.L. Ч Theory of Computation: An Introduction82Ч88
Berge C. Ч The Theory of Graphsp. 12
Reisig W., Rozenberg G. Ч Petri Nets32-36, 140
Mirsky L. Ч Transversal theory. An account of some aspects of combinatorial mathematics16
Ore O., Wilson R.J. Ч Graphs and Their Uses105
Mac Lane S., Birkhoff G.D. Ч Algebra143ff, 471
Pears A.R. Ч Dimension theory of general spaces1
Anderson G.A., Granas A. Ч Fixed Point Theory589
Behrens E.-A. Ч Ring Theory: Volume 44 in Pure and Applied Mathematics14
Ginsburg S. Ч The mathematical theory of context-free languages3
Bridges D.S. Ч Foundations Of Real And Abstract Analysis6
Lewis H.R., Papadimitriou C.H. Ч Elements of the Theory of Computation17
Balakrishnan N., Rao C.R. Ч Handbook of Statistics (Vol. 17): Order Statistics: Applications15
Browder A. Ч Mathematical Analysis: An Introduction3
Hu S.-T. Ч Introduction to contemporary mathematics32
Hayes D.F. (ed.), Shubin T. (ed.) Ч Mathematical Adventures for Students and Amateurs114, 115
Pilz G. Ч Near-rings: the theory and its applications333
Aliprantis C. Ч Principles of real analysis7
Gleason A. Ч Fundamentals of Abstract Analysis75
Beth E.W. Ч The foundations of mathematics: A study in the philosophy of science77, 135, 166, 171f., 377
Ginsburg S. Ч The mathematical theory of context-free languages3
Yuan G.X.-Z. Ч KKM Theory and Applications in Nonlinear Analysis357
Spanier E.H. Ч Algebraic Topology2
Birkhoff G., Mac Lane S. Ч A Survey of Modern Algebra371ff.
Monk J.D., Bonnet R. Ч Handbook Of Boolean Algebras Vol.2321, 640, 682
Lin Y. Ч General Systems Theory: A Mathematical Approach80
Munkres J.R. Ч Topology: A First Course71
Rogers C.A. Ч Hausdorff Measuressee "Order"
McShane E.J., Botts T.A. Ч Real Analysis27ff
Loomis L.H. Ч An introduction to abstract harmonic analysis1
Kuttler K.L. Ч Modern Analysis40
Kunen K. Ч Set theory52
Gries D. Ч A Logical Approach to Discrete Math285
Lane S.M. Ч Mathematics, form and function28
Fuch L. Ч Partially ordered algebraic systems1
Aho A.V., Ullman J.D. Ч The Theory of Parsing, Translation, and Compiling. Volume II: Compiling9Ч10, 13Ч15, 43Ч45, 865
Ponstein J. Ч Nonstandart Analysis139
Daepp U., Gorkin P. Ч Reading, writing and proving. Close look at mathematics142
Monk J.D. (ed.) Ч Handbook of Boolean Algebras, Vol. 114, 26f, 55
Partee B.H., Meulen A.T., Wall R.E. Ч Mathematical Methods in Linguistics51, 277, 278, 280, 282, 306, 393
Tourlakis G.J. Ч Lectures in Logic and Set Theory: Set Theorysee "Order"
Grimaldi R.P., Rothman D.J. Ч Discrete and Combinatorial Mathematics337, 341Ч343, 356Ч364, 376, 377, 476, 533, 737, 738, see also "Poset"
Abhyankar S.S. Ч Lectures on Algebra Volume 133
Anthony M. Ч Discrete Mathematics Of Neural Networks10, 66, 73
Elliott Mendelson Ч Introduction to mathematical logic9, 61, 183
Steen S. Ч Mathematical Logic with Special Reference to the Natural Numbers605
Comfort W.W., Negrepontis S. Ч The Theory of UltraFilters3
Kolman B., Busby R.C., Ross S. Ч Discrete Mathematical Structures225
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 Function28
Nienhuys-Cheng S., Wolf R. Ч Foundations of Inductive Logic Programming220
Grimaldi R.P. Ч Student Solutions Manual for Discrete and Combinatorial Mathematics337, 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 Science178
Steen S. Ч Mathematical Logic605
blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2018
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте