| V I S U A L I Z Z A D I S C U S S I O N E |
| Gabri |
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 |
| 20 U L T I M E R I S P O S T E (in alto le più recenti) |
| Gabri |
Inserito il - 25/09/2010 : 19:06:20
Posto le domande fatte nell'appello del 23/09/10
1.Laboratorio
Costruire una macchina di turing che calcola:
1.somma di uno a un numero binario
2. sottrai uno a un numero binario
3.divisione tra due numeri unari
4. resto della divisione tra due numeri pari
5. minimo tra due numeri unari
2. Teoria
1.Composizione URM
2. Equivalenza tra Mdt multinastro e Mdt
3. Equivalenza tra Mdt non deterministiche e MdT
4. Riduzione delle macchine di turing a macchine di turing a nastro semiinfinito.
5 Mdt linearizzate e Macchina Universale |
| arcanum |
Inserito il - 13/07/2010 : 12:14:29
Per informazione...la traccia del 07/07 era:
-Non esistenza della funzione universale per le funzioni ricorsive primitive
-MdT Linearizzata e MdT universale : semplificazione delle macchine linearizzate, codici delle istruzioni, costruzione
-Regola di Risoluzione e Regola di Fattorizzazione |
| arcanum |
Inserito il - 11/02/2010 : 22:56:11
Allegato:  part.rar
816 Bytes
Allegato: filestat2.sh.rar
977 Bytes |
| w4nderlust |
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/ |
| gianvix |
Inserito il - 30/01/2010 : 10:15:42
Scritto del 29-01-2010
Allegato: Traccia 29-01-2010.txt
708 Bytes |
| priscill@84 |
Inserito il - 28/01/2010 : 20:30:37
Traccia di laboratorio del 28 gennaio 2010
Allegato: tracciaLab28_01_10.txt
1,05 KB |
| Eugenio86 |
Inserito il - 27/01/2010 : 15:50:43
Questo file contiene gli appunti che ho preso per questo esame rielaborati durante le ricerche e lo studio. Sono appunti, quindi, nonostante la forma che può farli sembrare precisi e sacrosanti, possono contenere errori, inesattezze e punti mancanti :P
Fatene buon uso :)
http://www.laureateci.it/Public/data/Eugenio86/2010126152318_Appunti%20di%20metodi%20formali.pdf
In più inserisco questo link consigliato da w4nderlust:
http://www.fe.infn.it/u/schifano/cc-2009-2010/cc.html
E questo consigliato da me per il teorema di Rice (ottimo a mio parere):
http://it.wikipedia.org/wiki/Teorema_di_Rice |
| Ivan86 |
Inserito il - 26/11/2009 : 23:06:30
Traccia Scritto 26/11/2009
Allegato: Scritto261109.txt
633 Bytes |
| Ivan86 |
Inserito il - 24/11/2009 : 18:47:56
Appello di Laboratorio 24/11/09
Allegato: LAB 241109.txt
989 Bytes |
| Ivan86 |
Inserito il - 29/09/2009 : 15:21:32
Traccia Scritto 25/09/09:
Allegato: traccia25.09.09.txt
687 Bytes |
| hispanico |
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 !!!!! |
| Gabri |
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 |
| eddiekrueger |
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 |
| eddiekrueger |
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 |
| dido |
Inserito il - 14/07/2009 : 21:00:52
Vi allego la traccia del lab di oggi... Difficilotta...
Allegato: traccia_lab14Lug09.pdf
22,66 KB |
| Gabri |
Inserito il - 12/07/2009 : 19:30:09
scritto del 03/07/09
grazie a mariantonietta:D
Allegato: 030709.txt
725 Bytes |
| Gabri |
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 |
| Gabri |
Inserito il - 08/07/2009 : 20:38:37
schemino sui permessi:
Immagine:
72,09 KB
grazie a Battistis:P |
| Gabri |
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 |
| wiklex |
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 |
