Che materia stai cercando?

MMI (Metodi Matematici per l'Informatica) - Fondamenti - Appunti

In questa parte del corso di MMI (metodi matematici per l'informatica) si parla delle basi della Logica Computazionale. Nel dettaglio si studiano le Proposizioni, i Connettivi Logici, Predicati, Asserzioni, Quantificatori Universali ed Esistenziali, Equivalenze Logiche. Molto schematico e semplice da leggere, suddiviso in argomenti, direttamente ricopiato dagli appunti presi a lezione. Buono Studio! Vedi di più

Esame di Metodi matematici per l'informatica docente Prof. M. Napoli

Anteprima

ESTRATTO DOCUMENTO

NEGAZIONE NOT

= ( )

CONGIUNZIONE AND

= ( )

DISGIUNZIONE OR

= ( )

DISGIUNZIONE ESCLUSIVA XOR

= ( )

TABELLE DI VERITA’

NEGAZIONE

¬ p

p F

T T

F NEGATO

Restituisce il valore di una proposizione ma

CONGIUNZIONE

q p ^ q

p T T

T F F

T T F

F F F

F “E”

Restituisce vero quando ‘p’ ‘q’ sono vere

DISGIUNZIONE

q p v q

p T T

T F T

T T T

F F F

F “OPPURE”

Restituisce vero quando ‘p’ ‘q’ sono vere

DISGIUNZIONE ESCLUSIVA

q p q

p ⊕

T F

T F T

T T T

F F F

F “O” “O”

Restituisce vero quando ‘p’ ‘q’ sono vere

ma non entrambe

IMPLICAZIONE

q p q

p →

T T

T F F

T T T

F F T

F IPOTESI / CONDIZIONE SUFFICIENTE

‘p’ è detta CONCLUSIONE / CONDIZIONE

‘q’ è detta

NECESSARIA

Non presuppone vi sia una relazione tra p e q

PROPOSIZIONI CONDIZIONALI :

Dall’implicazione possiamo dedurre delle

q p INVERSO

è detta

¬p ¬q OPPOSTO

è detta

¬q ¬p CONTRO­NOMINALE

è detta

EQUIVALENZA

q p q

p ↔

T T

T F F

T T F

F F T

F “SE E SOLO SE” le due proposizioni hanno valori di verità

equivalenti

EQUIVALENZE PROPOSIZIONALI

Le Equivalenze Proposizionali sono utilizzate per semplificare proposizioni composte.

Sostituiscono una proposizione con un’altra avente lo stesso valore di verità. Esistono alcune

equivalenze proposizionali ben definite:


PAGINE

10

PESO

29.13 KB

PUBBLICATO

+1 anno fa


DESCRIZIONE APPUNTO

In questa parte del corso di MMI (metodi matematici per l'informatica) si parla delle basi della Logica Computazionale. Nel dettaglio si studiano le Proposizioni, i Connettivi Logici, Predicati, Asserzioni, Quantificatori Universali ed Esistenziali, Equivalenze Logiche. Molto schematico e semplice da leggere, suddiviso in argomenti, direttamente ricopiato dagli appunti presi a lezione. Buono Studio!


DETTAGLI
Corso di laurea: Corso di laurea in informatica
SSD:
Università: Salerno - Unisa
A.A.: 2017-2018

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher andreasansone96 di informazioni apprese con la frequenza delle lezioni di Metodi matematici per l'informatica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Salerno - Unisa o del prof Napoli Margherita.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!