Functions Definable by Numerical Set-Expressions
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2009
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917647767044096 |
|---|---|
| author | Pratt-Hartmann, Ian Düntsch, Ivo |
| author_facet | Pratt-Hartmann, Ian Düntsch, Ivo |
| contents | A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of "arithmetic circuits". In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_0911_0105 |
| institution | arXiv |
| publishDate | 2009 |
| record_format | arxiv |
| spellingShingle | Functions Definable by Numerical Set-Expressions Pratt-Hartmann, Ian Düntsch, Ivo Logic in Computer Science F.1.1 A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of "arithmetic circuits". In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations. |
| title | Functions Definable by Numerical Set-Expressions |
| topic | Logic in Computer Science F.1.1 |
| url | https://arxiv.org/abs/0911.0105 |