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 Successiva
Autore Discussione Precedente Discussione Discussione Successiva
Pagina: di 3

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 08/01/2009 : 13:25:55  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
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

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 08/01/2009 : 15:34:18  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

oldboy
Utente medio



Inserito il - 08/01/2009 : 20:40:36  Mostra Profilo  Visita l'Homepage di oldboy Invia a oldboy un Messaggio Privato  Rispondi Quotando

Io so che al primo esonero ci sarà Linux
Torna all'inizio della Pagina

peano
Utente medio

Prov.: Bari


Inserito il - 08/01/2009 : 23:06:16  Mostra Profilo  Visita l'Homepage di peano Invia a peano un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da oldboy


Io so che al primo esonero ci sarà Linux



se...nemmeno abbiamo fatto logica, figurati se ci sarà linux.
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 09/01/2009 : 12:14:50  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando

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

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 10/01/2009 : 12:51:48  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
grazie per le info ;)




Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 12/01/2009 : 16:48:52  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
oggi non c'è stata lezione vero?
se si.. ma quando si inizia?




Torna all'inizio della Pagina

peano
Utente medio

Prov.: Bari


Inserito il - 12/01/2009 : 19:44:45  Mostra Profilo  Visita l'Homepage di peano Invia a peano un Messaggio Privato  Rispondi Quotando
eh ivan :D il prof viene il 19 gennaio..
Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 14/01/2009 : 10:26:35  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
ok ;)
Qualcuno ha seguito le prime lezioni?
fino a che capitolo è arrivato il proff? cosi ritorno al passo

grazie :)




Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 18/01/2009 : 20:40:56  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

rel
Utente assiduo

aa



Inserito il - 18/01/2009 : 22:42:20  Mostra Profilo  Visita l'Homepage di rel Invia a rel un Messaggio Privato  Rispondi Quotando
ore 15 o ore 16? (giusto per farvi venire il dubbio...)
Torna all'inizio della Pagina

peano
Utente medio

Prov.: Bari


Inserito il - 19/01/2009 : 10:45:25  Mostra Profilo  Visita l'Homepage di peano Invia a peano un Messaggio Privato  Rispondi Quotando
oppure nn c'è?

secondo me è alle 15..cm sempre :)
Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 19/01/2009 : 13:22:29  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
ci sarà Pani a quanto pare




Torna all'inizio della Pagina

wiklex
Utente medio

Metal



Inserito il - 19/01/2009 : 18:05:45  Mostra Profilo  Visita l'Homepage di wiklex Invia a wiklex un Messaggio Privato  Rispondi Quotando
A che ora è la lezione domani?... sbaglio o Pani ha detto: ci vediamo alle 13...

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

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 19/01/2009 : 19:29:53  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

oldboy
Utente medio



Inserito il - 19/01/2009 : 21:09:24  Mostra Profilo  Visita l'Homepage di oldboy Invia a oldboy un Messaggio Privato  Rispondi Quotando

Mah, finalmente....

Modificato da - oldboy in data 19/01/2009 21:11:23
Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 21/01/2009 : 10:52:16  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
si il libro si chiama Cutland.
Non ricordavo di aver sentito parlare dell'esonero per noi di quest'anno..
me meglio cosi...




Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 21/01/2009 : 19:14:02  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

spaccim
Nuovo Utente



Inserito il - 01/02/2009 : 11:33:25  Mostra Profilo  Visita l'Homepage di spaccim Invia a spaccim un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

pepsianomala
Utente giovane


Regione: Puglia
Prov.: Taranto
Città: Taranto


Inserito il - 01/02/2009 : 11:53:20  Mostra Profilo  Visita l'Homepage di pepsianomala  Clicca per vedere l'indirizzo MSN di pepsianomala Invia a pepsianomala un Messaggio Privato  Rispondi Quotando
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
Torna all'inizio della Pagina

vampire
Utente medio

0425_da_Leo

Città: Bari


Inserito il - 03/02/2009 : 19:52:19  Mostra Profilo  Visita l'Homepage di vampire Invia a vampire un Messaggio Privato  Rispondi Quotando
Ragazzi qualcuno può dirmi cosa ha fatto il prof. Pani oggi a lezione?
Torna all'inizio della Pagina
Pagina: di 3 Discussione Precedente Discussione Discussione Successiva  
Pagina Successiva
 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,3 secondi.

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