Autore |
Discussione  |
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
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
|



 |
Modificato da - Ivan86 in Data 08/01/2009 13:26:54
|
|
Gabri
Moderatrice - Un'amica affezionata
   

Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 08/01/2009 : 15:34:18
|
le lezioni di metodi formali riprendono lunedi alle ore 15 come al solito (era alle 15?? nnon mi ricordo) Il professor Caporaso per venire incontro a chi come te si è iscritto a Dicembre ha fatto in modo di non andare molto oltre col programma, infatti se non sbaglio dovremmo aver fatto solo 4 o 6 lezioni di Logica. Non è stato ancora detto quando sarà l'esonero, cmq sarà dopo la fine delle lezioni... immagino... Le dispense delle lezioni sono disponibili sulla home page del prof, mentre le info relative alle lezioni di batch sono disponibili a questo indirizzo: www.di.uniba.it/~hixos ma non dovrebbero servire per il primo semestre, a meno che non voglia apoprofondire la tua conoscenza di Linux.
|
rappresentante corso di laurea in informatica MAGISTRALE rappresentante per la FACOLTA' di SCIENZE MM.FF.NN. lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
oldboy
Utente medio
 
|
Inserito il - 08/01/2009 : 20:40:36
|
Io so che al primo esonero ci sarà Linux |
 |
|
peano
Utente medio
 
Prov.: Bari
|
Inserito il - 08/01/2009 : 23:06:16
|
Citazione: Messaggio inserito da oldboy
Io so che al primo esonero ci sarà Linux
se...nemmeno abbiamo fatto logica, figurati se ci sarà linux. |
 |
|
Gabri
Moderatrice - Un'amica affezionata
   

Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 09/01/2009 : 12:14:50
|
L'insegnamento di Metodi Formali dell'Informatica per la laurea magistrale si articolera' nel 2008-9 in due moduli
A. Logica matematica, 4CFU, I semestre. Esonero al termine del semestre, intorno al 15 febbraio
B. Teoria della calcolablita' e cultura Unix, 8CFU, II semestre.
fonte: http://www.di.uniba.it/~scaporaso/ |
rappresentante corso di laurea in informatica MAGISTRALE rappresentante per la FACOLTA' di SCIENZE MM.FF.NN. lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 10/01/2009 : 12:51:48
|
grazie per le info ;) |



 |
 |
|
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 12/01/2009 : 16:48:52
|
oggi non c'è stata lezione vero? se si.. ma quando si inizia? |



 |
 |
|
peano
Utente medio
 
Prov.: Bari
|
Inserito il - 12/01/2009 : 19:44:45
|
eh ivan :D il prof viene il 19 gennaio.. |
 |
|
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 14/01/2009 : 10:26:35
|
ok ;) Qualcuno ha seguito le prime lezioni? fino a che capitolo è arrivato il proff? cosi ritorno al passo
grazie :) |



 |
 |
|
Gabri
Moderatrice - Un'amica affezionata
   

Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 18/01/2009 : 20:40:56
|
quindi domani ora 15 lezione del prof Caporaso di logica. |
rappresentante corso di laurea in informatica MAGISTRALE rappresentante per la FACOLTA' di SCIENZE MM.FF.NN. lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
rel
Utente assiduo
  

|
Inserito il - 18/01/2009 : 22:42:20
|
ore 15 o ore 16? (giusto per farvi venire il dubbio...)  |
 |
|
peano
Utente medio
 
Prov.: Bari
|
Inserito il - 19/01/2009 : 10:45:25
|
oppure nn c'è?
secondo me è alle 15..cm sempre :) |
 |
|
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 19/01/2009 : 13:22:29
|
ci sarà Pani a quanto pare
|



 |
 |
|
wiklex
Utente medio
 

|
|
Gabri
Moderatrice - Un'amica affezionata
   

Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 19/01/2009 : 19:29:53
|
Oggi è venuto il prof Pani. sarà lui a tenere il corso di metodi formali.
ha cominciato a spiegare da zero, poichè il suo programma non coincideva con quello del prof Caporaso. ha detto che poichè quasi sicuramente non riusciremo a finire la parte di Logica nelle prossime 5 lezioni prima della pausa per gli appelli, continuerà a spiegare nel II semestre e ci "avviserà lui" quando sarà finita la parte di Logica e dovremo fare l'esame da 4 crediti (chi deve fare l'integrazione) o l'esonero chi è di quest'anno.
ha detto che seguirà 2 capitoli del libro... Cutland...:| non so bene come si chiama!!:D che metterà sul suo sito le dispense, ma di studiare dal libro:D e che sul suo sito è disponibile (c'è gia) un interprete per URM con cui esercitarci.
la parte di esercitazioni la terrà... non mi ricordo come si chiama, l'assistente di Caporaso se non mi sbaglio.
penso che sia tutto:) |
rappresentante corso di laurea in informatica MAGISTRALE rappresentante per la FACOLTA' di SCIENZE MM.FF.NN. lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
oldboy
Utente medio
 
|
Inserito il - 19/01/2009 : 21:09:24
|
Mah, finalmente.... |
Modificato da - oldboy in data 19/01/2009 21:11:23 |
 |
|
Ivan86
Utente Capoeirista
 

Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 21/01/2009 : 10:52:16
|
si il libro si chiama Cutland. Non ricordavo di aver sentito parlare dell'esonero per noi di quest'anno.. me meglio cosi... |



 |
 |
|
Gabri
Moderatrice - Un'amica affezionata
   

Regione: Puglia
Prov.: Ba
Città: Trani
|
Inserito il - 21/01/2009 : 19:14:02
|
si abbiamo chiesto durante la pausa, o alla fine, non mi ricordo. cmq abbiamo chiesto. |
rappresentante corso di laurea in informatica MAGISTRALE rappresentante per la FACOLTA' di SCIENZE MM.FF.NN. lista LINK
informatica.magistrale.udu_AT_gmail.com
|
 |
|
spaccim
Nuovo Utente
|
Inserito il - 01/02/2009 : 11:33:25
|
Scusatemi, non ho potuto frequentare le lezioni di Metodi (coincidono con esami del secondo anno) e dovrei sostenere l'esame integrativo. Io sono rimasto al fatto che si sarebbe stato un esonero su una dispensa di 30 pagine circa di logica. Da quello che ho capito ora il prof con cui fare l'integrazione è Pani. A questo punto però non ho ben chiaro qual'è il programma di questa integrazione. Solo la parte di logica o anche tutto il materiale che sta sul sito (lucidi, URM, Macchine di Turing)? Grazie |
 |
|
pepsianomala
Utente giovane

Regione: Puglia
Prov.: Taranto
Città: Taranto
|
Inserito il - 01/02/2009 : 11:53:20
|
Citazione: Messaggio inserito da spaccim
Scusatemi, non ho potuto frequentare le lezioni di Metodi (coincidono con esami del secondo anno) e dovrei sostenere l'esame integrativo. Io sono rimasto al fatto che si sarebbe stato un esonero su una dispensa di 30 pagine circa di logica. Da quello che ho capito ora il prof con cui fare l'integrazione è Pani. A questo punto però non ho ben chiaro qual'è il programma di questa integrazione. Solo la parte di logica o anche tutto il materiale che sta sul sito (lucidi, URM, Macchine di Turing)? Grazie
Il professor Pani spiegò a lezione quale sarrebbe stata la modalità per coloro che dovevano fare l'integrazione. Se non ricordo male la prova verterà su una macchina di Turing in laboratorio e due domande di teoria (credo una su turing e una sulle urm). Ti consiglio comunque per info più dettagliate e sicuramente più corrette di contattare direttamente il prof. Pani. |
rappresentante corso di laurea in informatica MAGISTRALE lista UDU |
 |
|
vampire
Utente medio
 

Città: Bari
|
Inserito il - 03/02/2009 : 19:52:19
|
Ragazzi qualcuno può dirmi cosa ha fatto il prof. Pani oggi a lezione? |
 |
|
Discussione  |
|