Thesis (Selection of subject)Thesis (Selection of subject)(version: 336)
Assignment details
   Login via CAS
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Thesis title in Czech: Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu
Thesis title in English: Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Key words: lineární aritmetika, eliminace kvantifikátorů, Peanova aritmetika, extenze Presburgerovy aritmetiky, kvazieuklidovské okruhy
English key words: linear arithmetic, quantifier elimination, Peano arithmetic, extensions of Presburger arithmetic, quasi-Euclidean rings
Academic year of topic announcement: 2013/2014
Type of assignment: rigorosum thesis
Thesis language: angličtina
Department: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Supervisor:
Author: hidden - assigned and confirmed by the Study Dept.
Date of registration: 22.11.2013
Date of assignment: 22.11.2013
Confirmed by Study dept. on: 22.11.2013
Date and time of defence: 20.12.2013 00:00
Date of electronic submission:22.11.2013
Date of submission of printed version:22.11.2013
Date of proceeded defence: 20.12.2013
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html