Mar 25 Giugno, 12:27:12 - 2019

Autore Topic: Modelli primo ordine  (Letto 1045 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Modelli primo ordine
« il: Dom 25 Novembre, 19:36:05 - 2007 »
ragazzi ma quando andiamo a scrivere un modello per un linguaggio del primo ordine dobbiamo imporre che il dominio sia infinito, oppure possiamo scegliere anche un dominio finito?
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarÓ grande se lo ritroverÓ e potrÓ andarne fiero. ╚ un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: Modelli primo ordine
« Risposta #1 il: Dom 25 Novembre, 19:40:57 - 2007 »
da quello che ho capito deve essere infinito numerabile.
Una richiesta: qualcuno pu˛ postare le regole principale del primo ordine? Con qualche caso particolare per far vedere un po' questi tableaux quando possiamo dire che chiudono...
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline defrenz

  • Direttore di Dipartimento
  • ***
  • Post: 1346
  • FeedBack: +35/-82
    • Mostra profilo
Re: Modelli primo ordine
« Risposta #2 il: Dom 25 Novembre, 23:58:15 - 2007 »
quando devi dare un modello (anzi, una struttura e assegnazione) il tuo dominio deve essere numerabile... finito o infinito scegli te, basta che poi le tue funzioni e i tuoi predicati lavorino solo all'interno del tuo dominio :O