Sökning: "arithmetic"
Visar resultat 1 - 5 av 138 avhandlingar innehållade ordet arithmetic.
1. Dealing with Digits : Arithmetic, Memory and Phonology in Deaf Signers
Sammanfattning : Deafness has been associated with poor abilities to deal with digits in the context of arithmetic and memory, and language modality-specific differences in the phonological similarity of digits have been shown to influence short-term memory (STM). Therefore, the overall aim of the present thesis was to find out whether language modality-specific differences in phonological processing between sign and speech can explain why deaf signers perform at lower levels than hearing peers when dealing with digits. LÄS MER
2. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types
Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER
3. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
Sammanfattning : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. LÄS MER
4. On some Orderings of Extensions of Arithmetic
Sammanfattning : .... LÄS MER
5. Ramification numbers and periodic points in arithmetic dynamical systems
Sammanfattning : The field of discrete dynamical systems is a rich and active field of research within mathematics, with applications ranging from biology to computer science, finance, engineering and various others. In this thesis properties of certain discrete dynamical systems are studied together with number theoretic properties of the functions defining these systems. LÄS MER