Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 2040-2060 di 2094

I grafi ad albero e alcune loro applicazioni

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

  • Doretti, Lucia

Leibniz e la logica simbolica [+]

  • Leibniz, Gottfried Wilhelm

Logica e teorie formalizzate [+]

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Piergiorgio Odifreddi racconta Godel e Turing

la nascita del computer e la società dell'informazione

  • Calvano, Michele

Il calcolatore e lo sviluppo mentale [+]

iniziazione al pensiero algoritmico

  • Fasano Petroni, Margherita

Letture di logica

fondamenti della matematica, linee di ricerca attuali

La sezione aurea

storia di un numero e di un mistero che dura da tremila anni

  • Livio, Mario

La luna nel pozzo cosmico

contare, pensare ed essere

  • Barrow, John D.

Stabilità strutturale e morfogenesi

saggio di una teoria generale dei modelli

  • Thom, René

Individui e mondi possibili

problemi di semantica modale