Полное описание
> Gallier, J. Discrete Mathematics : монография / by Jean Gallier. - New York, NY : Springer, 2011. - on-line. - (Universitext). - URL: http://dx.doi.org/10.1007/978-1-4419-8047-2. - Загл. с экрана. - ISBN 978-1-4419-8047-2. - Текст : электронный.
Содержание: >
Mathematical Reasoning, Proof Principles and Logic -- Relations, Functions, Partial Functions -- Graphs, Part I: Basic Notions -- Some Counting Problems; Multinomial Coefficients -- Partial Orders, GCD's, RSA, Lattices -- Graphs, Part II: More Advanced Notions -- Answers to Selected Problems.
| ГРНТИ | УДК | |
| 27 | 51"735" |
Рубрики:
mathematics
computer graphics
applied mathematics
engineering mathematics
number theory
engineering design
mathematics
number Theory
computer Imaging, Vision, Pattern Recognition and Graphics
engineering Design
applications of Mathematics
Аннотация: This book gives an introduction to discrete mathematics for beginning undergraduates and starts with a chapter on the rules of mathematical reasoning. This book begins with a presentation of the rules of logic as used in mathematics where many examples of formal and informal proofs are given. With this logical framework firmly in place, the book describes the major axioms of set theory and introduces the natural numbers. The rest of the book deals with functions and relations, directed and undirected graphs and an introduction to combinatorics, partial orders and complete induction. There is a section on public key cryptography and RSA, with complete proofs of Fermat's little theorem and the correctness of the RSA scheme, as well as explicit algorithms to perform modular arithmetic. The last chapter provides more graph theory where Eulerian and Hamiltonian cycles are discussed. This book also includes network flows, matchings, covering, bipartite graphs, planar graphs and state the graph minor theorem of Seymour and Robertson. The book is highly illustrated and each chapter ends with a list of problems of varying difficulty. Undergraduates in mathematics and computer science will find this book useful. .
http://dx.doi.org/10.1007/978-1-4419-8047-2
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -067226542)>
Шифр в сводном ЭК: e27a9dbfc7f1c831ad392fd74ce8785e
Gallier J.H. Logic for computer science : Foundations of automatic theorem proving / J.H.Gallier, 1986. - XV,511 p. p. - Текст : непосредственный.Gallier J. Discrete Mathematics : монография / by Jean Gallier., 2011 r=on-line (Введено оглавление). - Текст : электронный.Gallier J. Geometric Methods and Applications : For Computer Science and Engineering / by Jean Gallier., 2011 r=on-line (Введено оглавление). - Текст : электронный.
Дискретная математика / Российская академия наук. - Журнал выходит с 1989г. - Текст : непосредственный.Jones A. Abstract algebra and famous imposibilities / A. Jones, S. A. Morris, K. R. Pearson, 1991. - 187 p. - Текст : непосредственный.Alinhac S. Hyperbolic partial differential equations / S. Alinhac, 2009 r=on-lineHelms L.L. Potential theory / L. L. Helms, 2009 r=on-lineAarts J. Plane and solid geometry / J. Aarts, 2009 r=on-line. - Текст : электронный.Curtis M.L. Abstract linear algebra / M. L. Curtis, 1990. - X, 168 p. 168 p. - Текст : непосредственный.Meyer-Nieberg P. Banach lattices / P. Meyer-Nieberg, 1991. - 395 p. - Текст : непосредственный.
Harmonic analysis of operators on hilbert space / B. Sz.-Nagy, C. Foias, H. Bercovici, L. Kérchy, 2010 r=on-line. - Текст : электронный.Stochastic partial differential equations / H. Holden, B. Oksendal, J. Uboe, T. Zhang, 2010 r=on-line. - Текст : электронный.Tu L.W. An introduction to manifolds / L. W. Tu, 2008 r=on-line. - Текст : электронный.Srivastava S.M. A course on mathematical logic / S. M. Srivastava, 2008 r=on-line. - Текст : электронный.Klenke A. Probability theory : a comprehensive course / A. Klenke, 2008 r=on-line. - Текст : электронный.Sabbah C. Isomonodromic deformations and frobenius manifolds : an introduction / C. Sabbah, 2008 r=on-line. - Текст : электронный.Perrin D. Algebraic geometry : an introduction / D. Perrin, 2008 r=on-line. - Текст : электронный.Mansuy R. Aspects of brownian motion / R. Mansuy, M. Yor, 2008 r=on-line. - Текст : электронный.The 1-2-3 of modular forms : lectures at a summer school in Nordfjordeid, Norway / J. H. Bruinier [et al.], 2008 r=on-line. - Текст : электронный.Franke J. Statistics of financial markets : an introduction / J. Franke, C. M. Hafner, W. K. HГ¤rdle, 2008 r=on-line. - Текст : электронный.Jost J. Riemannian geometry and geometric analysis / J. Jost, 2008 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Sequential Analysis. - Журнал выходит с 1982г. r=on-line. - Текст : электронный.Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Вестник Адыгейского государственного университета. Серия "Естественно-математические и технические науки" : рец., реф. науч. журн. № 4(125), 2014. - 171 с. - Текст : непосредственный.Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Баврин И.И. Операторный метод в комплексном анализе / И. И. Баврин, 1991. - 200 с. - Текст : непосредственный.Бронштейн И.Н. Справочник по математике для инженеров и учащихся втузов / И. Н. Бронштейн, К. А. Семендяев, 1998. - 608 с. - Текст : непосредственный.Коварцев А.Н. Численные методы / А. Н. Коварцев, 1998. - 133 с. - Текст : непосредственный.Иванова Е.П. Вариационные и краевые задачи для дифференциально-разностных уравнений / Е. П. Иванова, Г. А. Каменский, 1993. - 42 c. - Текст : непосредственный.Факторный анализ в задачах обработки экспериментальных данных / В. П. Архиреева, В. П. Бородюк, Ю. Е. Голяс, В. Г. Киреева ; Ред. Г. Ф. Филаретов, 1994. - 39 c. - Текст : непосредственный.Вестник Московского университета : науч. журн. Сер. 1, Математика. Механика / Московский государственный университет имени М. В. Ломоносова, . - Журнал. - Текст : непосредственный.Дискретная математика / Российская академия наук. - Журнал выходит с 1989г. - Текст : непосредственный.Журнал вычислительной математики и математической физики / Российская академия наук. - Журнал выходит с 1961г. - Текст : непосредственный.Известия Российской академии наук. Серия математическая / Рос. акад. наук, Мат. ин-т им. В. А. Стеклова. - Журнал выходит с 1937г. - Текст : непосредственный.Математические заметки : ежемес. журн. / Российская академия наук . - Журнал выходит с 1967г. - Текст : непосредственный.Математический сборник : Журн. / РАН. Математический ин-т им. В. А. Стеклова. - Журнал выходит с 1866г. - Текст : непосредственный.Функциональный анализ и его приложения / Российская АН. Отд-ние математических наук. - Журнал выходит с 1967г. - Текст : непосредственный.Чащин О.Н. Единственность и регуляризация операторных уравнений Вольтерра в шкале банаховых пространств : специальность 01.01.02 "Дифференциальные уравнения, динамические системы и оптимальное управление " : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / О. Н. Чащин, 2001. - 15 с. - Текст : непосредственный.Чебочко Н.Г. Деформации модулярных алгебр Ли : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Н. Г. Чебочко, 2001. - 11 с. - Текст : непосредственный.Хэкало С.П. Изогюйгенсовы деформации инвариантных дифференциальных операторов : специальность 01.01.03 "Математическая физика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. П. Хэкало, 2001. - 19 с. - Текст : непосредственный.
Показать все результатыSande S. Taking your ipad to the max / S. Sande, M. Grothaus, E. Sadun, 2010 r=on-line. - Текст : электронный.Amigo J. Permutation complexity in dynamical systems / J. Amigo, 2010 r=on-line. - Текст : электронный.Veranderungsprozesse erfolgreich gestalten / K. J. Zink, W. Kotter, J. Longmuss, M. J. Thul, 2009 r=on-line. - Текст : электронный.Harmonic analysis of operators on hilbert space / B. Sz.-Nagy, C. Foias, H. Bercovici, L. Kérchy, 2010 r=on-line. - Текст : электронный.Intelligent robotics and applications / SpringerLink (Online service), 2010 r=on-line.Advanced concepts for intelligent vision systems / SpringerLink (Online service), 2010 r=on-line.Codes and turbo codes / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Lorenz T. Mutational analysis / T. Lorenz, 2010 r=on-line. - Текст : электронный.Banagl M. Intersection spaces, spatial homology truncation, and string theory / M. Banagl, 2010 r=on-line. - Текст : электронный.Ma J. Forward-Backward stochastic differential equations and their applications / J. Ma, J. Yong, 2007 r=on-line. - Текст : электронный.Linss T. Layer-Adapted meshes for reaction-convection-diffusion problems / T. Linss, 2010 r=on-line. - Текст : электронный.Khapalov A.Y. Controllability of partial differential equations governed by multiplicative controls / A. Y. Khapalov, 2010 r=on-line. - Текст : электронный.Weather modeling and forecasting of PV systems operation / M. Paulescu [et al.], 2013 r=on-line (Введено оглавление). - Текст : электронный.A nonlinear transfer technique for renorming / A. Molto [et al.], 2009 r=on-line. - Текст : электронный.Bernot M. Optimal transportation networks : models and theory / M. Bernot, V. Caselles, J. Morel, 2009 r=on-line. - Текст : электронный.Antoine J. Partial inner product spaces : theory and applications / J. Antoine, C. Trapani, 2009 r=on-line. - Текст : электронный.Caselles V. Geometric description of images as topographic maps / V. Caselles, P. Monasse, 2010 r=on-line. - Текст : электронный.Yserentant H. Regularity and approximability of electronic wave functions / H. Yserentant, 2010 r=on-line. - Текст : электронный.Parmeggiani A. Spectral theory of non-commutative harmonic oscillators: an introduction / A. Parmeggiani, 2010 r=on-line. - Текст : электронный.Lindemann U. Structural complexity management : an approach for the field of product design / U. Lindemann, M. Maurer, T. Braun, 2009 r=on-line. - Текст : электронный.
Показать все результатыПросмотр издания