Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1200-1220 di 1268

Enumerabilità, decidibilità, computabilità [+]

introduzione alla teoria delle funzioni ricorsive

Logic in the 20th century [+]

a series of papers on the present state and tendencies of studies

I grafi ad albero e alcune loro applicazioni

Una proposta per l'introduzione della teoria dei grafi nella scuola media

  • Doretti, Lucia

Calcolo computistico

Ad uso degli istituti tecnici commerciali

  • Di Rosa, Vincenzo

Metodi numerici [+]

  • Bachvalov, Nikolaj S

Le teorie fisiche

Un'analisi formale

  • Dalla Chiara, Maria Luisa

Metodi del calcolo numerico

  • Marcuk, Gurij Ivanovich

Piergiorgio Odifreddi racconta Godel e Turing

la nascita del computer e la società dell'informazione

  • Calvano, Michele

Il concetto di operazione

  • Cordati Rosaia, Luigia

Aritmetica razionale [+]

per gli istituti magistrali

  • Zwirner, Giuseppe

Combinatorial theory

  • Hall, Marshall Jr.