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

square ¬торой курс

square “ретий курс

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

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

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

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

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



 нига—траницы дл€ поиска
 ормен “., Ћейзерсон „., –ивест –. Ч јлгоритмы: построение и анализ81
Hunter J.K., Nachtergaele B. Ч Applied Analysis82
Gray R.M. Ч Probability, Random Processes and Ergodic Properties6, 24, 34
Grimaldi R.P. Ч Discrete and combinatorial mathematics. An introduction148
Dummit D.S., Foote R.M. Ч Abstract algebra232
Kisacanin B. Ч Mathematical problems and proofs. Combinatorics, Number theory, and Geometry6
Dodge C.W. Ч Sets, logic & numbers59
Allen R.L., Mills D.W. Ч Signal analysis. Time, frequency, scale and structure163
Gray R.M., Davisson L.D. Ч Introduction to statistical signal processing35
Baker A. Ч Algebra and Number Theory58
MacLane S. Ч Categories for the working mathematician21
Bilaniuk S. Ч A Problem Course in Mathematical Logic (vol. 1)79
Cameron P.J. Ч Combinatorics : Topics, Techniques, Algorithms13, 17
Lueneburg H. Ч Tools and fundamental constructions of combinatorial mathematics35
Becker T., Weispfenning V. Ч Groebner bases and commutative algebra15
Pareigis B. Ч Categories and functors21
MacLane S., Moerdijk L. Ч Sheaves in Geometry and Logic277, 332, 339
Kaburlasos V.G. Ч Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications60, 185
Lee J.M. Ч Introduction to Topological Manifolds339
Dodge C.W. Ч Foundations of algebra and analysis59
Behnke H., Bachmann F., Fladt K. Ч Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra52, 54, 485
Thorisson H. Ч Coupling, Stationarity, and Regeneration88
Diestel R. Ч Graph theory357
Grotschel M., Lovasz L., Schrijver A. Ч Geometric Algorithms and Combinatorial Optimization2
Mill J.V. Ч The Infinite-Dimensional Topology of Function Spaces458
Winter M. Ч Goguen Categories: A Categorical Approach to L-Fuzzy Relations2
Velleman D.J. Ч How to Prove It: A Structured Approach75Ч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 Probability4, 507
Enderton H.B. Ч Elements of set theory4, 19, 141
Burris S., Sankappanavar H.P. Ч A Course in Universal Algebra6
Searcid M. Ч Metric Spaces252
Resnick S.I. Ч A probability path2
Connell E.H. Ч Elements of abstract and linear algebra12
Hrbacek K., Jech T. Ч Introduction to Set Theory10
Dugunji J. Ч Topology10, 19
Berberian S.K. Ч Fundamentals of Real Analysis12
Pugh C.C. Ч Real Mathematical Analysis47
Takeuti G., Zaring W.M. Ч Introduction to Axiomatic Set Theory15
Wapner L. Ч The Pea and the Sun: A Mathematical Paradox75
Sipser M. Ч Introduction to the theory of computation6, 53
Hein J.L. Ч Discrete Mathematics14
Marker D. Ч Model theory: An introduction5
Goutsias J., Vincent L., Bloomberg D.S. Ч Mathematical morphology and its applications to image signal processing14
Bichteler K. Ч Integration - a functional approach164
Duffie D. Ч Security Markets. Stochastic Models52
Tanimoto S.L. Ч The elements of artificial intelligence. An introduction using LISP272, 274
Alagić S., Arbib M.A. Ч The Design of Well-Structured and Correct Programs59Ч60, 106, 257
Strichartz R.S. Ч The way of analysis10
Hein J.L. Ч Discrete Structures, Logic, and Computability13
Bollobás B. Ч Combinatorics: Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability1
Aho A.V., Ullman J.D. Ч The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing5, 12
Munkres J. Ч Topology12
Uttal W.R., Kakarala R., Dayanand S. Ч Computational modeling of vision. The role of combination86
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 Design61
Barwise J. (ed.) Ч Handbook of Mathematical Logic328
D'Angelo J.P., West D.B. Ч Mathematical Thinking: Problem-Solving and Proofs6, 7, 82, 152
Lipschutz S. Ч Schaum's Outline of Probability5
Hein J.L. Ч Theory of Computation: An Introduction11
Smullyan R.M., Fitting M. Ч Set theory and the continuum problem7
Charalambides C.A. Ч Enumerative Combinatorics4
Rebonato R. Ч Interest-rate option models : understanding, analysing and using models for exotic interest-rate options450
Mirsky L. Ч Transversal theory. An account of some aspects of combinatorial mathematics3
Mac Lane S., Birkhoff G.D. Ч Algebra153
Hungerford T.W. Ч Algebra3
Arbib M.A., Manes E.G. Ч Arrows structures and functors. The categorical imperative9, 27
Lewis H.R., Papadimitriou C.H. Ч Elements of the Theory of Computation8
Beaumont R.A., Pierce R.S. Ч The Algebraic Foundations of Mathematics26
Browder A. Ч Mathematical Analysis: An Introduction2
Seymour L. Ч Schaum's Outline of Theory and Problems of Discrete Math10, 18
Kreyszig E. Ч Introductory functional analysis with applications612
Enderton H.B. Ч A Mathematical Introduction to Logic2Ч3
Aliprantis C. Ч Principles of real analysis4
Gleason A. Ч Fundamentals of Abstract Analysis37
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 Theory588
Marathe K.B., Martucci G. Ч The mathematical foundations of gauge theories297
Hille E. Ч Methods in classical and functional analysis113
Lin Y. Ч General Systems Theory: A Mathematical Approach26, 62
Munkres J.R. Ч Topology: A First Course11
Mitchell T.M. Ч Machine Learning40Ч42
Grimmett G., Welsh D. Ч Probability: An Introduction4
Hopcroft J.E., Ullman J.D. Ч Introduction to automata theory, languages, and computation5
Cohen L.W., Ehrlich G. Ч The Structure of the Real Number System6
Kuttler K.L. Ч Modern Analysis5
Shick P.L. Ч Topology: Point-set and geometric52
Hewitt E., Stromberg K. Ч Real and abstract analysis: a modern treatment of the theory of functions of a real variable3
Bachman G. Ч Elements of Abstract Harmonic Analysis61
Giarratano J.C., Riley G.D. Ч Expert Systems: Principles and Programming93
Aho A.V., Ullman J.D. Ч The Theory of Parsing, Translation, and Compiling. Volume II: Compiling5, 12
Mott J.L., Kandel A., Baker T.P. Ч Discrete Mathematics For Computer Scientists And Mathematicians7, 9
Mott J., Kandel A., Baker T. Ч Discrete mathematics for computer scientists and mathematicians7, 9
Hinman P.G. Ч Fundamentals of Mathematical Logic462
Lipschutz S., Lipson M.L. Ч Schaum's outline of theory and problems of discrete mathematics10, 18
Ponstein J. Ч Nonstandart Analysis47, 68, 70
Daepp U., Gorkin P. Ч Reading, writing and proving. Close look at mathematics97
Tourlakis G.J. Ч Lectures in Logic and Set Theory: Set Theory149, 178
Grimaldi R.P., Rothman D.J. Ч Discrete and Combinatorial Mathematics: An Applied Introduction128, 476, 533
Gossett E. Ч Discrete Math with Proof20
Sachkov V.N. Ч Combinatorial methods in discrete mathematics2
Keenan E.L., Faltz L.M. Ч Boolean semantics for natural languagesee also "Justification theorem"
Abhyankar S.S. Ч Lectures on Algebra Volume 133, 44, 604
Elliott Mendelson Ч Introduction to mathematical logic181
Andrews P.B. Ч An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof95, 180, 184
Sipser M. Ч Introduction to the Theory of Computation6, 53
Gill A. Ч Applied Algebra for the Computer Sciences4
Rautenberg W. Ч A Concise Introduction to Mathematical Logic (Universitext)XVI
Choquet-Bruhat Y., Dewitt-Morette C. Ч Analysis, manifolds and physics2
Jacky J. Ч The Way of Z: Practical Programming with Formal Methods69, 192, 300
Nienhuys-Cheng S., Wolf R. Ч Foundations of Inductive Logic Programming168
Grimaldi R.P. Ч Student Solutions Manual for Discrete and Combinatorial Mathematics128, 476, 533
D'Angelo J.P., West D.B. Ч Mathematical thinking: problem-solving and proofs6Ч7, 82, 152
Keith Devlin Ч Mathematics: The New Golden Age48
Shoenfield J.R. Ч Mathematical Logic242
Szepietowski A. Ч Turing Machines with Sublogarithmic Space7
Klein E. Ч Mathematical methods in theoretical economics6
Truss J.K. Ч Foundations of Mathematical Analysis2, 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 analysis2, 36, 306
J. K. Truss Ч Foundations of mathematical analysis MCet2, 36, 306
V. Bryant Ч Independence theory in combinatorics: An introductory account with applications to graphs and transversals (Chapman and Hall mathematics series)3
blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2023
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте