.dsy:it. - aiuto!!!! contromodelli

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- aiuto!!!! contromodelli (http://www.dsy.it/forum/showthread.php?threadid=10636)

Posted by cavamagie on 05-05-2004 11:47:

aiuto!!!! contromodelli

ragaa qualcuno sa che cosa puo" mettere per i contromodelli???
pleaseeeee

__________________
il suono si propaga nell aria
ma noi siamo pronti per carpirlo
cavamagie wawe

Posted by ma2k1 on 05-05-2004 12:59:

no esercizi

da quanto ho capito io non ci saranno esercizi sui contromodelli ma al massimo domande di teorie.

Sono cosi ostici?
Io non li ho ancora guardati...

Posted by Lunik on 05-05-2004 16:33:

massimo che può chiedere è la teoria appunto...

terminazione e non terminazione... e che cosa dobbiamo avere nei due casi..c'è sulla dispensa

__________________
Il DSY su Facebook!!!

Posted by Gigi on 08-05-2004 20:59:

Salve ragazzi, vorrei sapere se qualcuno di voi riuscirebbe a spiegare in poche parole semplici il caso di terminazione e non terminazione ... ve ne sarei grato.

Su questo argomento ci sarà solo teoria nel compitino, giusto ?

Grazie 1000

Posted by Elex on 09-05-2004 13:19:

terminazione: trovi gli assiomi
non terminazione: si va avanti all'infinito aggiungendo sempre nuove costanti

Posted by Lunik on 09-05-2004 13:20:

Originally posted by Gigi
Salve ragazzi, vorrei sapere se qualcuno di voi riuscirebbe a spiegare in poche parole semplici il caso di terminazione e non terminazione ... ve ne sarei grato.

x entrambi i casi potrai avere 3 situazioni che sono segnate sulla dispensa... lì sono scritte in modo chiaro... molto chiaro...
Leggile e tienile bene in mente!!!

__________________
Il DSY su Facebook!!!

Posted by Lunik on 09-05-2004 13:24:

Originally posted by Elex
terminazione: trovi gli assiomi
non terminazione: si va avanti all'infinito aggiungendo sempre nuove costanti

stiamo parlando di Contromodelli (vero Gigi??)...
Terminazione:
1)hai a sinistra solo i PER OGNI e a destra solo gli ESISTE.
2) Hai solo frm atomiche o i "per ogni" a sx e gli "esiste" a dx
3) tutte le possibili istanziazioni per A(t/x) sono già state fatte per ogni termine chiuso t presente nel ramo

Non terminazione: (ramo che va all'inifinito)
Leggi la dispensa a pagina 41 è più chiaro lì

__________________
Il DSY su Facebook!!!

Posted by Gigi on 09-05-2004 21:38:

grazie.

All times are GMT. The time now is 01:17.

Show all 8 posts from this thread on one page