La Community degli studenti di Ingegneria Informatica di Napoli


Utenti:12809  (Ultimo: MaryIvory)
Attualmente On-Line: 131
Totale Pagine Viste: 78829788

Numero di Downloads: 939423
Numero di Posts nel Forum: 273467
Totale News: 1795



Nickname    Password      (Registrati QUI)
Oggi, 24 Mar 2019 02:35:09   (server time)


.::Menu del Sito

 Home Page
 Cerca nel FORUM
 Statistiche
 Elenco Utenti
 Scrivi allo staff
 Links
 INFORMAZIONI
 FAQ
 Calendario Eventi
 News
 Archivio News
 Invia News
 Argomenti
 COMMUNITY
 Forums
 Trovamici
 CHAT IRC
 Chi segue i Corsi?
 APPUNTI
 Downloads
 UTENTE
 Pannello Personale
 Messaggi Privati
 ALTRO
 Annunci Economici
 Cruciverba On Line

 UNIVERSITA'
 Federico II
 Sito Docenti
 Facoltà di Ingegneria
 Ingegneria Informatica
 Bacheca Esami
 ESIS - Chiosco Servizi
 Campus Unina
 Elenco Telefonico Unina
 Biblioteca ingegneria
 Biblioteche Unina
 DIS - (Inf. - Sist.)
 Prisma Lab
 Elettrotecnica
 Mobilab
 Diet - (Elettr. - Telec)
 SincroLAB
 RADIO F2
 ADISU (diritto allo studio)
 Banca dati Laureati
 Wikipedia - Federico II

.::Chat Offline

Purtroppo per l''ennesimo problema di hosting la chat è temporaneamente disabilitata, mi scuso per i disagi e provvederò a breve ad un ripristino/sostituzione
grazie
PeX

  
Quelli Di Informatica: Forums

Quelli di Informatica :: Leggi il Topic - [Metodi Formali] INFO esame e corso con la Prof. Vittorini
 FAQFAQ   CercaCerca   Gruppi utentiGruppi utenti   ProfiloProfilo   Messaggi PrivatiMessaggi Privati   LoginLogin 

[Metodi Formali] INFO esame e corso con la Prof. Vittorini

 
Nuovo Topic   Rispondi    Indice del forum -> Metodi formali per il software ed i servizi
Precedente :: Successivo  
Autore Messaggio
paoluccio
quello impossibile
quello impossibile

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 815
Registrato: Mar 23, 2005

MessaggioInviato: Dom 07 Lug, 2013 - 10:16    Oggetto: [Metodi Formali] INFO esame e corso con la Prof. Vittorini Rispondi citando

Ciao ragazzi,

I messaggi "lunghi" sono di solito meno letti. Leggetelo lo stesso please. Fico

purtroppo non ho avuto la possibilità di seguire questo corso che si è tenuto quest'anno. Qualcuno che, invece, ha seguito regolarmente può dirmi qualcosa riguardo l'esame (difficoltà argomenti, vastità programma, se si può sotenere l'esame pur non avendo seguito senza particolari difficoltà, se vi sono sw particolari da utilizzare, etc.).

Inoltre la Prof. Vittorini ha assegnato a ciascun gruppo degli elaborati. Non capisco, però, cosa significhino quelle sigle (ad es. PN01/MC04).

Se c'è qualcuno che ha sostenuto l'esame, come è andata? Impressioni?

Grazie.
ciao
_________________
http://video.libero.it/app/play/index.html?id=e3508c4148205bd1e3d9a5229fa67ebb
Torna in cima
Profilo Messaggio privato Invia email
saimond87
Quello autore di libri
Quello autore di libri

Corso: III Anno (A-I)

Attualmente è: Offline
Messaggi: 172
Registrato: Dec 13, 2007

MessaggioInviato: Sab 13 Lug, 2013 - 17:33    Oggetto: Rispondi citando

qualcuno ha sostenuto l'esame?'???
Torna in cima
Profilo Messaggio privato
paoluccio
quello impossibile
quello impossibile

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 815
Registrato: Mar 23, 2005

MessaggioInviato: Sab 20 Lug, 2013 - 08:41    Oggetto: Rispondi citando

Mi raccomnado, non rispondeteci...

A noi piace fare domande così ... senza un motivo particolare.
_________________
http://video.libero.it/app/play/index.html?id=e3508c4148205bd1e3d9a5229fa67ebb
Torna in cima
Profilo Messaggio privato Invia email
franz87
quello con le dita consumate
quello con le dita consumate

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 380
Registrato: Mar 05, 2007

MessaggioInviato: Sab 20 Lug, 2013 - 08:50    Oggetto: Rispondi citando

L'esame di per sè è molto piccolo, il programma si studia in un giorno XD
Il problema sono le tesine che non si sa da dove partire e i tool che si devono utilizzare crashano continuamente.
PN significa Reti di Petri e corrisponde alla prima metà del corso, mentre MC è il Model Checking.
Ancora non l'ho fatto l'esame Neutrale
Torna in cima
Profilo Messaggio privato
paoluccio
quello impossibile
quello impossibile

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 815
Registrato: Mar 23, 2005

MessaggioInviato: Sab 20 Lug, 2013 - 10:10    Oggetto: Rispondi citando

franz87 ha scritto:
L'esame di per sè è molto piccolo, il programma si studia in un giorno XD
Il problema sono le tesine che non si sa da dove partire e i tool che si devono utilizzare crashano continuamente.
PN significa Reti di Petri e corrisponde alla prima metà del corso, mentre MC è il Model Checking.
Ancora non l'ho fatto l'esame Neutrale


Grazie Franz,
sei stato molto gentile.

Buona giornata occhiolino
_________________
http://video.libero.it/app/play/index.html?id=e3508c4148205bd1e3d9a5229fa67ebb
Torna in cima
Profilo Messaggio privato Invia email
paoluccio
quello impossibile
quello impossibile

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 815
Registrato: Mar 23, 2005

MessaggioInviato: Mer 23 Ott, 2013 - 18:31    Oggetto: Rispondi citando

saimond87 ha scritto:
qualcuno ha sostenuto l'esame?'???

Chi ha sostenuto l'esame stamattina può, gentilmente, dire in cosa è consistito? Traccia?

Grazie.
ciao
_________________
http://video.libero.it/app/play/index.html?id=e3508c4148205bd1e3d9a5229fa67ebb
Torna in cima
Profilo Messaggio privato Invia email
VinoBuono
Quello autore di libri
Quello autore di libri

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 175
Registrato: May 17, 2005

MessaggioInviato: Sab 26 Ott, 2013 - 12:11    Oggetto: Rispondi citando

Non ci sono tracce, l'esame è solo orale. Non l'ho fatto in quest'ultimo appello ma a luglio, ma credo sia la stessa cosa.

L'esame si fa in gruppo. Si inizia con la discussione dei due esercizi della tesina, su cui saranno la maggior parte delle domande. Poi per ogni membro del gruppo farà al massimo un paio di domande di teoria, che possono essere su qualsiasi argomento delle slide, tranne mi è sembrato sugli argomenti iniziali che hanno a che fare con la reliability.

I voti tendono ad essere alti, ma diciamo che la differenza tra un 28 e un 30 la fa più l'umore e la simpatia della prof in quel momento, che la preparazione.
Torna in cima
Profilo Messaggio privato MSN Messenger
nana
Quello Best Of Forum
Quello Best Of Forum

Corso: I Anno (A-Da)

Attualmente è: Offline
Messaggi: 113
Registrato: Oct 01, 2004

MessaggioInviato: Mar 29 Ott, 2013 - 10:38    Oggetto: Rispondi citando

Qualcuno potrebbe postare il materiale (slide ecc.....) grazie!
Torna in cima
Profilo Messaggio privato
paoluccio
quello impossibile
quello impossibile

Corso: I Anno Specialistica

Attualmente è: Offline
Messaggi: 815
Registrato: Mar 23, 2005

MessaggioInviato: Sab 09 Nov, 2013 - 08:50    Oggetto: Rispondi citando

nana ha scritto:
Qualcuno potrebbe postare il materiale (slide ecc.....) grazie!

trovi tutto sul sito della Prof Vittorini
ciao
_________________
http://video.libero.it/app/play/index.html?id=e3508c4148205bd1e3d9a5229fa67ebb
Torna in cima
Profilo Messaggio privato Invia email
giorgiob
Quello Avanzato
Quello Avanzato

Corso: I Anno (A-Da)

Attualmente è: Offline
Messaggi: 20
Registrato: Jun 01, 2009

MessaggioInviato: Lun 21 Nov, 2016 - 01:58    Oggetto: [ Metodi Formali 3 CFU] Rispondi citando

Ragazzi riesumo questo post per saperne di più dell'esame suddetto.. Sapete cosa fare per le tesine? Consigli in generale su come prepararsi per fare questo esame ?? Smile)
Torna in cima
Profilo Messaggio privato Invia email MSN Messenger
Mostra prima i messaggi di:   
Nuovo Topic   Rispondi    Indice del forum -> Metodi formali per il software ed i servizi Tutti i fusi orari sono GMT + 1 ora
Pagina 1 di 1

 
Vai a:  
Non puoi inserire nuovi Topic in questo forum
Non puoi rispondere ai Topic in questo forum
Non puoi modificare i tuoi messaggi in questo forum
Non puoi cancellare i tuoi messaggi in questo forum
Non puoi votare nei sondaggi in questo forum
Idea, website e amministrazione by PeXPeX
Il materiale nel sito è disponibile GRATUITAMENTE e non può essere connesso a nessuna attività economica o LUCRATIVA
Sito sviluppato in PHP sulla base del CMS PHP-Nuke. Su licenza GPL/GNU Best View 1024*768