|
|||||
|
|
Entropy of formulas |
|
| Authors: | Vera Koponen |
| Institution: | (1) Department of Mathematics, Uppsala University, Box 480, 75106 Uppsala, Sweden |
| Abstract: | A probability distribution can be given to the set of isomorphism classes of models with universe {1, ..., n} of a sentence in first-order logic. We study the entropy of this distribution and derive a result from the 0–1 law for first-order sentences. |
| Keywords: | First-order logic Finite models Entropy 0– 1 law |
| 本文献已被 SpringerLink 等数据库收录！ | |