| V I S U A L I Z Z A D I S C U S S I O N E |
| er |
Inserito il - 13/01/2011 : 11:38:52
Propongo di elencare qui di seguito tutti i teoremi da studiare per l'esame.. non vorrei dimenticarmene qualcuno..  |
| 10 U L T I M E R I S P O S T E (in alto le più recenti) |
| t_l_b |
Inserito il - 17/01/2011 : 12:18:04
Citazione:
Messaggio inserito da er
Vi posto quello che sto studiando io:
[...]
*Macchina di Touring Elementari (2 teoremi)
*Macchina di Touring Universale (2 teoremi)
[...]
eccoti un link molto utile: http://www.touringclub.it/ |
| er |
Inserito il - 13/01/2011 : 17:26:22
si credo di si.. |
| freddy |
Inserito il - 13/01/2011 : 17:10:41
quindi un teorema prima parte, un teorema seconda parte e un esercizio prima parte che dovrebbe essere sui predicati |
| er |
Inserito il - 13/01/2011 : 17:09:01
errata corrige.. sto parlando con altri amici di corso e mi stanno dicendo che il prof ha detto che nn ci saranno le macchine di turing come esercizio.. quindi si tratta di 3 quesiti.. 1 esercizio di logica e 2 teoremi!!! |
| freddy |
Inserito il - 13/01/2011 : 17:02:27
che esercizi ci sono sulla seconda parte???? |
| er |
Inserito il - 13/01/2011 : 17:00:15
La prima parte è quella di logica.. la seconda è quella di calcolabilità e macchine di Turing!!!! |
| freddy |
Inserito il - 13/01/2011 : 16:55:26
quali sarebbero la prima e la seconda parte? |
| er |
Inserito il - 13/01/2011 : 16:49:05
Il professore ha detto che ci saranno 1 esercizio e un teorema sulla prima parte e un esercizio e un teorema sulla seconda parte.. |
| freddy |
Inserito il - 13/01/2011 : 16:38:31
sono tantissimi e ne mancano anche altri!!!! ma solo teoremi ci sono nell'appello? |
| er |
Inserito il - 13/01/2011 : 16:01:23
Vi posto quello che sto studiando io:
Parte di logica degli enunciati:
*teorema di sostituzione
*teorema della trasformazione in forma di clausole
*teorema di derivazione e refutazione
*teorema di derivazione (non sono sicuro che si porti!)
*Teorema di compattezza (compactness)
*Implicazioni del teorema di compattezza
*Soundness & completeness
Parte di logica degli predicati:
*Skolem normal form (non sono sicuro che si porti!)
*Soundness & completeness
*Teorema di risoluzione
*Soundness & completeness of the relsolution colusus
*L'indecidibilità della logica di primo ordine
parte di calcolabilità e complessità:
*Equivalenza MT-multi-traccia e MT-singola-traccia
*Equivalenza MT-Multinastro e MT-singolo-nastro
*Equivalenza MTND e MT deterministiche
*Riduzione delle Macchine di Turing (2 teoremi)
*Macchina di Touring Elementari (2 teoremi)
*Macchina di Touring Universale (2 teoremi)
*Problema dell'halt (halting problem)
*Teoremi di Savitch
*Spazio computazionale
*Teorema di compressione lineare
*problema della soddisfacibiltà Sat
*teorema di Cook
*teorema della forma normale
*teorema di Rice
Sono questi quelli da portare?? |
