Random word

On this page you'll find 10+ example sentences with Presburger. Discover the meaning, how to use the word correctly in a sentence.

Rare word

Presburger in a sentence

Presburger meaning

  1. A surname.
  2. Mojżesz Presburger (Polish mathematician)

Using Presburger

  • The main meaning on this page is: A surname. | Mojżesz Presburger (Polish mathematician)
  • In the example corpus, presburger often appears in combinations such as: presburger arithmetic, in presburger, for presburger.

Context around Presburger

  • Average sentence length in these examples: 23.9 words
  • Position in the sentence: 8 start, 5 middle, 3 end
  • Sentence types: 16 statements, 0 questions, 0 exclamations

Often before:

proved 1× characterization 1×

Often after:

arithmetic 16× definable 3× proved 1×

Sentence patterns with Presburger

These short patterns come directly from the example sentences and show how the word is often embedded:

accepts a presburger definable set 1× applications because presburger arithmetic is 1× definable in presburger arithmetic 1× defined in presburger arithmetic since 1× fragment of presburger arithmetic theory 1× implies that presburger arithmetic can 1× language of presburger arithmetic contains 1× omega for presburger arithmetic and 1×

Sentence openings and endings

Common sentence openings:

for example the 2× applications because presburger 1× examples include finding 1× fischer and rabin 1× generally any number 1× let n be 1×

Common sentence endings:

in presburger arithmetic 2× also be deduced 1× barrett tinelli 2014 1× but also multiplication 1× by nipkow 2010 1× by oppen 1978 1×

Words around Presburger

Just before it in the word index:

presanctified 4 presales 10 presale 104 presaging 3 presages 9 presaged 22

Just after it in the word index:

presby 5 presbycusis 3 presbyopia 3 presbyter 24 presbyteral 4 presbyterian 389

Similar in corpus frequency:

aaaa 20 abbv 20 abductees 20 abdulahi 20 abetment 20 abhors 20

Corpus analysis for Presburger

  • In this selection, "presburger" usually appears near the start of the sentence. The average example has 23.9 words, and this corpus slice is mostly made up of statements.
  • Around the word, proved, characterization, arithmetic, definable and proved stand out and add context to how "presburger" is used.
  • Recognizable usage signals include accepts a presburger definable set and applications because presburger arithmetic is. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "presburger" sits close to words such as aaaa, abbv and abductees, which helps place it inside the broader word index.

Example types with presburger

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

Short example sentences

Let n be the length of a statement in Presburger arithmetic. (11 words)

Applications Because Presburger arithmetic is decidable, automatic theorem provers for Presburger arithmetic exist. (13 words)

Presburger arithmetic can be extended to include multiplication by constants, since multiplication is repeated addition. (15 words)

Longer example sentences

Examples include finding a perfect strategy for chess (on an N × N board) citation and some other board games. citation The problem of deciding the truth of a statement in Presburger arithmetic requires even more time. (36 words)

Presburger arithmetic is complete, consistent, and recursively enumerable and can encode addition but not multiplication of natural numbers, showing that for Gödel's theorems one needs the theory to encode not just addition but also multiplication. (36 words)

Fischer and Rabin's work also implies that Presburger arithmetic can be used to define formulas which correctly calculate any algorithm as long as the inputs are less than relatively large bounds. (32 words)

Example sentences (16)

Properties Mojżesz Presburger proved Presburger arithmetic to be: * consistent : There is no statement in Presburger arithmetic which can be deduced from the axioms such that its negation can also be deduced.

Applications Because Presburger arithmetic is decidable, automatic theorem provers for Presburger arithmetic exist.

Presburger-definable integer relation Some properties are now given about integer relations definable in Presburger Arithmetic.

Examples include finding a perfect strategy for chess (on an N × N board) citation and some other board games. citation The problem of deciding the truth of a statement in Presburger arithmetic requires even more time.

Fischer and Rabin's work also implies that Presburger arithmetic can be used to define formulas which correctly calculate any algorithm as long as the inputs are less than relatively large bounds.

For example, the Coq proof assistant system features the tactic omega for Presburger arithmetic and the Isabelle proof assistant contains a verified quantifier elimination procedure by Nipkow (2010).

For example, the decision problem in Presburger arithmetic has been shown not to be in P, yet algorithms have been written that solve the problem in reasonable times in most cases.

Generally, any number concept leading to multiplication cannot be defined in Presburger arithmetic, since that leads to incompleteness and undecidability.

Advertentie

Let n be the length of a statement in Presburger arithmetic.

More recent Satisfiability Modulo Theories solvers use complete integer programming techniques to handle quantifier-free fragment of Presburger arithmetic theory (King, Barrett, Tinelli 2014).

Muchnik's characterization Presburger-definable relations admit another characterization: by Muchnik's theorem. citation It is more complicated to state, but led to the proof of the two former characterizations.

Muchnik's theorem also allows one to prove that it is decidable whether an automatic sequence accepts a Presburger-definable set.

On the other hand, a triply exponential upper bound on a decision procedure for Presburger Arithmetic was proved by Oppen (1978).

Overview The language of Presburger arithmetic contains constants 0 and 1 and a binary function +, interpreted as addition.

Presburger arithmetic can be extended to include multiplication by constants, since multiplication is repeated addition.

Presburger arithmetic is complete, consistent, and recursively enumerable and can encode addition but not multiplication of natural numbers, showing that for Gödel's theorems one needs the theory to encode not just addition but also multiplication.

Advertentie

Common combinations with presburger

These word pairs occur most frequently in English texts:

Frequently asked questions

How do you use "presburger" in a sentence?
An example: "Properties Mojżesz Presburger proved Presburger arithmetic to be: * consistent : There is no statement in Presburger arithmetic which can be deduced from the axioms such that its negation can also be deduced." This page contains 10+ example sentences with the word "presburger" from authentic English texts.
What does "presburger" mean?
Presburger means: A surname.
How many example sentences with "presburger" are there?
Voorbeeldzinnen.info contains at least 10+ example sentences with "presburger", drawn from a database of millions of English sentences.