Quote:
|
scusa ma non capisco...
che dovrei fare per risolvere l'esercizi quindi? |
|
il link dice che non esiste nessuna voce con quel nome....
|
Quote:
http://it.wikipedia.org/wiki/Matrice_(matematica) |
logica matematica!
1 Allegato(i)
Salve ragazzi, eccomi alle prese con un esercizio di logica matematica
ho allegato il file se non riuscite a visualizzarlo eccolo f = x -> (y -> ( ¬ y -> z )) mi chiede di : trasformare f in CNF o in DNF mediante equivalenze logiche io ho provato a trasformarlo in dnf seguendo queste formule: x -> y = ¬x v y ¬¬ y = y ¬(x /\ y ) = ¬ x v ¬y "/\" è inteso come and logico xv (y /\ z ) = (x v y) /\ (x v y) scusate per la scrittura di alcuni simboli ma non sapevo come farli a scrivere ho svolto l'esercizio ma non so se è fatto bene e nel giusto modo se potete aiutarmi ve ne sarei molto grato :help: |
logica matematica!
Salve ragazzi, eccomi alle prese con un esercizio di logica matematica
ho allegato il file se non riuscite a visualizzarlo eccolo f = x -> (y -> ( ¬ y -> z )) mi chiede di : trasformare f in CNF o in DNF mediante equivalenze logiche io ho provato a trasformarlo in dnf seguendo queste formule: x -> y = ¬x v y ¬¬ y = y ¬(x /\ y ) = ¬ x v ¬y "/\" è inteso come and logico xv (y /\ z ) = (x v y) /\ (x v y) scusate per la scrittura di alcuni simboli ma non sapevo come farli a scrivere ho svolto l'esercizio ma non so se è fatto bene e nel giusto modo se potete aiutarmi ve ne sarei molto grato :help: |
Quote:
Prima usi le corrispondenze tra operatori per riscrivere la formula osando solo AND, OR, e NOT. Poi, usi le leggi distributive, di assorbimento, e di De Morgan per mettere in forma normale, prenessa o connessa. Quote:
AND logico: OR logico: NOT logico: Implicazione logica: Quote:
Anche nel file allegato c'è solo il testo. |
wow in un attimo si accessa la luce leggendo cmq lo svolgimento è questo
¬ x v (¬ y v (y v z)) ¬ x v (¬ y v z ) /\ (¬y v y) [non ne sono sicuro di questa ultima parte...] (¬ x v y ¬ y) /\ (¬ x v z) [questo è l'ultimo passaggio non so se ho finito o no] |
Quote:
Si trattava di riscrivere le implicazioni in termini di NOT e OR. Un passettino alla volta si fa il lungo viaggio. Ops... avevo dimenticato le leggi associativa e commutativa. Dopo ti spiego perché. [quote=ilcammino;23185160]¬ x v (¬ y v z ) /\ (¬y v y) [non ne sono sicuro di questa ultima parte...] Neanche io: qui ci sono tutti OR, e non ci sono negazioni di termini Quote:
Tornando a noi: se lusi la legge associativa, allora ¬ x v (¬ y v (y v z)) diventa ¬ x v ((¬ y v y) v z)) Ma (¬ y v y) è la legge del terzo escluso applicata a y, quidi vale 1...
|
infatti facendo la tavola di verità f è una tautologia.:cool:
vorrei sapere una cosa purtroppo non dispongo di un libro di qualcosa che mi spieghi passo passo o comunque in modo chiaro questi esercizi... qualcuno mi saprebbe consigliare qualcosa? sono al primo anno di informatica ma il docente ha dato solo degli appunti che non ho capito bene. |
1° ¬ x /\ (¬ y v (y v z)) prima era così ¬ x v (¬ y v (y v z))
2° ¬ x /\ (¬ y v z ) /\ (¬y v y) prima la congiunzione non c'era. 3° (¬ x v y v ¬ y) /\ (¬ x v z) prima ci mancava una disgiunzione. Quote:
nel passaggio dell'esercizio? grazie. |
forse mi sto rincretinendo forte ma per me questa ugualianza è sbagliata. Domani vado a chidere al prof se nel frattempo riuscite ad illuminarmi..
|
ragazzi, non riesco a capire cosè la molteplicità algebrica...
in particolare dovrei trovare la molteplicità algebrica di 2 autovalori di una matrice....... gli autovalo so calcolarmeli ma poi come si fa a vedere la loro molteplicità algebrica?? e quella geometrica?? grazie |
Quote:
Quote:
Quote:
Lì c'è poco da fare, quasi sicuramente ti tocca costruire una base di autovettori. |
Ciao, ho un problema di statistica, ma visto che ci sono di mezzo integrali e derivate chiedo qua...:fagiano:
non riesco a capire come calcolare la funzione di ripartizione Fx(x) a partire dalla funzione di densità di probabilità fx(x) di una variabile casuale continua. la formula generica è questa, se la volessi applicare ad un intervallo [0,2] come dovrei fare? grazie..:( |
Quote:
|
Quote:
devi calcolare la primitiva e solo dopo sostituire gli estremi ad x. ci sono arrivato ieri sera guardando il libro di analisi....:doh: |
Quote:
|
per zio silvio!
forse ho trovato la soluzione ho svolto l'esercizio e credo
che sia giusto! però ho bisogno del tuo/vostro aiuto traccia: x -> (y -> ( ¬ y -> z )) svolgimento : ¬ x v (¬ y v ( y v z)) ¬ x v ( ¬ y v z v y ) ( ¬ x v ¬ y v z v y ) è una tautologia (¬ y v y) ¬ x v ¬ y v z la cosa che non mi convince è che ci sono solo disgiunzioni sia all'interno che all'esterno delle parentesi tonde, spero che si corretto. fatemi un cenno!. ;) |
Tutti gli orari sono GMT +1. Ora sono le: 11:47. |
Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Hardware Upgrade S.r.l.