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.
A course on integral equations / Allen C. Pipkin
| A course on integral equations / Allen C. Pipkin |
| Autore | Pipkin, Allen C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1991 |
| Descrizione fisica | xiii, 268 p. ; 25 cm |
| Soggetto topico |
44A10 - Laplace transform [MSC 2020]
45-XX - Integral equations [MSC 2020] 45Bxx - Fredholm integral equations [MSC 2020] 45Dxx - Volterra integral equations [MSC 2020] 45Exx - Singular integral equations [MSC 2020] 45G10 - Other nonlinear integral equations [MSC 2020] |
| Soggetto non controllato |
Analytic Functions
Boundary Element Methods Equations Functions Integral equations Integrals Mathematics Problem Solving Proving Requirement Theorem proving Variables |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00288616 |
Pipkin, Allen C.
|
||
| New York, : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course on integral equations / Allen C. Pipkin
| A course on integral equations / Allen C. Pipkin |
| Autore | Pipkin, Allen C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1991 |
| Descrizione fisica | XIII, 268 p. ; 25 cm |
| Soggetto topico |
44A10 - Laplace transform [MSC 2020]
45-XX - Integral equations [MSC 2020] 45Bxx - Fredholm integral equations [MSC 2020] 45Dxx - Volterra integral equations [MSC 2020] 45Exx - Singular integral equations [MSC 2020] 45G10 - Other nonlinear integral equations [MSC 2020] |
| Soggetto non controllato |
Analytic Functions
Boundary Element Methods Equations Functions Integral equations Integrals Mathematics Problem Solving Proving Requirement Theorem proving Variables |
| ISBN | 978-03-87975-57-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00036776 |
|
Pipkin, Allen C.
|
||
| New York, : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | XVIII, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| ISBN | 978-03-87974-37-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023437 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | xviii, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00288640 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | XVIII, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| ISBN | 978-03-87974-37-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00023437 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xii, 507 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A45 - Functions of bounded variation, generalizations [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26B05 - Continuity and differentiation questions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268048 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1977 |
| Descrizione fisica | xii, 507 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A45 - Functions of bounded variation, generalizations [MSC 2020] 26B05 - Continuity and differentiation questions [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The first course in analysis which follows elementary calculus is a critical one for students who are seriously interested in mathematics. Traditional advanced calculus was precisely what its name indicates-a course with topics in calculus emphasizing problem solving rather than theory. As a result students were often given a misleading impression of what mathematics is all about; on the other hand the current approach, with its emphasis on theory, gives the student insight in the fundamentals of analysis. In A First Course in Real Analysis we present a theoretical basis of analysis which is suitable for students who have just completed a course in elementary calculus. Since the sixteen chapters contain more than enough analysis for a one year course, the instructor teaching a one or two quarter or a one semester junior level course should easily find those topics which he or she thinks students should have. The first Chapter, on the real number system, serves two purposes. Because most students entering this course have had no experience in devising proofs of theorems, it provides an opportunity to develop facility in theorem proving. Although the elementary processes of numbers are familiar to most students, greater understanding of these processes is acquired by those who work the problems in Chapter 1. As a second purpose, we provide, for those instructors who wish to give a comprehen sive course in analysis, a fairly complete treatment of the real number system including a section on mathematical induction. |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268048 |
|
Protter, Murray H.
|
||
| New York, : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko
| Advances in Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xxxiv, 396 p. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Automata Complexity Complexity Theory Computation Computational Complexity Computer Science Kolmogorov complexity Mathematics Monoid Networks Randomness Theorem proving Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297689 |
| Dordrecht [etc.], : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated Theorem Proving Boolean Satisfiability Problem Classification Communications Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
|
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249404 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||