Riassunti VERIFICATO
Riassunto METODI MATEMATICI PER L'INFORMATICA
80 visualizzazioni
Nessun voto ancora
Di cosa parla
Riassunto AI · si legge in un minuto
Logica proposizionale: proposizioni sono affermazioni con valore di verità (vera/falsa). Le proposizioni atomiche non possono essere decomposte. Il linguaggio formale ha regole di sintassi e semantica per assegnare valori di verità. Nel calcolo proposizionale, si usano simboli (A,B,C,...) e connettivi (:,^,_,:) per costruire formule ben formate (FBF). La semantica attribuisce valori di verità alle FBF basandosi su tavole della verità. Una formula è soddisfacibile se esiste almeno un modello che la rende vera; tautologia se è vera in tutte le interpretazioni. Un insieme di formule è soddisfacibile se esiste una interpretazione che lo rende vero. La cons
Leggi il riassunto completo
- 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.
Riassunto generato con l'intelligenza artificiale a partire dagli appunti. Come lo facciamo
Stai vedendo l'anteprima delle prime pagine. Registrati per sbloccare le pagine restanti.
Studia questi appunti con l'AI
Riassunto e domande d'esame sono gratis: chiedili e ti mandiamo un'email quando sono pronti.
In preparazione: di solito è pronto in giornata.
Registrati e scarica gratis questo appunto.
Simula l'esame con domande costruite su questi appunti.
Di cosa parla l'insegnamento
METODI MATEMATICI PER L'INFORMATICA · 1° anno · 1° semestre · 6 CFU · INFO-01/A
Obiettivi formativi L'insegnamento è indirizzato all'acquisizione delle conoscenze logiche e insiemistiche di base per affrontare lo studio di altri argomenti in matematica ed informatica. Conoscenza e capacità di comprensione Alla fine del corso lo studente avrà piena comprensione degli strumenti matematici…