Riassunti VERIFICATO
Riassunto METODI MATEMATICI PER L'INFORMATICA
39 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Registrati per sbloccare le pagine restanti.
Di cosa parla
- Una proposizione è un'affermazione che esprime un valore di verità, ovvero una affermazione vera o falsa. Ad esempio, "5 è un numero dispari" e "Roma è la capitale della Francia" sono proposizioni (una vera e l'altra falsa).
- Il linguaggio naturale è troppo complesso e ambiguo, quindi la Logica Matematica utilizza un linguaggio formale con un alfabeto di simboli e regole di sintassi per costruire formule ben formate (FBF), che non hanno senso se non sono correttamente sintattiche.
- Il Calcolo Proposizionale manipola proposizioni indicate con lettere maiuscole, combinandole attraverso connettivi come "e", "o", "se... allora". Le formule FBF sono costruite seguendo regole di sintassi e la semantica attribuisce un valore di verità (vero o falso) a ciascuna formula.
Registrati e sblocca subito 3 appunti gratis, questo incluso.