Search for dissertations about: "Arithmetic"

Showing result 1 - 5 of 126 swedish dissertations containing the word Arithmetic.

2. 1. Dealing with Digits : Arithmetic, Memory and Phonology in Deaf Signers

   Author : Josefine Andin; Mary Rudner; Jerker Rönnberg; Örjan Dahlström; Lars Nyberg; Linköpings universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Adult deaf signers; phonology; arithmetic; short-term memory; working memory; neuro imaging; Vuxna teckenspråkiga döva; fonologi; aritmetik; korttidsminne; arbetsminne; hjärnavbildning;

   Abstract : 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. READ MORE

4. 2. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

   Author : Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

   Abstract : 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. READ MORE

5. 3. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

   Author : Rasmus Blanck; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; arithmetic; incompleteness; flexibility; independence; non-standard models; partial conservativity; interpretability;

   Abstract : 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. READ MORE

6. 4. On some Orderings of Extensions of Arithmetic

   Author : Christian Bennet; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; Arithmetization; interpretability; lattice; Lindenbaum algebra; partal conservativity; Peano Arithmetic; relative consistency; self-reference;

   Abstract : .... READ MORE

7. 5. Ramification numbers and periodic points in arithmetic dynamical systems

   Author : Jonas Nordqvist; Karl-Olof Lindahl; Johan Öinert; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; ramification numbers; local fields; arithmetic dynamics; periodic points; Nottingham group; Mathematics; Matematik;

   Abstract : 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. READ MORE