Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
Logica matematica - individuare contromodello
Clicca QUI per vedere il messaggio nel forum
josephbest
Ciao,
ho sotto gl'occhi 2 appelli: 20 Febbr 2008 e 21 giugno 2007; gli esercizi 2.3.1 (dove bisogna indicare quale è un contromodello x la formula data), come si risolvono????
Cioè, qual'è la metodologia da usare per vedere se sono contromodelli o meno?

Grazie a tutti....

PS. PROGLOG

le digiture:
conc=concatenazione
lung=lunghezza
member=membro
del_n=cancellazione di che cosa??
primist=???????


grazie ancora!!!!
Ciao
J

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate