 |
 GHIRUS_73 |
| Lfa 18 Aprile 05 |
13-04-2005 16:10 |
|
 |
GHIRUS_73 |
.novellino.
Registered: Sep 2002
Posts: 5 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 23:13:26 [...]
Status: Offline
Edit | Report | IP: Logged |
 Lfa 18 Aprile 05
Qualcuno sa quali sono gli argomenti più importanti da conoscere per LFA?
le Dimostrazioni sono da fare oppure no o solo alcune?
Difficoltà dell'esame?
Datemi qualche idea.
Grazie
|
|
13-04-2005 16:10 |
|
|
| |
|
| ghily |
| Re: Lfa 18 Aprile 05 |
13-04-2005 17:20 |
|
|
ghily |
rozzettino
Registered: Jul 2003
Posts: 718 (0.09 al dì)
Location: Settimo
Corso: Informatica spec
Anno: 2
Time Online: 13 Days, 1:05:36 [...]
Status: Offline
Edit | Report | IP: Logged |
Re: Lfa 18 Aprile 05
Originally posted by GHIRUS_73
Qualcuno sa quali sono gli argomenti più importanti da conoscere per LFA?
le Dimostrazioni sono da fare oppure no o solo alcune?
Difficoltà dell'esame?
Datemi qualche idea.
Grazie
Tutte le dispense.Le domande coprono tutto il programma quindi ti conviene studiare (e capire) un po' tutto.Non è tanto e in una settimana io lo avevo preaprato.
Chao
Roby
__________________
------------------------------------------------------------------------
O siamo capaci di sconfiggere le idee contrarie con la discussione, o dobbiamo lasciarle esprimere. Non è possibile sconfiggere le idee con la forza, perchè questo blocca il libero sviluppo dell'intelligenza
(Ernesto Che Guevara)
------------------------------------------------------------------------
|
|
13-04-2005 17:20 |
|
|
| |
|
| Skilotto83 |
| qualcuno si ricorda in che posizione era per l'app ... |
17-04-2005 20:26 |
|
|
Skilotto83 |
..Energia positiva...
Registered: Jun 2003
Posts: 1608 (0.21 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline
Edit | Report | IP: Logged |
qualcuno si ricorda in che posizione era per l'appello??
Io ero in posizione 23...qualcuno ha posizioni successive??
Giusto per sapere se c'è la vaga possibilità di farlo tra 2-3 giorni e non domani....
Mi sa che 20 persone riesce a farle tranquillamente, ma se siamo un 30ina ci divide in due date differenti...
__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)
MSN andrea.poretti(at)hotmail.it
|
|
17-04-2005 20:26 |
|
|
| |
|
| Skilotto83 |
| mi stavo chiedendo...qualcuno avra' voglia di darm ... |
21-04-2005 20:37 |
|
|
Skilotto83 |
..Energia positiva...
Registered: Jun 2003
Posts: 1608 (0.21 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline
Edit | Report | IP: Logged |
mi stavo chiedendo...qualcuno avra' voglia di darmi una mano per una cosa di LFA....??
Proviamo...
Ma il fatto che un linguaggio ammetta calcolo logico solo se è ricorsivamente numerabile nn lo capisco....
Tutto si basa sul fatto che posso scrivere una procedura che non termina se la dimostrazione di un affermazione nn esiste??
Perchè allora posso anche scrivere una procedura che restituisce 1 se d è dimostrazione di f e 0 se d nn è dimostrazione di f...no??
Non capisco...
Qulakuno mi da' una mano??
e in piu'...
ma dalla proposizione 5.1 a pag 17...dopo le trasformazioni dove cazzo spunta la regola A->B che va eliminata???
__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)
MSN andrea.poretti(at)hotmail.it
Last edited by Skilotto83 on 21-04-2005 at 20:48
|
|
21-04-2005 20:37 |
|
|
| |
|
| khelidan |
| [QUOTE][i]Originally posted by Skilotto83 [/i]
... |
22-04-2005 11:23 |
|
|
khelidan |
.grande:maestro.
Registered: Jun 2003
Posts: 1196 (0.16 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Skilotto83
mi stavo chiedendo...qualcuno avra' voglia di darmi una mano per una cosa di LFA....??
Proviamo...
Ma il fatto che un linguaggio ammetta calcolo logico solo se è ricorsivamente numerabile nn lo capisco....
Tutto si basa sul fatto che posso scrivere una procedura che non termina se la dimostrazione di un affermazione nn esiste??
Perchè allora posso anche scrivere una procedura che restituisce 1 se d è dimostrazione di f e 0 se d nn è dimostrazione di f...no??
Non capisco...
Qulakuno mi da' una mano??
e in piu'...
ma dalla proposizione 5.1 a pag 17...dopo le trasformazioni dove cazzo spunta la regola A->B che va eliminata???
1-Perche le grammatiche sono sistemi formali per esprimere i calcoli logici e i solo linguaggi generati da grammatiche sono i ricorsivamente numerabili(e dunque pure i ricorsivi),ecco perche solo quel tipo di linguaggio ammette calcolo logico!
per la seconda domanda me lo sono chiesto pure io!
__________________
Khelidan
|
|
22-04-2005 11:23 |
|
|
| |
|
| Skilotto83 |
| [QUOTE][i]Originally posted by khelidan [/i]
... |
23-04-2005 11:28 |
|
|
Skilotto83 |
..Energia positiva...
Registered: Jun 2003
Posts: 1608 (0.21 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by khelidan
1-Perche le grammatiche sono sistemi formali per esprimere i calcoli logici e i solo linguaggi generati da grammatiche sono i ricorsivamente numerabili(e dunque pure i ricorsivi),ecco perche solo quel tipo di linguaggio ammette calcolo logico!
per la seconda domanda me lo sono chiesto pure io!
mi hai dato come risposta la domanda stessa....
ho chiesto il "perchè"...e se leggi le dispense c'è una dimostrazione del fatto che i linguaggi generati da una grammatica sono ricorsivamente numerabili...io nn capisco questa cosa..
kmq amen...ieri ho fatto l'esame e l'ho passato...la cosa nn mi è stata chiesta...festa....
__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)
MSN andrea.poretti(at)hotmail.it
|
|
23-04-2005 11:28 |
|
|
| |
|
| khelidan |
| [QUOTE][i]Originally posted by Skilotto83 [/i]
... |
23-04-2005 14:20 |
|
|
khelidan |
.grande:maestro.
Registered: Jun 2003
Posts: 1196 (0.16 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Skilotto83
mi hai dato come risposta la domanda stessa....
ho chiesto il "perchè"...e se leggi le dispense c'è una dimostrazione del fatto che i linguaggi generati da una grammatica sono ricorsivamente numerabili...io nn capisco questa cosa..
kmq amen...ieri ho fatto l'esame e l'ho passato...la cosa nn mi è stata chiesta...festa....
Ieri c'ero pure io...
Io sono quello che ha interrogato x secondo...dopo che ha mandato a fare il giro il primo ragazzo!
__________________
Khelidan
|
|
23-04-2005 14:20 |
|
|
| |
|
| Skilotto83 |
| ah...eri tu??
... |
25-04-2005 14:35 |
|
|
Skilotto83 |
..Energia positiva...
Registered: Jun 2003
Posts: 1608 (0.21 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline
Edit | Report | IP: Logged |
ah...eri tu??
Bien...allora ci siamo conosciuti...
kmq alla fine 25 come te....
Io ero il terzo...poi ha riinterrogato il tipo che è andato a afer un giro...
__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)
MSN andrea.poretti(at)hotmail.it
|
|
25-04-2005 14:35 |
|
|
| |
|
| maynard80 |
| che domande vi ha fatto? io lo faccio domani con b ... |
25-04-2005 14:39 |
|
|
maynard80 |
.novellino.
Registered: Jul 2007
Posts: 3 (0.00 al dì)
Location: Milano (e non interland, tendo a precisare)
Corso: informatica
Anno: SESTO
Time Online: 12 Days, 14:28:38 [...]
Status: Offline
Edit | Report | IP: Logged |
che domande vi ha fatto? io lo faccio domani con bertoni e assistente
__________________
msn Messenger: giamma80 at tiscali.it
ATHENA !
|
|
25-04-2005 14:39 |
|
|
| |
|
| khelidan |
| [QUOTE][i]Originally posted by Skilotto83 [/i]
... |
26-04-2005 01:17 |
|
|
khelidan |
.grande:maestro.
Registered: Jun 2003
Posts: 1196 (0.16 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Skilotto83
ah...eri tu??
Bien...allora ci siamo conosciuti...
kmq alla fine 25 come te....
Io ero il terzo...poi ha riinterrogato il tipo che è andato a afer un giro...
ottimo allora e andata molto bene pure a te! 
Ma poi sai se lo ha promosso?
x Maynard
Forse sono un po in ritardo,cmq a me ha chiesto automi det e non det e cmq gli automi in generale e poi la def di pumping lemma....
__________________
Khelidan
|
|
26-04-2005 01:17 |
|
|
| |
|
| maynard80 |
| fatto oggi con bertoni, mi ha messo 25, mi ha chie ... |
26-04-2005 14:34 |
|
|
maynard80 |
.novellino.
Registered: Jul 2007
Posts: 3 (0.00 al dì)
Location: Milano (e non interland, tendo a precisare)
Corso: informatica
Anno: SESTO
Time Online: 12 Days, 14:28:38 [...]
Status: Offline
Edit | Report | IP: Logged |
fatto oggi con bertoni, mi ha messo 25, mi ha chiesto passare da un automa a una espressione regolare. Basta
__________________
msn Messenger: giamma80 at tiscali.it
ATHENA !
|
|
26-04-2005 14:34 |
|
|
| |
|
| All times are GMT. The time now is 18:10. |
|
|
 |
|
 |
|
|
| |
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
|
|
|
|
|
|
GHIRUS_73
