Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-9 di 9

Elementi di algebra

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

  • Palladino, Dario

Logiche non classiche

un'introduzione

  • Palladino, Dario

La computabilità

algoritmi, logica, calcolatori

  • Frixione, Marcello

Logica e teorie formalizzate

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Corso di logica [+]

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Le geometrie non euclidee

e i fondamenti della geometria

  • Agazzi, Evandro

Risultati 1-9 di 9