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 per le applicazioni] Appello
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 [Logica per le applicazioni] Appello

Venerdì proverò a contattare il Prof. Ghilardi per chiarire alcuni punti. Tuttavia provo ad elencarli di seguito sperando che qualcuno sappia già qualcosa in merito:

- Data appello gennaio?

- La parte svolta nelle videolezioni da Ranise relative ai metodi formali per la verifica di protocolli sono da fare?!?

- Per l'esame è necessario portare un problema già formalizzato magari prendendolo nella libreria TPTP nella sezione puzzle.
Non mi è chiaro però come sono scritti i problemi in questa libreria...qualcuno sa come vanno "interpretati"?
14-11-2007 13:17
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
46Bors46
- Dottore -

User info:
Registered: Mar 2004
Posts: 229 (0.03 al dì)
Location:
Corso: Ticom
Anno:
Time Online: 5 Days, 9:00:57 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Re: [Logica per le applicazioni] Appello

Per quanto riguarda la prima domanda

Originally posted by elpampero

- Data appello gennaio?



ti posso dire che al momento è stato fissato x il 31 gennaio come riportato qui

Delle altre cose che hai chiesto non so dirti nulla purtroppo :alsono:

Ciao!!!
14-11-2007 22:44
Click Here to See the Profile for 46Bors46 Click here to Send 46Bors46 a Private Message Find more posts by 46Bors46 Add 46Bors46 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
 vecchio calendario esami

l'allegato si riferisce all'anno 06/07, quest'anno è il 07/08 quindi secondo me il 31 gennaio non ci sarà l'esame, qualcuno si può informare meglio ???
04-12-2007 10:32
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
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

http://homes.dsi.unimi.it/~ghilardi...leg/app_ls.html
04-12-2007 10:46
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero 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

NOW IS CORRECT !!!
04-12-2007 10:53
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
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Sul SIFA ci sono due esami diversi :
Logica matematica
Logica per le applicazioni

A quale ci si deve iscrivere?
06-12-2007 13:53
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
yeah
.grande:maestro.

User info:
Registered: Nov 2003
Posts: 1644 (0.20 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Se sei di informatica a logica matematica (come da manifesto degli studi) :)

__________________
?
06-12-2007 15:43
Click Here to See the Profile for yeah Click here to Send yeah a Private Message Find more posts by yeah Add yeah to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!!
07-12-2007 12:54
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Simeon
:D

User info:
Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by yeah
Se sei di informatica a logica matematica (come da manifesto degli studi) :)


Ma logica matematica non e' l'appello della triennale?
07-12-2007 15:02
Click Here to See the Profile for Simeon Click here to Send Simeon a Private Message Find more posts by Simeon Add Simeon to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
yeah
.grande:maestro.

User info:
Registered: Nov 2003
Posts: 1644 (0.20 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Per la triennale sì :)
Hanno lo stesso nome (a meno che abbiano cambiato uno dei due dall'anno scorso a questo).

__________________
?
07-12-2007 17:15
Click Here to See the Profile for yeah Click here to Send yeah a Private Message Find more posts by yeah Add yeah to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Simeon
:D

User info:
Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by yeah
Per la triennale sì :)
Hanno lo stesso nome (a meno che abbiano cambiato uno dei due dall'anno scorso a questo).


Quindi l'unico appello che io vedo sul SIFA (Logica Matematica, 31 gennaio) e' relativo all'esame della triennale spero.
07-12-2007 17:32
Click Here to See the Profile for Simeon Click here to Send Simeon a Private Message Find more posts by Simeon Add Simeon to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by elpampero
Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!!


Mi rispondo da solo è la splits. In effetti è consigliabile inserire l'option -Splits=0
10-12-2007 12:54
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 11:40.    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.059 seconds (65.30% PHP - 34.70% MySQL) con 26 query.