Queste sono le note fornite dal Prof. Rosolini (DISI – università di Genova) per il corso di Logica Matematica dell’anno accademico 2006/2007. Il corso prevede lo studio della logica di Hilbert (calcolo e logica del primo ordine) anche attraverso lo
Read more
La crittografia è un punto di partenza imprescindibile per difendere la vostra privacy su qualsiasi tipo di supporto magnetico. Molti usano tenere un elenco di password/dati confidenziali sull’inseparabile chiave USB, che può però essere facilmente persa/rubata/lasciata incustodita, creando diversi tipi
Read more
Benvenuti (o bentornati)… Questo messaggio e’ piu’ orientato a questi ultimi, ma forse anche chi viene qui per la prima volta puo’ trarre un insegnamento positivo da questa vicenda. Chi e’ gia’ passato dal mio sito si sara’ sicuramente accorto
Read more
- m@tt -
- apr 17, 2008 -
- News, Programmazione - Tags: algoritmi, algoritmo, codifica, compressione, finito, input, metodo, ordinamento, problema, problemi, programma, ricerca, ricorsione, ricorsivo, risolve, soluzione, strutture dati, turing
- - No Comment
In informatica, con il termine algoritmo si intende un metodo per la soluzione di un problema adatto a essere implementato sotto forma di programma. Intuitivamente, un algoritmo si può definire come un procedimento che consente di ottenere un risultato atteso
Read more
Bene bene bene, ero alle prese con una discreta quantita’ di Segmentation Fault quando, per tirarmi su il morale, un mio collega universitario mi ha fatto scoprire l’esistenza di tre “linguaggi di programmazione” davvero incredibili… Grazie Zaf!!! (per ricambiare la
Read more
In questo articolo vorrei presentare un po’ di comandi utili per lavorare in Linux. Chi già è abituato a districarsi con la shell non avrà certamente bisogno di leggere questo articolo, in quanto tratta semplicemente i comandi fondamentali per iniziare
Read more