| Autore |
 Discussione  |
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
 Inserito il - 16/05/2009 : 12:56:02
|
poichè per quest'a.a. 2008/2009 molta parte del programma di "metodi formali per l'informatica" coincide con quella fatta a "fondamenti di informatica" della triennale dallo stesso professor Pani potete trovare molto materiale nella
sezione download di informatica del corso di fondamenti di informatica: http://www.laureateci.it/forum/topic.asp?TOPIC_ID=1839
|
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 25/06/2009 : 18:34:43
|
traccia scritto 10/06/09
Allegato:  traccia_100609.zip
885 Bytes
traccia scritto 25/06/09
Allegato: traccia_250609.zip
855 Bytes |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
|
bellatrix
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 26/06/2009 : 11:09:46
|
Traccia della prova di laboratorio del 9 giugno 2009, con una possibile soluzione.
Allegato: 20090609.zip
9,81 KB
--
Massimo |
|
|
|
bellatrix
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 27/06/2009 : 15:43:05
|
Possibile soluzione della prova di laboratorio del 24 giugno 2009.
Allegato: 20090624.zip
1,01 KB
Nota: non avendo partecipato personalmente a tale prova di laboratorio, ho fatto riferimento agli stralci di traccia riportati sul forum.
Citazione:
Bisognava leggere i file di una directory e trovare quelli che terminavano in ".log"; per ognuno di essi bisognava ridenominarli in ".log.n" dove 0<=n<=5 (se già esisteva un file xxx.log.3 il nuovo nome del file da rinominare sarebbe stato xxx.log.4) in odo tale che quando se ne avevano 5 relativi a quel file li si compattava con gzip ripetendo anche qui tutto l'ambaradan delle ridenominazioni (fino a 5)...in modo che dopo i nomi dei file potevano ricominciare da 0 e così via....
--
Massimo |
Modificato da - bellatrix in data 27/06/2009 17:41:11 |
|
|
|
wiklex
Utente medio
|
Inserito il - 01/07/2009 : 16:14:32
|
Allego la prova di laboratorio del 1 luglio 2009.
Non posto la soluzione visto che è un normale taglia e cuci come la prima prova, inoltre visto che nei computer dei laboratori non si possono usare le penne USB perchè non ci sono i privilegi di root, per quanto riguarda la parte da fare sulla pennina bastava scrivere in un commento come fare.
Allegato: laboratorio 1 luglio 09.txt
1,06 KB |
www.nonlosapevo.com
www.disinformazione.it/paginacannabis.htm
http://www.oipaitalia.com/festepopolari/corrida.html
"il diavolo non esiste, non c'è altro dio che l'uomo" A. Crowley
"Dopo essere venuto a contatto con un uomo religioso, sento sempre il bisogno di lavarmi le mani." (F. Nietzsche) |
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 08/07/2009 : 20:37:33
|
Citazione:
Messaggio inserito da bellatrix
Possibile soluzione della prova di laboratorio del 24 giugno 2009.
Allegato: 20090624.zip
1,01 KB
Nota: non avendo partecipato personalmente a tale prova di laboratorio, ho fatto riferimento agli stralci di traccia riportati sul forum.
Citazione:
Bisognava leggere i file di una directory e trovare quelli che terminavano in ".log"; per ognuno di essi bisognava ridenominarli in ".log.n" dove 0<=n<=5 (se già esisteva un file xxx.log.3 il nuovo nome del file da rinominare sarebbe stato xxx.log.4) in odo tale che quando se ne avevano 5 relativi a quel file li si compattava con gzip ripetendo anche qui tutto l'ambaradan delle ridenominazioni (fino a 5)...in modo che dopo i nomi dei file potevano ricominciare da 0 e così via....
--
Massimo
un'altra possibile soluzione
Allegato: rinomina.sh.zip
849 Bytes |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 08/07/2009 : 20:38:37
|
schemino sui permessi:
Immagine:
72,09 KB
grazie a Battistis:P |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
Modificato da - Gabri in data 08/07/2009 20:39:25 |
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 12/07/2009 : 19:22:06
|
metodo del controesempio: "usando il metodo del controesempio provare che la seguente formula non è derivabile e costruire un controesempio (( A->B) ->(B->C))->(B->A) "
"ho fatto una scansione veloce degli esercizi che ho ricopiato in classe, se qualcuno ne ha degli altri li mettesse pure ;)" grazie a wiklex
Allegato: controesempio.zip
522,3 KB |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 12/07/2009 : 19:30:09
|
scritto del 03/07/09
grazie a mariantonietta:D
Allegato: 030709.txt
725 Bytes |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
|
dido
Nuovo Utente
|
 Inserito il - 14/07/2009 : 21:00:52
|
Vi allego la traccia del lab di oggi... Difficilotta...
Allegato: traccia_lab14Lug09.pdf
22,66 KB |
|
|
|
eddiekrueger
Nuovo Utente
|
Inserito il - 03/09/2009 : 16:17:41
|
Questa la traccia dello scritto di pocanzi:
Creare uno script bash (orderby) per l'organizzazione del file in base all'estensione.
Lo script deve accettare in input 2 parametri.
Il primo per l'estensione del file, il secondo per la directory destinazione.
orderby par1 par2
Ogni file presente nella cwd con l'estensione par1 deve essere spostata nella directory par2.
Ad esempio:
orderby jpg /home/Documenti/Foto
Lo script in caso di mancanza di parametri in input deve simulare i seguenti comandi:
- orderby jpg /home/Documenti/Foto
- orderby avi /home/Documenti/Video
- orderby pdf /home/Documenti/Pdf
- orderby mp3 /home/Documenti/Musica |
|
|
|
eddiekrueger
Nuovo Utente
|
Inserito il - 04/09/2009 : 11:59:40
|
Traccia dello scritto di oggi:
- Verificare se la seguente formula è valida Ax(A(x) v B(x)) -> Ax(A(x) ^ B(x)) (dove per Ax intendo Per ogni x)
- Dimostrare che le macchine di Turing a nastro potenzialmente infinito sono equivalenti a quelle a nastro semiinfinito
- Dimostrare che le funzioni ricorsive primitive non esauriscono il calcolabile |
Modificato da - eddiekrueger in data 05/09/2009 10:08:56 |
|
|
|
Gabri
Moderatrice - Un'amica affezionata
Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 20/09/2009 : 11:37:42
|
sono dei miei appunti che ho utilizzato per studiare. ho pensato potessero essere utili, ma non prendeteli come una bibbia, potrebbero esserci errori:)
Allegato: appuntiGabri.pdf
2470,51 KB |
rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK
informatica.magistrale.udu_AT_gmail.com
|
|
|
|
hispanico
Nuovo Utente
|
Inserito il - 24/09/2009 : 14:53:43
|
Traccia LAB 24/09/09
Monitoraggio processo utenti non root.
Creare 3 script bash:
- chi
questo script deve stampare a video solo il nome dell'ultimo utente attualmente loggato.
- processidichi
questo script deve leggere in input il nome di un utente e deve restituire in output tutti i processi dello stesso attualmente in esecuzione
- demoneprocessi
questo script(da configurarsi come demone) deve loop-are in attesa di un nuovo utente loggato e monitorare le attività(processi) di tale utente popolando un file dil log con nome "NOMEUTENTE_DATA".lo
1.5h di tempo !!!!! |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 29/09/2009 : 15:21:32
|
Traccia Scritto 25/09/09:
Allegato: traccia25.09.09.txt
687 Bytes |
 |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 24/11/2009 : 18:47:56
|
Appello di Laboratorio 24/11/09
Allegato: LAB 241109.txt
989 Bytes |
|
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 26/11/2009 : 23:06:30
|
Traccia Scritto 26/11/2009
Allegato: Scritto261109.txt
633 Bytes |
|
|
|
|
Eugenio86
Utente medio
Regione: Puglia
Prov.: Bari
Città: Bisceglie
|
|
|
priscill@84
Utente medio
|
Inserito il - 28/01/2010 : 20:30:37
|
Traccia di laboratorio del 28 gennaio 2010
Allegato: tracciaLab28_01_10.txt
1,05 KB |
|
|
|
gianvix
Utente giovane
|
|
|
w4nderlust
Utente medio
Regione: Puglia
Prov.: Bari
Città: Bari
|
Inserito il - 05/02/2010 : 01:03:28
|
Ho creato un piccolo documento che non vuole essere né esaustivo né onnicomprensivo, ma che contiene quasi tutti i comandi con cui ho avuto a che fare preparando il laboratorio di metodi formali, Sperando possa essere utile a qualcuno lo posto qui.
Allegato:  20102219277_comandi utili bash.txt
Altri reference sheet generici su linux (link di battistis);
http://techposters.net/tag/Linux/ |
|
|
|
Discussione |
|
metodi formali per l'informatica
