Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-11 di 11

Aritmetica [+]

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

  • Calandri, , Filippo

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

Risultati 1-11 di 11