Forum by laureateci.it - Elenco dei teoremi corso 2010/11

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Primo Anno

Metodi formali dell'Informatica

Elenco dei teoremi corso 2010/11

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

er
Nuovo Utente

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..

er
Nuovo Utente

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??

freddy
Nuovo Utente

Inserito il - 13/01/2011 : 16:38:31

sono tantissimi e ne mancano anche altri!!!! ma solo teoremi ci sono nell'appello?

er
Nuovo Utente

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
Nuovo Utente

Inserito il - 13/01/2011 : 16:55:26

quali sarebbero la prima e la seconda parte?

er
Nuovo Utente

Inserito il - 13/01/2011 : 17:00:15

La prima parte è quella di logica.. la seconda è quella di calcolabilità e macchine di Turing!!!!

freddy
Nuovo Utente

Inserito il - 13/01/2011 : 17:02:27

che esercizi ci sono sulla seconda parte????

er
Nuovo Utente

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
Nuovo Utente

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
Nuovo Utente

Inserito il - 13/01/2011 : 17:26:22

si credo di si..

t_l_b
Utente medio

Regione: Puglia
Prov.: Bari
Città: Corato

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/

"Se ci capita per le mani qualche volume, per esempio, di teologia o metafisica scolastica,domandiamoci: Contiene qualche ragionamento sperimentale su questioni di fatto e di esperienza? No. E allora gettiamolo nel fuoco, perchè non contiene che sofisticherie e inganni. " [David Hume]

Modificato da - t_l_b in data 17/01/2011 12:21:15

Discussione

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,27 secondi.