Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Die altrussischen Handschriften liturgischer Gesänge in sematischer Notation als Hilfsmittel der slavischen Akzentologie / Olaf Störmer
| Die altrussischen Handschriften liturgischer Gesänge in sematischer Notation als Hilfsmittel der slavischen Akzentologie / Olaf Störmer |
| Autore | Störmer Olaf |
| Edizione | [1st, New ed.] |
| Pubbl/distr/stampa | Frankfurt a.M, : PH02, 1987 |
| Descrizione fisica | 1 online resource (116 p.) : , EPDF |
| Collana | Slavistische Beiträge |
| Soggetto topico | linguistics |
| Soggetto non controllato |
Akzentologie
Altkirchenslavisch altrussischen Gesänge Geschichte Handschriften Hilfsmittel liturgischer Notation Philologie Russland sematischer slavischen Sprachwissenschaft Störmer |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Einleitung - Vorstellung des unterschiedlichen Materials - Die musikologische Rekonstruktion - Vergleich mit den Rekonstruktionen von Dybo und Zaliznjak - Rückschlüsse auf den Entwicklungsstand des Altrussischen im 12. Jahrhundert vom Standpunkt der Akzentologie - Leistungsfähigkeit und Grenzen des musikologischen Rekonstruktionsverfahrens |
| Record Nr. | UNINA-9910563030003321 |
Störmer Olaf
|
||
| Frankfurt a.M, : PH02, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon
| Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (297 pages) : illustrations |
| Disciplina |
621.38
621.34* |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Machine theory
Conscious automata |
| Soggetto non controllato |
A Mathematical Theory of Communication
Abstraction (software engineering) Accuracy and precision Algebraic theory Arithmetic Automaton Axiom Binary number Biophysics Bit Boolean algebra (structure) Calculation Chaos theory Circuit design Classical conditioning Combination lock Combination Computable number Computation Concepts (C++) Conditional probability Connectivity (graph theory) Correlation and dependence Counterexample Counting Decision problem Description number Detection Determinism Deterministic system (philosophy) Diagram (category theory) Diagram Entscheidungsproblem Enumeration Equation Estimation Exponentiation Finite-state machine First principle Fixed point (mathematics) Function (mathematics) Gödel numbering Hardware random number generator Heuristic argument Instance (computer science) Interlacing (bitmaps) Intuitionistic logic Lebesgue measure Logarithm Logic Logical disjunction Markov chain Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical theory Mathematics Measure (mathematics) Metamathematics Modular arithmetic Moment (mathematics) Moore machine Notation Number theory OR gate Parameter (computer programming) Parity (mathematics) Permutation Pilot plant Polynomial Primitive recursive function Probability measure Probability Proportionality (mathematics) Propositional function Quantity Recursion (computer science) Recursive set Recursively enumerable set Result Schematic Sequence Series (mathematics) Set theory Sheffer stroke Sign (mathematics) Solver Special case Stochastic process String (computer science) Subsequence Subset Theorem Thermodynamic equilibrium Trial and error Turing machine Typewriter Universal Turing machine Variable (mathematics) |
| ISBN | 1-4008-8261-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Finite Automata -- Representation of Events in Nerve Nets and Finite Automata / Kleene, S. C. -- Probabilistic Logics and the Synthesis of Reliable Organisms From Unreliable Components / Neumann, J. von -- Some Uneconomical Robots / Culbertson, James T. -- Some Universal Elements for Finite Automata / Minsky, M. L. -- Gedanken-Experiments on Sequential Machines / Moore, Edward F. -- Turing Machines -- A Universal Turing Machine with Two Internal States / Shannon, Claude E. -- A Note on Universal Turing Machines / Davis, M. D. -- The Inversion of Functions Defined by Turing Machines / McCarthy, John -- Computability by Probabilistic Machines / Leeuw, K. de / Moore, E. F. / Shannon, C. E. / Shapiro, N. -- Synthesis of Automata -- Design for an Intelligence-Amplifier / Ashby, W. Ross -- The Epistemological Problem for Automata / MacKay, D. M. -- Conditional Probability Machines and Conditioned Reflexes / Uttley, Albert M. -- Temporal and Spatial Patterns in a Conditional Probability Machine / Uttley, Albert M. |
| Record Nr. | UNINA-9910154745703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Braids, Links, and Mapping Class Groups. (AM-82), Volume 82 / / Joan S. Birman
| Braids, Links, and Mapping Class Groups. (AM-82), Volume 82 / / Joan S. Birman |
| Autore | Birman Joan S. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (241 pages) : illustrations |
| Disciplina | 514/.224 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Braid theory
Knot theory Representations of groups |
| Soggetto non controllato |
Addition
Alexander polynomial Algebraic structure Automorphism Ball (mathematics) Bijection Braid group Braid theory Branched covering Burau representation Calculation Cartesian coordinate system Characterization (mathematics) Coefficient Combinatorial group theory Commutative property Commutator subgroup Configuration space Conjugacy class Corollary Covering space Dehn twist Determinant Diagram (category theory) Dimension Disjoint union Double coset Eigenvalues and eigenvectors Enumeration Equation Equivalence class Exact sequence Existential quantification Faithful representation Finite set Free abelian group Free group Fundamental group Geometry Group (mathematics) Group ring Groupoid Handlebody Heegaard splitting Homeomorphism Homomorphism Homotopy group Homotopy Identity element Identity matrix Inclusion map Initial point Integer matrix Integer Knot polynomial Knot theory Lens space Line segment Line–line intersection Link group Low-dimensional topology Mapping class group Mathematical induction Mathematics Matrix group Matrix representation Monograph Morphism Natural transformation Normal matrix Notation Orientability Parity (mathematics) Permutation Piecewise linear Pointwise Polynomial Prime knot Projection (mathematics) Proportionality (mathematics) Quotient group Requirement Rewriting Riemann surface Semigroup Sequence Special case Subgroup Submanifold Subset Symmetric group Theorem Theory Topology Trefoil knot Two-dimensional space Unimodular matrix Unit vector Variable (mathematics) Word problem (mathematics) |
| ISBN | 1-4008-8142-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER 1. BRAID GROUPS -- CHAPTER 2. BRAIDS AND LINKS -- CHAPTER 3. MAGNUS REPRESENTATIONS -- CHAPTER 4. MAPPING CLASS GROUPS -- CHAPTER 5. PLATS AND LINKS -- APPENDIX: RESEARCH PROBLEMS -- BIBLIOGRAPHY -- INDEX -- Backmatter |
| Record Nr. | UNINA-9910154753103321 |
|
Birman Joan S.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Choquet Order and Simplices : With Applications in Probabilistic Models / Gerhard Winkler
| Choquet Order and Simplices : With Applications in Probabilistic Models / Gerhard Winkler |
| Autore | Winkler, Gerhard |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | vi, 143 p. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
60G05 - Foundations of stochastic processes [MSC 2020] 46E27 - Spaces of measures [MSC 2020] 52A07 - Convex sets in topological vector spaces (aspects of convex geometry) [MSC 2020] 46A55 - Convex sets in topological linear spaces; Choquet theory [MSC 2020] |
| Soggetto non controllato |
Concepts
Models Notation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263468 |
|
Winkler, Gerhard
|
||
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Choquet Order and Simplices : With Applications in Probabilistic Models / Gerhard Winkler
| Choquet Order and Simplices : With Applications in Probabilistic Models / Gerhard Winkler |
| Autore | Winkler, Gerhard |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | vi, 143 p. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
46A55 - Convex sets in topological linear spaces; Choquet theory [MSC 2020] 46E27 - Spaces of measures [MSC 2020] 52A07 - Convex sets in topological vector spaces (aspects of convex geometry) [MSC 2020] 60G05 - Foundations of stochastic processes [MSC 2020] |
| Soggetto non controllato |
Concepts
Models Notation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263468 |
|
Winkler, Gerhard
|
||
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Contributions to the Theory of Nonlinear Oscillations (AM-20), Volume I / / Solomon Lefschetz
| Contributions to the Theory of Nonlinear Oscillations (AM-20), Volume I / / Solomon Lefschetz |
| Autore | Lefschetz Solomon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (365 pages) : illustrations |
| Disciplina | 531.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Oscillations |
| Soggetto non controllato |
Absolute value
Addition Algebraic equation Amplitude modulation Angular frequency Applied mathematics Approximation Boundary value problem Coefficient Complex analysis Continuous function Contradiction Curve Diagram (category theory) Differential equation Dimensionless quantity Discriminant Eigenvalues and eigenvectors Empty set Equation Experiment Fourier Frequency modulation Homotopy Implicit function theorem Initial condition Integer Integral equation Limit point Linear map Nonlinear system Normal (geometry) Notation Operator theory Ordinary differential equation Oscillation Parameter Periodic function Phase space Pure mathematics Quantity Rational function Saddle point Second derivative Simply connected space Singular perturbation Solid torus Special case Suggestion Summation Tangent space Theorem Theory Three-dimensional space (mathematics) Topology Two-dimensional space Uniqueness Vacuum tube Variable (mathematics) Vector field |
| ISBN | 1-4008-8263-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- I. ON SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS / Diliberto, Stephen P. -- II. OSCILLATION OF A THIRD ORDER NONLINEAR AUTONOMOUS SYSTEM / Rauch, Lawrence Lee -- III. NON-LINEAR DELAY DIFFERENTIAL EQUATIONS / Brownell, F. H. -- IV. FORCED OSCILLATIONS IN NONLINEAR SYSTEMS / Cartwright, M. L. -- V. SINGULAR PERTURBATIONS OF A VAN DER POL EQUATION / Wendel, James G. -- VI. THE EXISTENCE OF FORCED PERIODIC SOLUTIONS OF SECOND ORDER DIFFERENTIAL EQUATIONS NEAR CERTAIN EQUILIBRIUM POINTS OF THE UNFORCED EQUATION / Langenhop, C. E. / Farnell, A. B. -- VII. ON THE CONSTRUCTION OF PERIODIC SOLUTIONS OF SINGULAR PERTURBATION PROBLEMS / Wasow, Wolfgang |
| Record Nr. | UNINA-9910154745203321 |
|
Lefschetz Solomon
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cosmology in (2 + 1) -Dimensions, Cyclic Models, and Deformations of M2,1. (AM-121), Volume 121 / / Victor Guillemin
| Cosmology in (2 + 1) -Dimensions, Cyclic Models, and Deformations of M2,1. (AM-121), Volume 121 / / Victor Guillemin |
| Autore | Guillemin Victor |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (236 pages) : illustrations |
| Disciplina | 523.1/072/4 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Cosmology - Mathematical models
Geometry, Differential Lorentz transformations |
| Soggetto non controllato |
Automorphism
Bijection C0 Canonical form Canonical transformation Cauchy distribution Causal structure Cayley transform Codimension Cohomology Cokernel Compactification (mathematics) Complexification (Lie group) Computation Conformal geometry Conformal map Conformal symmetry Connected sum Contact geometry Corank Covariant derivative Covering space Deformation theory Diagram (category theory) Diffeomorphism Differentiable manifold Differential operator Dimension (vector space) Einstein field equations Equation Euler characteristic Existential quantification Fiber bundle Fibration Floquet theory Four-dimensional space Fourier integral operator Fourier transform Fundamental group Geodesic Hamilton–Jacobi equation Hilbert space Holomorphic function Holomorphic vector bundle Hyperfunction Hypersurface Integral curve Integral geometry Integral transform Intersection (set theory) Invertible matrix K-finite Lagrangian (field theory) Lie algebra Light cone Linear map Manifold Maxima and minima Minkowski space Module (mathematics) Notation One-parameter group Parametrix Parametrization Principal bundle Product metric Pseudo-differential operator Quadratic equation Quadratic form Quadric Radon transform Riemann surface Riemannian manifold Seifert fiber space Sheaf (mathematics) Siegel domain Simply connected space Submanifold Submersion (mathematics) Support (mathematics) Surjective function Symplectic manifold Symplectic vector space Symplectomorphism Tangent space Tautology (logic) Tensor product Theorem Topological space Topology Two-dimensional space Unit vector Universal enveloping algebra Variable (mathematics) Vector bundle Vector field Vector space Verma module Volume form X-ray transform |
| ISBN | 1-4008-8241-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Foreword -- Part I. A relativistic approach to Zoll phenomena -- Part II. The general theory of Zollfrei deformations -- Part III. Zollfrei deformations of M2,1 -- Part IV. The generalized x-ray transform -- Part V. The Floquet theory -- Bibliography |
| Record Nr. | UNINA-9910154746903321 |
|
Guillemin Victor
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degree of Approximation by Polynomials in the Complex Domain. (AM-9), Volume 9 / / Walter Edwin Sewell
| Degree of Approximation by Polynomials in the Complex Domain. (AM-9), Volume 9 / / Walter Edwin Sewell |
| Autore | Sewell Walter Edwin |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (252 pages) |
| Disciplina | 512.22 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Approximation theory
Polynomials |
| Soggetto non controllato |
0B
Addition Antiderivative Approximation Arbitrarily large Arc (geometry) Arc length Big O notation Bijection Bounded set (topological vector space) Branch point Circumference Coefficient Complex analysis Complex number Conformal map Connected space Constant of integration Continuous function Covering space Derivative Difference "ient Differentiable function Dimension Elementary proof Equation Even and odd functions Existence theorem Existential quantification Exterior (topology) Floor and ceiling functions Fourier series Function of a real variable Geometry Green's function Harmonic function Harmonic polynomial Infimum and supremum Infinitesimal Integer Isolated point Isolated singularity Iterative method Jordan curve theorem Least squares Lebesgue integration Lemniscate Limit (mathematics) Line integral Line segment Lipschitz continuity Logarithm Mathematician Modulus of continuity Natural number Notation Open problem Orthogonal polynomials Partial derivative Periodic function Point at infinity Polynomial Rational function Real variable Rectangle Requirement Riemann sum Root of unity Second derivative Set theory Sign (mathematics) Simply connected space Special case Suggestion Summation Surface integral Taylor series Theorem Theory Trigonometric functions Trigonometry Uniform convergence Unit circle Upper and lower bounds Variable (mathematics) Weight function |
| ISBN | 1-4008-8221-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Chapter I. Preliminaries -- Part I. Problem α -- Chapter II. Polynomial Inequalities -- Chapter III. Tchebycheff Approximation -- Chapter IV. Approximation Measured by a Line Integral -- Part II. Problem β -- Chapter V. Preliminaries -- Chapter VI. Tchebycheff Approximation -- Chapter VII. Approximation Measured by a Line Integral -- Chapter VIII. Special Configurations -- Bibliography |
| Record Nr. | UNINA-9910154748503321 |
|
Sewell Walter Edwin
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional Operators (AM-21), Volume 1 : Measures and Integrals. (AM-21) / / John von Neumann
| Functional Operators (AM-21), Volume 1 : Measures and Integrals. (AM-21) / / John von Neumann |
| Autore | von Neumann John |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (268 pages) : illustrations |
| Disciplina | 515.42 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Mathematics |
| Soggetto non controllato |
Ambiguity
Antiderivative John von Neumann Notation Operator theory Sign (mathematics) |
| ISBN | 1-4008-8189-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- FOREWORD -- CHAPTER I . POINT SET THEORY -- CHAPTER II . OUTER MEASURE -- CHAPTER III. MEASURE -- CHAPTER IV. INNER MEASURE -- CHAPTER V. INVARIANCE OF MEASURE UNDER.TRANSFORMATIONS -- CHAPTER VI. COVERING THEOREMS -- CHAPTER VII. NON-MEASURABLE SETS -- CHAPTER VIII. LEBESGUE INTEGRAL -- CHAPTER IX. MONOTONIC FUNCTIONS -- CHAPTER X. GENERAL MEASURE FUNCTIONS AND OUTER MEASURES -- CHAPTER XI. PROPERTIES OF THE GENERAL INTEGRAL |
| Record Nr. | UNINA-9910154748103321 |
|
von Neumann John
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
