Torna a Matematica
Logica computazionale
La logica computazionale descrive programmi, dimostrazioni, vincoli e sistemi formali con strumenti matematici.
Interattivo
Prova subito
Modifica i dati e controlla risultato e passaggi senza aspettare il server.
- p = vero, q = falso.
- p implica q e falsa solo quando p e vera e q e falsa.
Teoria
- Logica computazionale
- Matematica Concetto Idea Uso SAT Capire se una formula booleana puo essere vera.
- Verifica e pianificazione.
- SMT SAT con teorie come numeri e array.
- Analisi di programmi.
- Lambda calcolo Modello matematico delle funzioni.
- Linguaggi funzionali.
- Tipi Regole sui valori ammessi.
Esempi
- Matematica Concetto Idea Uso SAT Capire se una formula booleana puo essere vera.
- La formula A OR NOT A e sempre vera, quindi e una tautologia.
- La formula A OR B e soddisfacibile