aiuto!!!! contromodelli
Clicca QUI per vedere il messaggio nel forum |
| cavamagie |
ragaa qualcuno sa che cosa puo" mettere per i contromodelli???:?
pleaseeeee:? |
| ma2k1 |
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... |
| Lunik |
massimo che può chiedere è la teoria appunto...
terminazione e non terminazione... e che cosa dobbiamo avere nei due casi..c'è sulla dispensa :) |
| 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.
Su questo argomento ci sarà solo teoria nel compitino, giusto ?
Grazie 1000 :) |
| Elex |
terminazione: trovi gli assiomi
non terminazione: si va avanti all'infinito aggiungendo sempre nuove costanti |
| Lunik |
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!!! |
| Lunik |
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ì :) |
|
|
|
