Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-11 di 11

Theory of computation

formal languages, automata and complexity

Le due teste del tiranno

metodi matematici per la libertà

  • Malvaldi, , Marco

Il pensiero computazionale

dagli algoritmi al coding

  • Ferragina, , Paolo

Archimede aveva un sacco di tempo libero

la teoria degli insiemi e il concetto di infinito

  • Codenotti, , Bruno

Simulazione

per capire e intervenire nella complessità del mondo contemporaneo

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

Aritmetica

secondo la lezione del Codice 2669 (sec. 15.) della Biblioteca Riccardiana di Firenze

  • Calandri, , Filippo

Risultati 1-11 di 11