Forum by laureateci.it - metodi formali per l'informatica

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Generale

Download

metodi formali per l'informatica

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Pagina Precedente

Autore

Discussione

Pagina: di 2

arcanum
Utente giovane

Inserito il - 11/02/2010 : 22:56:11

Allegato:

part.rar
816 Bytes

Allegato:

filestat2.sh.rar
977 Bytes

arcanum
Utente giovane

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

Gabri
Moderatrice - Un'amica affezionata

Regione: Puglia
Prov.: Ba
Città: Trani

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

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

informatica.magistrale.udu_AT_gmail.com