Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1180-1200 di 1267

Ludwig Wittgenstein e il Circolo di Vienna

colloqui annotati da Friedrich Waismann

  • Waismann, Friedrich

Algebra di Boole

e circuiti di commutazione

  • Mendelson, Elliott

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