Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > [Logica - Ghilardi] Appello 15 Giugno 2006
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
**Fabry**
.illuminato.

User info:
Registered: Apr 2003
Posts: 192 (0.02 al dì)
Location:
Corso: Informatica
Anno:
Time Online: 1 Day, 1:42:40 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
[Logica - Ghilardi] Appello 15 Giugno 2006

E' iniziato lo sprint finale per preparare l'appello del 15 giugno di Logica.
Riassumendo :

Ricerca Dimostrazioni : OK
Contromodelli : OK
Formalizzazione ragionamenti : OK

------------------------------------

Unificazione : OK
Skolemizzazioni : OK
DPLL : OK
Domande di teoria : OK

------------------------------------

Prolog : in fase di studio


Quasi pronti !!
A presto per tutte le info sull'esame :)
Ciao

31-05-2006 15:31
Click Here to See the Profile for **Fabry** Click here to Send **Fabry** a Private Message Find more posts by **Fabry** Add **Fabry** to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
**Fabry**
.illuminato.

User info:
Registered: Apr 2003
Posts: 192 (0.02 al dì)
Location:
Corso: Informatica
Anno:
Time Online: 1 Day, 1:42:40 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Siamo arrivati alla scena finale, speriamo che sia un lieto fine eheheh :)

Ricordo a tutti dove si terra' lo spettacolo :

Appello 15 giugno 2006: h 10:00, aula Beta, DSI - DICo, via Comelico 39

Buona fortuna a tutti, ci sentiamo presto per aggiornamenti :)

14-06-2006 11:04
Click Here to See the Profile for **Fabry** Click here to Send **Fabry** a Private Message Find more posts by **Fabry** Add **Fabry** to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
desrob
.fedelissimo.

User info:
Registered: May 2004
Posts: 55 (0.01 al dì)
Location:
Corso: informatica
Anno: terzo
Time Online: 1 Day, 6:49:59 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

sapete x caso quando , dove e se usciranno i risultati dell'appello del 15 giugno 06 ??
o se ce li diranno direttamente alla verbalizzazione il 23 ???

18-06-2006 17:57
Click Here to See the Profile for desrob Click here to Send desrob a Private Message Find more posts by desrob Add desrob to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
**Fabry**
.illuminato.

User info:
Registered: Apr 2003
Posts: 192 (0.02 al dì)
Location:
Corso: Informatica
Anno:
Time Online: 1 Day, 1:42:40 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Dal sito del Corso :
"Chi consegna lo scritto è tenuto poi a presentarsi alla correzione a vedere il proprio compito corretto (sia suff. sia insuff.). Chi non si presenta alla correzione/verbalizzazione, verrà considerato ritirato".

In una loro particolare visione del mondo, non mettono a disposizione i risultati fino al 23 cosi' che tutti siano costretti a presentarsi se vogliono sapere esattamente di che morte morire :sad:

Ciao, ci si vede il 23 :)

19-06-2006 08:54
Click Here to See the Profile for **Fabry** Click here to Send **Fabry** a Private Message Find more posts by **Fabry** Add **Fabry** to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
desrob
.fedelissimo.

User info:
Registered: May 2004
Posts: 55 (0.01 al dì)
Location:
Corso: informatica
Anno: terzo
Time Online: 1 Day, 6:49:59 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

...ma se io nn ho passato l'esame ke vado a fare lì ???
e poi potrebbero anke scrivere da qlke parte ke la visione del compito è il 23 e poi a ke ora ??
alla fine a ke ora si va ??
....potrebbero anke stancarsi un pò di meno a mettere qlke altra informazione in + ??!!

19-06-2006 11:19
Click Here to See the Profile for desrob Click here to Send desrob a Private Message Find more posts by desrob Add desrob to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
**Fabry**
.illuminato.

User info:
Registered: Apr 2003
Posts: 192 (0.02 al dì)
Location:
Corso: Informatica
Anno:
Time Online: 1 Day, 1:42:40 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

La correzione del compito e' venerdi 23 alle ore 14:00 nei loro uffici al secondo piano.
Si e' vero andare per niente se poi non passi non ha molto senso dal nostro punto di vista, per loro pero' e' un modo per non farti consegnare tutte le volte cercando solo di passare l'esame per tentativi :)

19-06-2006 17:02
Click Here to See the Profile for **Fabry** Click here to Send **Fabry** a Private Message Find more posts by **Fabry** Add **Fabry** to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
desrob
.fedelissimo.

User info:
Registered: May 2004
Posts: 55 (0.01 al dì)
Location:
Corso: informatica
Anno: terzo
Time Online: 1 Day, 6:49:59 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

...contenti loro, contenti TUTTI !!!
qesto esame mi sta deludendo sempre + !!!

19-06-2006 21:25
Click Here to See the Profile for desrob Click here to Send desrob a Private Message Find more posts by desrob Add desrob to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
poledrisk85
.arcimaestro.

User info:
Registered: Nov 2004
Posts: 355 (0.05 al dì)
Location: Roeselare
Corso: Informatica
Anno: Terzo (turno I)
Time Online: 5 Days, 17:03:20 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

soprattutto la sua utilità in termini pratici...

__________________
Het is allemaal naar de zak!!!

19-06-2006 23:11
Click Here to See the Profile for poledrisk85 Click here to Send poledrisk85 a Private Message Visit poledrisk85's homepage! Find more posts by poledrisk85 Add poledrisk85 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
desrob
.fedelissimo.

User info:
Registered: May 2004
Posts: 55 (0.01 al dì)
Location:
Corso: informatica
Anno: terzo
Time Online: 1 Day, 6:49:59 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

...nn ti senti completo ora ke sai kom'è fatto un albero di esecuzione di prolog ??
e ke se p=1 {not(p) or q } ti dà q=1 ????

20-06-2006 00:28
Click Here to See the Profile for desrob Click here to Send desrob a Private Message Find more posts by desrob Add desrob to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
poledrisk85
.arcimaestro.

User info:
Registered: Nov 2004
Posts: 355 (0.05 al dì)
Location: Roeselare
Corso: Informatica
Anno: Terzo (turno I)
Time Online: 5 Days, 17:03:20 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

entusiasmante..

__________________
Het is allemaal naar de zak!!!

20-06-2006 08:54
Click Here to See the Profile for poledrisk85 Click here to Send poledrisk85 a Private Message Visit poledrisk85's homepage! Find more posts by poledrisk85 Add poledrisk85 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 21:47.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.089 seconds (71.60% PHP - 28.40% MySQL) con 25 query.