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.
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1990] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico | Computable functions - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7694-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Some theories conservative over intuitionistic arithmetic""; ""Ramsey interpreted: A parametric version of Ramsey's theorem""; ""Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic""; ""A note on polynomial time computable arithmetic""; ""Axiomatizations and conservation results for fragments of bounded arithmetic""; ""A smash-based hierarchy between PTIME and PSPACE""; ""Polymorphic typed lambda-calculi in a type-free axiomatic framework""; ""Polynomial time computable arithmetic""
""Metaprogramming in SIL""""W K Lo and orderings of countable abelian groups""; ""Marriage theorems and reverse mathematics""; ""Computationally based set existence principles""; ""Hierarchy results for mixed-time""; ""Polynomial time equivalence types""; ""Program development through proof transformation""; ""Some models of Scott's theory LC F based on a notion of rate of convergence""; ""Sharply bounded arithmetic and the function a -1""; ""Radon-nikodym theorem is equivalent to arithmetical comprehension"" |
| Record Nr. | UNINA-9910478906603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1990] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1990] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico | Computable functions - Data processing |
| ISBN | 0-8218-7694-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Preface -- Some theories conservative over intuitionistic arithmetic -- Ramsey interpreted: A parametric version of Ramsey's theorem -- Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic -- A note on polynomial time computable arithmetic -- Axiomatizations and conservation results for fragments of bounded arithmetic -- A smash-based hierarchy between PTIME and PSPACE -- Polymorphic typed lambda-calculi in a type-free axiomatic framework -- Polynomial time computable arithmetic -- Metaprogramming in SIL -- W K Lo and orderings of countable abelian groups -- Marriage theorems and reverse mathematics -- Computationally based set existence principles -- Hierarchy results for mixed-time -- Polynomial time equivalence types -- Program development through proof transformation -- Some models of Scott's theory LC F based on a notion of rate of convergence -- Sharply bounded arithmetic and the function a -1 -- Radon-nikodym theorem is equivalent to arithmetical comprehension. |
| Record Nr. | UNINA-9910788638703321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1990] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1990] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico | Computable functions - Data processing |
| ISBN | 0-8218-7694-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Preface -- Some theories conservative over intuitionistic arithmetic -- Ramsey interpreted: A parametric version of Ramsey's theorem -- Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic -- A note on polynomial time computable arithmetic -- Axiomatizations and conservation results for fragments of bounded arithmetic -- A smash-based hierarchy between PTIME and PSPACE -- Polymorphic typed lambda-calculi in a type-free axiomatic framework -- Polynomial time computable arithmetic -- Metaprogramming in SIL -- W K Lo and orderings of countable abelian groups -- Marriage theorems and reverse mathematics -- Computationally based set existence principles -- Hierarchy results for mixed-time -- Polynomial time equivalence types -- Program development through proof transformation -- Some models of Scott's theory LC F based on a notion of rate of convergence -- Sharply bounded arithmetic and the function a -1 -- Radon-nikodym theorem is equivalent to arithmetical comprehension. |
| Record Nr. | UNINA-9910826115703321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1990] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007
| SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007 |
| Autore | Watt Stephen M |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (218 p.;) |
| Collana | ACM Conferences |
| Soggetto topico |
Computable functions - Data processing
Numerical analysis Logic, Symbolic and mathematical Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SNC '07 |
| Record Nr. | UNINA-9910376411703321 |
Watt Stephen M
|
||
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910451203403321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910777010803321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and education / / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
| Symbolic computation and education / / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | viii, 245 p. : ill |
| Disciplina | 511.3 |
| Altri autori (Persone) |
LiShangzhi <1947->
WangDongming <1961-> ZhangJingzhong <1936-> |
| Soggetto topico |
Mathematics - Computer-assisted instruction
Computable functions - Data processing Logic, Symbolic and mathematical |
| ISBN |
1-281-92896-8
9786611928964 981-277-600-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods); Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada); Hand-held Technology in Secondary Mathematics Education (B Kissane); College Algebra Change (R L Mayes et al.); Mathematics Experiments -- Learning and Investigating Mathematics with the Help of Computers (S Li); CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.); Free Software SSP for Teaching Mathematics (J-Z Zhang et al.); Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana); Combining CAS and DGS -- Towards Algorithmic Thinking (U H Kortenkamp); Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.); Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu); Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man); Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis); Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.). |
| Record Nr. | UNINA-9910822126503321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
