Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 Magistrale - Primo Anno
 Metodi formali dell'Informatica
 Info sul corso
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
I seguenti utenti stanno leggendo questo Forum Qui c'è:
Pagina Precedente
Autore Discussione Precedente Discussione Discussione Successiva
Pagina: di 3

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 02/06/2009 : 18:43:22  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da ilcamerlengo

Dove posso trovare delle tracce per esercitarmi? Grazie.
Si sa qualcosa su quali possano essere gli esercizi? Su come verrà organizzata la prova?

Grazie mille a tutti.



dai un'occhiata qui:
http://www.laureateci.it/forum/topic.asp?TOPIC_ID=1839
ma non so a quando risalgono le tracce

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

informatica.magistrale.udu_AT_gmail.com
Torna all'inizio della Pagina

ilcamerlengo
Utente giovane



Inserito il - 02/06/2009 : 19:30:33  Mostra Profilo  Visita l'Homepage di ilcamerlengo Invia a ilcamerlengo un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da Gabri

Citazione:
Messaggio inserito da ilcamerlengo

Dove posso trovare delle tracce per esercitarmi? Grazie.
Si sa qualcosa su quali possano essere gli esercizi? Su come verrà organizzata la prova?

Grazie mille a tutti.



dai un'occhiata qui:
http://www.laureateci.it/forum/topic.asp?TOPIC_ID=1839
ma non so a quando risalgono le tracce



Grazie mille Gabri. :)
Torna all'inizio della Pagina

mkel
Utente medio



Inserito il - 25/06/2009 : 09:38:33  Mostra Profilo  Visita l'Homepage di mkel Invia a mkel un Messaggio Privato  Rispondi Quotando
Scusatemi ma per vari motivi non sono riuscito a seguire il corso e sto incontrando molte difficoltà nell'organizzare lo studio, qualcuno gentilmente potrebbe spiegarmi qual'è l'ordine delle dispense?

Grazie mille.
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 25/06/2009 : 18:38:04  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da mkel

Scusatemi ma per vari motivi non sono riuscito a seguire il corso e sto incontrando molte difficoltà nell'organizzare lo studio, qualcuno gentilmente potrebbe spiegarmi qual'è l'ordine delle dispense?

Grazie mille.



qui trovi tutti i riferimenti
http://informatica.di.uniba.it/laurea_magistrale/programmi1.php?id_insegn=1963

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

informatica.magistrale.udu_AT_gmail.com
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 03/07/2009 : 20:07:22  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
per quanto riguarda la parte delle funzioni ricorsive, da dove bisogna studiare??? solo da quei capitoli del Cutland e dai lucidi del prof,oppure c'è altro materiale di cui nn sono a conoscenza??...magari qualcosa che le approfondisce un po'...
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 03/07/2009 : 21:05:26  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
studiale dai suoi lucidi. lui chiede esattamente quelle.

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

informatica.magistrale.udu_AT_gmail.com
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 03/07/2009 : 21:28:41  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
ok,grazie!
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 08/07/2009 : 12:08:11  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
Qualcuno potrebbe gentilmente confermarmi se questi concetti sono stati fatti a lezione oppure no:
-Funzione universale
-Forma Normale Kleene
-2 Teorema del punto fisso o teorema di Kleene
Vedendo il programma sembrerebbe di no...me lo confermate??

Ringrazio in anticipo
Torna all'inizio della Pagina

rel
Utente assiduo

aa



Inserito il - 08/07/2009 : 13:16:37  Mostra Profilo  Visita l'Homepage di rel Invia a rel un Messaggio Privato  Rispondi Quotando
sono stati fatti eccome! trovi questi argomenti sul blocco scritto a mano da pani (quello che inizia con la "diagonalizzazione" per intenderci e di questo blocco, il punto fisso è proprio l'ultimo argomento da studiare). ciao
Torna all'inizio della Pagina

wiklex
Utente medio

Metal



Inserito il - 08/07/2009 : 15:02:37  Mostra Profilo  Visita l'Homepage di wiklex Invia a wiklex un Messaggio Privato  Rispondi Quotando
in effetti a lezione quegli argomenti sono stati trattati, ma sul programma non vi è traccia... chissà se è una dimenticanza oppure sta a significare che quegli argomenti non verranno chiesti all'esame

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)
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 08/07/2009 : 16:56:20  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
ok, grazie...ho scritto apposta, perchè essendo concetti importanti, mi sembrava strano nn ci fossero sul programma
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 10/07/2009 : 22:51:13  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
mi serve un aiuto :( ...qualcuno mi saprebbe dire come si fa questo esercizio??

"usando il metodo del controesempio provare che la seguente formula non è derivabile e costruire un controesempio (( A->B) ->(B->C))->(B->A) "

Sono stati fatti esercizi di logica durante le lezioni? se si, qualcuno di buon cuore,se ha un attimo di tempo, potrebbe metterli a disposizione?
Torna all'inizio della Pagina

wiklex
Utente medio

Metal



Inserito il - 11/07/2009 : 12:12:56  Mostra Profilo  Visita l'Homepage di wiklex Invia a wiklex un Messaggio Privato  Rispondi Quotando
ho fatto una scansione veloce degli esercizi che ho ricopiato in classe, se qualcuno ne ha degli altri li mettesse pure ;)



Allegato: controesempio.zip
522,3 KB

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)
Torna all'inizio della Pagina

wiklex
Utente medio

Metal



Inserito il - 11/07/2009 : 12:15:28  Mostra Profilo  Visita l'Homepage di wiklex Invia a wiklex un Messaggio Privato  Rispondi Quotando
vi chiedo una cosa. Sul programma il professore ha riportato tre volte i teoremi di validità e di completezza, una volta alla fine del calcolo predicativo, poi alla fine dei tableaux e dopo i sistemi di Gentzen.

Qualcuno ha degli appunti chiari su questo? Grazie

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)
Torna all'inizio della Pagina

wiklex
Utente medio

Metal



Inserito il - 14/07/2009 : 16:59:08  Mostra Profilo  Visita l'Homepage di wiklex Invia a wiklex un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da priscill@84

mi serve un aiuto :( ...qualcuno mi saprebbe dire come si fa questo esercizio??

"usando il metodo del controesempio provare che la seguente formula non è derivabile e costruire un controesempio (( A->B) ->(B->C))->(B->A) "




Qualcuno lo ha svolto? io c'ho provato ma mi sono ingarbugliato, avrei bisogno di un aiuto

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)
Torna all'inizio della Pagina
Pagina: di 3 Discussione Precedente Discussione Discussione Successiva  
Pagina Precedente
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
Vai a:
Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,45 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000