| V I S U A L I Z Z A D I S C U S S I O N E |
| Ivan86 |
Inserito il - 08/01/2009 : 13:25:55
Ciao a tutti i colleghi.
Mi sono iscritto a dicembre e purtroppo non ho seguito per niente Metofi formali...
Mi potreste dire:
1. cosa ha detto il proff in merito alla prima parte del corso?
2. se è stato fissato l'esonero di febbraio?e cosa ci sarà.. esercizi e/o teoria)
3. se bastano le dispense messe sul sito?
4. le lezioni riprendono lunedi?
grazie mille |
| 20 U L T I M E R I S P O S T E (in alto le più recenti) |
| wiklex |
Inserito il - 14/07/2009 : 16:59:08
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 |
| wiklex |
Inserito il - 11/07/2009 : 12:15:28
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 |
| wiklex |
Inserito il - 11/07/2009 : 12:12:56
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 |
| priscill@84 |
Inserito il - 10/07/2009 : 22:51:13
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? |
| priscill@84 |
Inserito il - 08/07/2009 : 16:56:20
ok, grazie...ho scritto apposta, perchè essendo concetti importanti, mi sembrava strano nn ci fossero sul programma |
| wiklex |
Inserito il - 08/07/2009 : 15:02:37
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 |
| rel |
Inserito il - 08/07/2009 : 13:16:37
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 |
| priscill@84 |
Inserito il - 08/07/2009 : 12:08:11
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 |
| priscill@84 |
Inserito il - 03/07/2009 : 21:28:41
ok,grazie! |
| Gabri |
Inserito il - 03/07/2009 : 21:05:26
studiale dai suoi lucidi. lui chiede esattamente quelle. |
| priscill@84 |
Inserito il - 03/07/2009 : 20:07:22
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'... |
| Gabri |
Inserito il - 25/06/2009 : 18:38:04
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 |
| mkel |
Inserito il - 25/06/2009 : 09:38:33
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. |
| ilcamerlengo |
Inserito il - 02/06/2009 : 19:30:33
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. :) |
| Gabri |
Inserito il - 02/06/2009 : 18:43:22
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 |
| ilcamerlengo |
Inserito il - 02/06/2009 : 18:02:25
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. |
| Silent killer |
Inserito il - 02/06/2009 : 11:45:42
grazie pr le risposte ;) |
| wiklex |
Inserito il - 02/06/2009 : 11:15:15
Se hai seguito le lezioni non molto... tra laboratorio e scritto io penso che con due settimane di buono studio si superi con un buon voto. |
| Gabri |
Inserito il - 02/06/2009 : 11:13:37
essendo un esame da 12 crediti penso che ci voglia un pò a studiarlo. le cose spiegate sono abbastanza. |
| Silent killer |
Inserito il - 02/06/2009 : 02:40:31
quanto tempo serve secondo voi per preparare questo esame? |
