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.
Corso di logica : introduzione elementare al calcolo dei predicati / Dario Palladino
| Corso di logica : introduzione elementare al calcolo dei predicati / Dario Palladino |
| Autore | Palladino, Dario |
| Edizione | [6. rist. 2008] |
| Pubbl/distr/stampa | Roma : Carocci, 2008 |
| Descrizione fisica | 311 p. , 24 cm |
| Disciplina | 511.3 |
| Collana | Manuali universitari. Filosofia ; 4 |
| Soggetto topico | Logica matematica |
| ISBN | 9788843023127 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000802989707536 |
Palladino, Dario
|
||
| Roma : Carocci, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Corso di logica : introduzione elementare al calcolo dei predicati / Dario Palladino
| Corso di logica : introduzione elementare al calcolo dei predicati / Dario Palladino |
| Autore | Palladino, Dario |
| Pubbl/distr/stampa | Roma : Carocci, 2002 |
| Descrizione fisica | 311 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Manuali Universitari |
| Soggetto topico | Logica matematica |
| ISBN | 8843023128 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001594899707536 |
|
Palladino, Dario
|
||
| Roma : Carocci, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Funzioni, macchine, algoritmi : introduzione alla teoria della computabilità / Marcello Frixione, Dario Palladino
| Funzioni, macchine, algoritmi : introduzione alla teoria della computabilità / Marcello Frixione, Dario Palladino |
| Autore | Frixione, Marcello |
| Pubbl/distr/stampa | Roma, : Carocci, 2004 |
| Descrizione fisica | 432 p. ; 22 cm |
| Disciplina | 511.8 |
| Altri autori (Persone) | Palladino, Dario |
| Collana | Università |
| Soggetto non controllato |
Calcolo numerico
Algoritmi |
| ISBN | 9788843030026 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910472853203321 |
|
Frixione, Marcello
|
||
| Roma, : Carocci, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Le geometrie non euclidee / Dario Palladino, Claudia Palladino
| Le geometrie non euclidee / Dario Palladino, Claudia Palladino |
| Autore | Palladino, Dario |
| Pubbl/distr/stampa | Roma : Carocci, 2008 |
| Descrizione fisica | 143 p. ; 20 cm. |
| Disciplina | 516.9 |
| Altri autori (Persone) | Palladino, Claudiaauthor |
| Collana | Le bussole ; 328 |
| Soggetto topico | Geometrie non euclidee |
| ISBN | 9788843046904 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991004113189707536 |
|
Palladino, Dario
|
||
| Roma : Carocci, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
I contributi fondazionali della scuola di Peano / M. Borga, P. Freguglia, D. Palladino ; prefazione di E. Agazzi
| I contributi fondazionali della scuola di Peano / M. Borga, P. Freguglia, D. Palladino ; prefazione di E. Agazzi |
| Autore | Borga, Marco |
| Pubbl/distr/stampa | Milano, : F. Angeli, 1985 |
| Descrizione fisica | 257 p. ; 22 cm. |
| Altri autori (Persone) |
Freguglia, Paolo
Palladino, Dario |
| Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0053136 |
|
Borga, Marco
|
||
| Milano, : F. Angeli, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
I contributi fondazionali della scuola di Peano / M. Borga, P. Freguglia, D. Palladino ; prefazione di E. Agazzi
| I contributi fondazionali della scuola di Peano / M. Borga, P. Freguglia, D. Palladino ; prefazione di E. Agazzi |
| Autore | Borga, Marco |
| Pubbl/distr/stampa | Milano, : F. Angeli, 1985 |
| Descrizione fisica | 257 p. ; 22 cm |
| Altri autori (Persone) |
Freguglia, Paolo
Palladino, Dario |
| Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-VAN0053136 |
|
Borga, Marco
|
||
| Milano, : F. Angeli, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
La computabilità : algoritmi, logica, calcolatori / Marcello Frixione, Dario Palladino
| La computabilità : algoritmi, logica, calcolatori / Marcello Frixione, Dario Palladino |
| Autore | Frixione, Marcello |
| Pubbl/distr/stampa | Roma, : Carocci, 2011 |
| Descrizione fisica | 142 p. : ill. ; 20 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) | Palladino, Dario |
| Collana | Le bussole |
| Soggetto non controllato |
Calcolo numerico
Algoritmi Funzioni computabili |
| ISBN | 978-88-430-5793-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910472259303321 |
|
Frixione, Marcello
|
||
| Roma, : Carocci, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La logica simbolica / Evandro Agazzi
| La logica simbolica / Evandro Agazzi |
| Autore | Agazzi, Evandro |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | [Brescia] : La Scuola, [1964] |
| Descrizione fisica | 396 ; 20 cm |
| Collana | Analisi e sintesi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISOB-E600200037752 |
|
Agazzi, Evandro
|
||
| [Brescia] : La Scuola, [1964] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Le geometrie non euclidee / di Evandro Agazzi e Dario Palladino
| Le geometrie non euclidee / di Evandro Agazzi e Dario Palladino |
| Autore | Agazzi, Evandro <1934- > |
| Pubbl/distr/stampa | Milano : Arnoldo Mondadori, c1978 |
| Descrizione fisica | 318 p. ; 21 cm |
| Disciplina | 509 |
| Collana | Biblioteca della EST |
| Soggetto non controllato | Storia della matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001442410403321 |
|
Agazzi, Evandro <1934- >
|
||
| Milano : Arnoldo Mondadori, c1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Le geometrie non euclidee : e i fondamenti della geometria / Evandro Agazzi ; Dario Palladino
| Le geometrie non euclidee : e i fondamenti della geometria / Evandro Agazzi ; Dario Palladino |
| Autore | Agazzi, Evandro |
| Pubbl/distr/stampa | Milano, : Mondadori, 1978 |
| Descrizione fisica | 320 ; 21 cm |
| Collana | Biblioteca della EST |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISOB-SON0000874 |
|
Agazzi, Evandro
|
||
| Milano, : Mondadori, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
