Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-3 di 3

Funzioni, macchine, algoritmi [+]

introduzione alla teoria della computabilità

  • Frixione, Marcello

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Logica e teorie formalizzate

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Risultati 1-3 di 3