La tesi mostra una panoramica sulle Leggi 0-1, le quali affermano che un determinato evento debba avere probabilità 0 oppure 1 (senza alcun valore intermedio). In particolare ci interessa il loro ruolo nella Logica del Primo Ordine e nella Teoria dei Modelli Finiti, e a tal scopo si dimostra il Teorema di Fagin, dopo aver definito il concetto di probabilità asintotica per le proposizioni di un linguaggio.
Le leggi 0-1 nella Teoria dei Modelli Finiti
D'AURIA, DANIELE
2021/2022
Abstract
La tesi mostra una panoramica sulle Leggi 0-1, le quali affermano che un determinato evento debba avere probabilità 0 oppure 1 (senza alcun valore intermedio). In particolare ci interessa il loro ruolo nella Logica del Primo Ordine e nella Teoria dei Modelli Finiti, e a tal scopo si dimostra il Teorema di Fagin, dopo aver definito il concetto di probabilità asintotica per le proposizioni di un linguaggio.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
D'Auria_Daniele.pdf
accesso riservato
Dimensione
715.73 kB
Formato
Adobe PDF
|
715.73 kB | Adobe PDF |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/42080