Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 26

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

Oltre il mito della crisi

fondamenti e filosofia della matematica nel 20. secolo

  • Borga, Marco

Funzioni, macchine, algoritmi [+]

introduzione alla teoria della computabilità

  • Frixione, Marcello

Informatica

  • Palladino, Dario

Corso di logica [+]

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Risultati 1-20 di 26