Forum by laureateci.it - Integrazione (4 CFU)

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Primo Anno

Metodi formali dell'Informatica

Integrazione (4 CFU)

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

lu82
Nuovo Utente

Inserito il - 25/02/2010 : 12:25:13

Ciao a tutti,
devo sostenere l'integrazione dell'esame di Metodi formali dell'Informatica.
Stò preparando le varie istruzioni per i programmi da eseguire con il simulatore URM.
Qualcuno ha del materiale da passare (esempio: min, max, divisone,ecc...)?
Grazie in anticipo.
Saluti

Modificato da - lu82 in Data 25/02/2010 12:25:40

Frisketta
Utente medio

Regione: Puglia
Prov.: Foggia
Città: provincia

Inserito il - 17/03/2010 : 20:00:28

Anch'io avrei bisogno di aiuto per favore.

Frisketta

Gaberiele
Nuovo Utente

Inserito il - 21/03/2010 : 19:50:45

POTETE TROVARE GLI ESERCIZI SVOLTI DELLA MACCHINA DI TURING SU QUESTI LINK:

sono in doc, per cui dovete copiare le regole in un nuovo progetto della macchina di Turing.

SOMMA: http://gaberiele.files.wordpress.com/2010/03/somma.doc

RESTO: http://gaberiele.files.wordpress.com/2010/03/resto.doc

PRODOTTO: http://gaberiele.files.wordpress.com/2010/03/prodotto.doc

MAX: http://gaberiele.files.wordpress.com/2010/03/max.doc

DIVISIONE: http://gaberiele.files.wordpress.com/2010/03/divisione.doc

COPIA: http://gaberiele.files.wordpress.com/2010/03/copia.doc

Affittasi casa al mare nel salento da 2 a 11 posti letto.

Contattatemi al 3408558652

Gabri
Moderatrice - Un'amica affezionata

Regione: Puglia
Prov.: Ba
Città: Trani

Inserito il - 22/03/2010 : 15:00:55

li puoi mettere nella sezione download della magistrale-> metodi formali??
http://www.laureateci.it/forum/topic.asp?TOPIC_ID=15708&whichpage=2

rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK

informatica.magistrale.udu_AT_gmail.com

Frisketta
Utente medio

Regione: Puglia
Prov.: Foggia
Città: provincia

Inserito il - 07/04/2010 : 17:49:08

Citazione:
Messaggio inserito da Gaberiele

POTETE TROVARE GLI ESERCIZI SVOLTI DELLA MACCHINA DI TURING SU QUESTI LINK:

sono in doc, per cui dovete copiare le regole in un nuovo progetto della macchina di Turing.

SOMMA: http://gaberiele.files.wordpress.com/2010/03/somma.doc

RESTO: http://gaberiele.files.wordpress.com/2010/03/resto.doc

Grazieeee!!!

PRODOTTO: http://gaberiele.files.wordpress.com/2010/03/prodotto.doc

MAX: http://gaberiele.files.wordpress.com/2010/03/max.doc

DIVISIONE: http://gaberiele.files.wordpress.com/2010/03/divisione.doc

COPIA: http://gaberiele.files.wordpress.com/2010/03/copia.doc

Frisketta

sirluke2005
Nuovo Utente

Inserito il - 27/04/2010 : 11:08:35

Grazie per gli esercizi ma in seduta di esame dobbiamo riscrivere a memoria le istruzioni per poi farle girare ulla macchina di turing?
Non c'è un metodo che ci porta a realizzare le istruzioni senza costringerci a memorizzarle tutte?

wiklex
Utente medio

Inserito il - 27/04/2010 : 19:59:08

Citazione:
Messaggio inserito da sirluke2005

Grazie per gli esercizi ma in seduta di esame dobbiamo riscrivere a memoria le istruzioni per poi farle girare ulla macchina di turing?
Non c'è un metodo che ci porta a realizzare le istruzioni senza costringerci a memorizzarle tutte?

difficile da spiegare su un forum... quando ha seguito l'anno scorso le lezioni, il ragionamento lo capivi seguendo le indicazioni del prof.

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)

FullMetalJacket
Utente medio

Inserito il - 27/04/2010 : 20:30:18

Citazione:
Messaggio inserito da sirluke2005

Grazie per gli esercizi ma in seduta di esame dobbiamo riscrivere a memoria le istruzioni per poi farle girare ulla macchina di turing?
Non c'è un metodo che ci porta a realizzare le istruzioni senza costringerci a memorizzarle tutte?

Studiare le macchine di turing (dal libro) e relativi esercizi potrebbe aiutare

sirluke2005
Nuovo Utente

Inserito il - 19/05/2010 : 17:54:29

Voglio ringraziare tutti coloro che mi hanno risposto.
Le lezioni del prof. non sono riuscito a seguirlo perchè sono uno studente-lavoratore!
Stò studiando anche dal libro ma sinceramente non riesco a carpire un metodo per sviluppare gli esercizi che il prof. chiede in laboratorio da eseguire con la MdT.
Se c'è qualcuno che ha già fatto questa integrazione o stà studiando per darla e mi può aiutare lo ringrazio calorosamente.
Ciao

Friskies
Utente medio

Regione: Puglia
Prov.: Bari
Città: Bari

Inserito il - 20/05/2010 : 10:50:21

Citazione:
Messaggio inserito da sirluke2005

Voglio ringraziare tutti coloro che mi hanno risposto.
Le lezioni del prof. non sono riuscito a seguirlo perchè sono uno studente-lavoratore!
Stò studiando anche dal libro ma sinceramente non riesco a carpire un metodo per sviluppare gli esercizi che il prof. chiede in laboratorio da eseguire con la MdT.
Se c'è qualcuno che ha già fatto questa integrazione o stà studiando per darla e mi può aiutare lo ringrazio calorosamente.
Ciao

servirebbe anche a me ..grazie

lu82
Nuovo Utente

Inserito il - 27/06/2010 : 16:15:55

Ciao a tutti,
devo sostenere l'integrazione dell'esame di Metodi formali dell'Informatica.Sapete dirmi le domande che fa + spesso ?!? grazie

lu82
Nuovo Utente

Inserito il - 25/09/2010 : 14:17:11

Posto le domande fatte nell'appello del 23/10/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

lu82
Nuovo Utente

Inserito il - 25/09/2010 : 14:18:33

23/09/10...scusate l'errore

Discussione

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,25 secondi.