Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Informatica teorica
 
Esame 14-06-2010
Clicca QUI per vedere il messaggio nel forum
sp1d3r
Apro un thread per quest'anno visto che nessuno l'ha ancora fatto.

Ho seguito le videolezioni però purtroppo alcune sono senza audio e una lezione non è stata neanche registrata.....

Qualcuno che ha seguito quest'anno e ha provato a vedere le vlez, ha notato molte differenze?

Per esempio ho visto che nelle vLez il prof non spiega la funzione di Ackerman che invece c'è nel syllabus di quest'anno... qualcuno sa dove la trovo... sulle dispense neanche sono riuscito a trovarla..

Qualsiasi altra info è bene accetta!

grazie
ciao

People
Ciao!
io ho saltato le ultime 5lezioni e stavo cercando di recuperarle..soltanto che ce ne sono 2 senza audio..

non riesco a capire queste parti sulle videolezioni\dispense:

-Le classi di funzioni FSPACE(g(n)) e FL=FSPACE(log n). Confronto tra classi di complessità.

- Problemi di difficile soluzione generale ma di facile "verificabilità", esempi: CNF-SAT, CLIQUE, algoritmi esaustivi per la loro soluzione[Senza Audio]


..Qualcuno ha gli appunti sulle lezioni del 21-24-25-26 Maggio?

sp1d3r
Ciao People,

ma nelle videolez\dispense io il 1° punto non l'ho trovato neanche...
(-Le classi di funzioni FSPACE(g(n)) e FL=FSPACE(log n). Confronto tra classi di complessità. )

magari se mi dici dove stai provando a studiarlo cosi magari ti rispondo

fammi sapere ciao

People
ciao!
ho sbagliato, volevo dire non riesco a trovarle....nel programma di quest anno ci sono xò...

People
e in + questa parte

Problemi di difficile soluzione generale ma di facile "verificabilità", esempi: CNF-SAT, CLIQUE, algoritmi esaustivi per la loro soluzione[Senza Audio]

è nella videolezione del 31-5-2005....senza audio...

sp1d3r
ciao People,

ti scrivo prima di andare a lavoro.
Ieri ho guardato la vlez 31.05 1a parte senza audio (che str... quello delle videlez) cmq quello che si puo intuire è che il prof spiega 2 algo il CNF-SAT e il circuito hamiltoniano mostrando gli algoritmi relativi ai problemi.
Non essendoci dimostrazioni ma solo descrizioni dei problemi con relativi algo secondo me basta semplicemente sapere la loro definizione per far vedere che sono algoritmi la cui soluzione è non polinomiale(es. trovare l'assegnamento in CNF-SAT e 2^n) quindi di difficile soluzione, mentre è chiaro che gli stessi problemi sono di facile verificabilità infatti si puo verificare l'esattezza del risultato trovato in tempo polinomiale.

Poi introduce la definizione dell' "algoritmo non deterministico" e poi riprende il discorso nelle vlez successiva...

io me la studio cosi, + di questo nn posso fare... (poi se c'è qualche anima pia che legge e ci allega le foto degli appunti di questa parte gli saremo molto grati)

l'altro punto del syllabus (FSPACE ...) nn ne ho proprio idea...

in bocca al lupo

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate