universityin-classsubject-1202
2023-03-08
Fondamenti di Informatica
Logica Matematica
Sistemi formali
Esempi:
- Logica Hoare
Da cosa è composto?
- Un insieme
che contiene i simboli (è un alfabeto) - Un insieme
che contiene le affermazioni (o asserzioni). - Un insieme
che contiene gli assiomi. - Un insieme
che contiene le regole (consentono di affermare un assioma sulla base di un altro o più)
Definizione di Definizione: metodo per identificare in modo univoco un oggetto.
relazione di derivabilità