Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-13 di 13

Le geometrie non euclidee

e i fondamenti della geometria

  • Agazzi, Evandro

Logica e teorie formalizzate

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Elementi di algebra

numeri e strutture - calcolo combinato - matrici e determinanti - sistemi lineari

  • Palladino, Dario

Logiche non classiche [+]

un'introduzione

  • Palladino, Dario

Matematica attuariale e applicazioni della matematica in economia

per la quinta classe degli istituti tecnici commerciali

  • Palladino, Dario

John von Neumann

  • Palladino, Dario

Corso di logica [+]

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

La computabilita [+]

algoritmi, logica , calcolatori

  • Frixione, Marcello

Risultati 1-13 di 13