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
 Appello 29 gennaio
 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 2

pirata
Utente giovane


Regione: Puglia
Prov.: Bari


Inserito il - 26/01/2010 : 10:27:21  Mostra Profilo  Visita l'Homepage di pirata Invia a pirata un Messaggio Privato  Rispondi Quotando
Ciao a tutti,volevo chiedervi una cosa.Io ho seguito il corso dell'anno accademico 2008/09 e vorrei sapere se posso fare l'esame scritto del 29 seguendo il programma del veccchio anno accademico e non del nuovo.
Non c'è nessun altro studente dell'anno scorso che deve ancora fare l'esame?Se si,come si è organizzato?
Grazie

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 26/01/2010 : 15:14:26  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
Ciao, io ho fatto il laboratorio, ma devo fare lo scritto, il proff mi disse che possiamo fare l'esame fino a marzo. Poi dovremmo seguire il nuovo programma.
Se sei in dubbio cmq chiedi direttamente al proff. Lui da la certezza assoluta su tutto ovviamente




Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 26/01/2010 : 15:51:05  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
Citazione:
Messaggio inserito da Ivan86
il proff mi disse che possiamo fare l'esame fino a marzo. Poi dovremmo seguire il nuovo programma.
Se sei in dubbio cmq chiedi direttamente al proff. Lui da la certezza assoluta su tutto ovviamente



Confermo!
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 27/01/2010 : 11:20:15  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da Ivan86

Ciao, io ho fatto il laboratorio, ma devo fare lo scritto, il proff mi disse che possiamo fare l'esame fino a marzo. Poi dovremmo seguire il nuovo programma.
Se sei in dubbio cmq chiedi direttamente al proff. Lui da la certezza assoluta su tutto ovviamente



Confermo.
Abbiamo chiesto al professore.
fino a marzo è possibile sostenere l'appello con la vecchia modalità.
unica PRECAUZIONE:
AVVISATE IL PROF PRIMA DELL'ESAME DICENDO CHE INTENDETE SOSTENERE L'ESAME CON LA MODALITÀ 2008/2009

per piacere spargete la voce, se c'è qualcun'altro nella vostra situazione.

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 - 27/01/2010 : 12:07:12  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
ah.. ok

ma dici che dobbiamo mandargliela per forza?





Modificato da - Ivan86 in data 27/01/2010 12:13:20
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 27/01/2010 : 12:58:12  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da Ivan86

ah.. ok

ma dici che dobbiamo mandargliela per forza?


si, si l'ha detto lui.
AVVISATELO, perchè suppongo debba preparare le tracce diverse.
se nn lo avvisate lui prepara tutte le tracce di quest'anno.

spargete la voce.

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

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 27/01/2010 : 12:58:16  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
si, si l'ha detto lui.
AVVISATELO, perchè suppongo debba preparare le tracce diverse.
se nn lo avvisate lui prepara tutte le tracce di quest'anno.

spargete la voce.

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

priscill@84
Utente medio

priscilla



Inserito il - 27/01/2010 : 13:29:23  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
ma bisogna avvisare anche per la prova di laboratorio?? o solo per lo scritto??
Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 27/01/2010 : 13:32:45  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
non lo so, sembra che per il lab non sia cambiato nulla, tu mandagliela lo stesso, non si sa mai




Torna all'inizio della Pagina

frncscngr
Utente medio



Inserito il - 29/01/2010 : 14:50:36  Mostra Profilo  Visita l'Homepage di frncscngr Invia a frncscngr un Messaggio Privato  Rispondi Quotando
Chi ha svolto la prova di oggi 29 gennaio può postare gentilmente la traccia?
Torna all'inizio della Pagina

gianvix
Utente giovane



Inserito il - 29/01/2010 : 19:04:44  Mostra Profilo  Visita l'Homepage di gianvix Invia a gianvix un Messaggio Privato  Rispondi Quotando
1) Teorema di compattezza
2) Verificare che la formula è derivabile e se non lo è trovare un controesempio: AxEy(A(x,y) OR B(y)) -> AxEy(A(x,y) AND B(y))
3) Dimostrare la ricorsione sul decorso dei valori sulla funzione:
f(x,0) = 1
f(x,y+1) = f(x,y-1)+f(x,y-2).
Torna all'inizio della Pagina

w4nderlust
Utente medio

1411


Regione: Puglia
Prov.: Bari
Città: Bari


Inserito il - 29/01/2010 : 19:24:17  Mostra Profilo  Visita l'Homepage di w4nderlust  Clicca per vedere l'indirizzo MSN di w4nderlust Invia a w4nderlust un Messaggio Privato  Rispondi Quotando
Ragazzi ero un attimo distratto quando il prof ha parlato dei punteggi degli esercizi, quanto vale ognuno e da quanto si parte come punteggio base? grazie
Torna all'inizio della Pagina

gianvix
Utente giovane



Inserito il - 29/01/2010 : 19:27:10  Mostra Profilo  Visita l'Homepage di gianvix Invia a gianvix un Messaggio Privato  Rispondi Quotando
ha detto che valgono 5 punti il primo e il terzo esercizio e 3 punti il secondo.....supponendo si parta da 18 il max era 31 (30 e lode).
Torna all'inizio della Pagina

arcanum
Utente giovane



Inserito il - 01/02/2010 : 12:17:50  Mostra Profilo  Visita l'Homepage di arcanum Invia a arcanum un Messaggio Privato  Rispondi Quotando
Qualcuno può postare la traccia di laboratorio dell'ultimo appello?
Torna all'inizio della Pagina

Ivan86
Utente Capoeirista

capoeira


Regione: Puglia
Prov.: Bari
Città: Bitritto


Inserito il - 01/02/2010 : 14:04:39  Mostra Profilo  Visita l'Homepage di Ivan86 Invia a Ivan86 un Messaggio Privato  Rispondi Quotando
sta già nella sezione Magistrale download




Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 01/02/2010 : 16:02:50  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
Citazione:
Messaggio inserito da gianvix

1) Teorema di compattezza
2) Verificare che la formula è derivabile e se non lo è trovare un controesempio: AxEy(A(x,y) OR B(y)) -> AxEy(A(x,y) AND B(y))
3) Dimostrare la ricorsione sul decorso dei valori sulla funzione:
f(x,0) = 1
f(x,y+1) = f(x,y-1)+f(x,y-2).




E qual' era la traccia dello scritto relativa al programma d'esame dell'anno scorso (2008/09) ?
Torna all'inizio della Pagina

arcanum
Utente giovane



Inserito il - 02/02/2010 : 10:40:13  Mostra Profilo  Visita l'Homepage di arcanum Invia a arcanum un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da Ivan86

sta già nella sezione Magistrale download



Grazie!
Qualcuno può postare una soluzione?
Torna all'inizio della Pagina

pirata
Utente giovane


Regione: Puglia
Prov.: Bari


Inserito il - 02/02/2010 : 16:06:54  Mostra Profilo  Visita l'Homepage di pirata Invia a pirata un Messaggio Privato  Rispondi Quotando
Citazione:

E qual' era la traccia dello scritto relativa al programma d'esame dell'anno scorso (2008/09) ?


Io ho fatto l'esame con il programma dell'anno scorso,e la traccia era tale e quale....
Torna all'inizio della Pagina

priscill@84
Utente medio

priscilla



Inserito il - 02/02/2010 : 21:26:18  Mostra Profilo  Visita l'Homepage di priscill@84  Rispondi Quotando
ok, grazie!
Torna all'inizio della Pagina

leptica
Utente medio


Regione: Puglia
Prov.: Bari
Città: murgia parco


Inserito il - 03/02/2010 : 11:31:27  Mostra Profilo  Visita l'Homepage di leptica Invia a leptica un Messaggio Privato  Rispondi Quotando
la prima domanda: non era Teorema di compattezza ma coerenza del calcolo degli enunciati,
seconda domanda: per gli anni precedenti si doveva usare il tableaux o gentzen, per quest'anno risoluzione e (non o) Gentzen.
la terza uguale a tutti
Torna all'inizio della Pagina

Gabri
Moderatrice - Un'amica affezionata

PLATYPUS


Regione: Puglia
Prov.: Ba
Città: Trani


Inserito il - 03/02/2010 : 19:26:39  Mostra Profilo Invia a Gabri un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da leptica

la prima domanda: non era Teorema di compattezza ma coerenza del calcolo degli enunciati,
seconda domanda: per gli anni precedenti si doveva usare il tableaux o gentzen, per quest'anno risoluzione e (non o) Gentzen.
la terza uguale a tutti



ok grazie:D

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
Pagina: di 2 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,28 secondi.

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