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.
Matematica come scoperta / [a cura del Gruppo "Matematica come scoperta" degli Istituti di Matematica delle Università di Pavia, Pisa e Trieste]
| Matematica come scoperta / [a cura del Gruppo "Matematica come scoperta" degli Istituti di Matematica delle Università di Pavia, Pisa e Trieste] |
| Pubbl/distr/stampa | Milano : CNR (Consiglio Nazionale delle Ricerche), 1980 |
| Descrizione fisica | 227 p. ; 24 cm. |
| Disciplina | 515.2 |
| Collana | Quaderni dei Nuclei di ricerca didattica di Pavia, Pisa e Trieste ; 2 |
| Soggetto topico |
Didactis of mathematics
Methodology of mathematics Real functions Real functions-textbooks |
| Classificazione |
AMS 00A35
AMS 26-01 AMS 26-XX ZDM I20 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001104749707536 |
| Milano : CNR (Consiglio Nazionale delle Ricerche), 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
| I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo |
| Autore | Maionchi. U. |
| Pubbl/distr/stampa | [Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981 |
| Descrizione fisica | 96 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Berestovoy, S.
Longo, Giuseppe |
| Collana | Quaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle Ricerche |
| Soggetto topico |
Combinatory logic
Lambda calculus |
| Classificazione | AMS 03B40 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001150359707536 |
Maionchi. U.
|
||
| [Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Probabilità e statistica. Matematica come scoperta [Quaderno CNR] / L. Piccinato, N. Pintacuda
| Probabilità e statistica. Matematica come scoperta [Quaderno CNR] / L. Piccinato, N. Pintacuda |
| Autore | Piccinato, Ludovico |
| Pubbl/distr/stampa | Pavia : CNR (Consiglio Nazionale delle Ricerche), 1985 |
| Descrizione fisica | viii, 216 p. ; 24 cm. |
| Altri autori (Persone) | Pintacuda, Nicolò <1939- > |
| Soggetto topico |
Probability theory
Statistics Stochastic processes |
| Classificazione |
AMS 60-01
AMS 60-XX AMS 62-01 ZDM K60 ZDM K70 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001243969707536 |
|
Piccinato, Ludovico
|
||
| Pavia : CNR (Consiglio Nazionale delle Ricerche), 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
