Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-4 di 4

Funzioni, macchine, algoritmi [+]

introduzione alla teoria della computabilità

  • Frixione, Marcello

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

La computabilita [+]

algoritmi, logica , calcolatori

  • Frixione, Marcello

Logica e teorie formalizzate

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Risultati 1-4 di 4