.dsy:it. - [Logica matematica] E' difficile?

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica matematica] E' difficile? (http://www.dsy.it/forum/showthread.php?threadid=9966)

Posted by piuma82 on 02-04-2004 20:30:

logica matematica?!?

Ciao a tutti!
Vi dico subito quale è il nio dubbio...
Volevo scegliere logica matematica come complementare (sono di informatica) e volevo sapere se è fattibile come esame da non frequentante o se è troppo pesante o necessita delle lezioni per capirci qualcosa..
Grazie

Posted by piuma82 on 05-04-2004 13:46:

Ma vi spaventa tanto il mio msg?!?
Non dovrebbe essere un vostro fondamentale del primo anno?!?
Vanno bene anche i commenti negativi... :twisted:

Posted by 0m4r on 05-04-2004 14:03:

fattibile anche senza seguire....

__________________
http://www.twitter.com/0m4r

Posted by DeepBlue on 05-04-2004 14:14:

Originally posted by piuma82
Ma vi spaventa tanto il mio msg?!?
Non dovrebbe essere un vostro fondamentale del primo anno?!?
Vanno bene anche i commenti negativi...

A dire il vero mi era sfuggito

Di per sé non sembrerebbe un corso troppo difficile (anche se per vari motivi ho perso le ultime lezioni)
Ghilardi aveva consigliato di seguire (certo che se poi fa il cazziatone a chi arriva 5 min in ritardo, è ovvio che non segue nessuno...)

Sperem

Ma non ci sono altri corsi più interessanti che puoi seguire? Logica. imho, è palloso

__________________
~ get Debian! ~ get FreeBSD! ~ get OpenBSD! ~

Posted by piuma82 on 05-04-2004 14:55:

eheh... sono un pò masochista... lo so!

Posted by piuma82 on 20-04-2004 17:13:

Qualcuno che si sta preparando per questo esame saprebbe mica spiegarmi l'esercizio numero 2.3.ii dell'appello di febbraio?!?
Mi dareste un grande aiuto!!

Posted by Sayan on 05-05-2004 01:06:

Originally posted by piuma82
Qualcuno che si sta preparando per questo esame saprebbe mica spiegarmi l'esercizio numero 2.3.ii dell'appello di febbraio?!?
Mi dareste un grande aiuto!!

X avere un contromodello dev'essere vero l'antecedente e falso
il conseguente, nel caso specifico x essere vero l'antecedente utilizzando la costante a avremo che P(a) -> Q(a) è vera se Q(a) è vera e P(a) è falsa; quindi a appartiene a Q ma non appartiene a P.
X il conseguente invece dovrà essere falso e quindi siccome abbiamo not R(a) allora a apparterrà a R.

Quindi:
a appart a Q
a non appart a P
a appart a R

All times are GMT. The time now is 22:55.

Show all 7 posts from this thread on one page