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.
Algorithms and Programming : Problems and Solutions / Alexander Shen
| Algorithms and Programming : Problems and Solutions / Alexander Shen |
| Autore | Shen, Alexander <1958-> |
| Pubbl/distr/stampa | New York, : Springer ; Boston, : Birkhäuser, 1997 |
| Descrizione fisica | viii, 217 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Nxx - Theory of software [MSC 2020] 68R10 - Graph theory (including graph drawing) in computer science [MSC 2020] 68W10 - Parallel algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Combinatorics Compiler construction Data structures Finite-state algorithms Grammar and parsing Graph algorithms Programming Recursion Set representation Sorting |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297253 |
Shen, Alexander <1958->
|
||
| New York, : Springer ; Boston, : Birkhäuser, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin
| An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin |
| Autore | Gaylord, Richard J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer ; Santa Clara, : Telos, 1996 |
| Descrizione fisica | XXIII, 452 p. : ill. ; 25 cm + 1 floppy disk |
| Altri autori (Persone) |
Kamin, Samuel N.
Wellin, Paul R. |
| Soggetto non controllato |
Debugging
Mathematics Numerics Pattern Programming Recursion Strings Term rewriting |
| ISBN | 03-87944-34-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00039056 |
|
Gaylord, Richard J.
|
||
| New York, : Springer ; Santa Clara, : Telos, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin
| An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin |
| Autore | Gaylord, Richard J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer ; Santa Clara, : Telos, 1996 |
| Descrizione fisica | XXIII, 452 p. : ill. ; 25 cm |
| Altri autori (Persone) |
Kamin, Samuel N.
Wellin, Paul R. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] |
| Soggetto non controllato |
Debugging
Mathematics Numerics Pattern Programming Recursion Strings Term rewriting |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00296519 |
|
Gaylord, Richard J.
|
||
| New York, : Springer ; Santa Clara, : Telos, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| ISBN | 978-35-406-1787-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051184 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Edizione | [Reprint of 1979 ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1997 |
| Descrizione fisica | viii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| ISBN | 978-35-406-1787-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051184 |
|
Aigner, Martin
|
||
| Berlin ; Heidelberg, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Edizione | [Reprint of 1979 ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1997 |
| Descrizione fisica | viii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297474 |
|
Aigner, Martin
|
||
| Berlin ; Heidelberg, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05Axx - Enumerative combinatorics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268257 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||