bss – Übersetzung – Keybot-Wörterbuch

Spacer TTN Translation Network TTN TTN Login Français English Spacer Help
Ausgangssprachen Zielsprachen
Keybot 3 Ergebnisse  natfak.sdu.dk
  Course description  
Text zeigenZeige Ausgangstext im CacheURL mit Ausgangstext zeigen
The course fits well together with the course on Real number algorithms taught by K. Meer in parallel which will focus on complexity in the BSS-model. Thus, both courses together shed light on the computational aspects of real number problems from different points of view.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigennatfak.sdu.dk als Prioritätsdomäne definieren
Kurset passer fint sammen med kurset om algoritmer med reelle tal der undervises af Klaus Meer i samme semester. Dette andet kursus fokuserer på kompleksiteten i BSS-modellen. Således vil begge kurser tilsammen kaste lys over de beregningsmæssige aspekter for problemer med reelle tal fra forskellige synsvinkler.
  Course description  
Text zeigenZeige Ausgangstext im CacheURL mit Ausgangstext zeigen
The goal of this course is to give a precise introduction into the BSS model. We define and study real number complexity classes and basic algorithms related to these classes. Among the central algorithms studied in the course we will consider Tarski´s quantifier elimination algorithm (and variants) over the reals, one of the most important algorithms for problems involving polynomials.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigennatfak.sdu.dk als Prioritätsdomäne definieren
Målet med kurset er at give en præcis introduktion til BSS modellen. Vi definerer og studerer kompleksitetsklasser over reelle tal, og giver basale algoritmer relateret til dissse klasser. Blandt de centrale algoritmer der bliver studeret i kurset er Tarskis algoritme til eliminering af kvantorer over reelle tal, en af de mest vigtige algoritmer for problemer der involverer polynomier.
  Course description  
Text zeigenZeige Ausgangstext im CacheURL mit Ausgangstext zeigen
Computations involving real numbers are subject to even harder principal limits of algorithms´ capabilities: If the input is given only approximately (e.g., originating from some physical measurement and supplied with error bounds), the sign and more generally any discontinuous real function becomes uncomputable for reasons related to inherent numerical instability. And even under the presumption of exact real arithmetic (BSS-model), many functions remain uncomputable.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigennatfak.sdu.dk als Prioritätsdomäne definieren
En stor del af arbejdet inden for teoretisk datalogi bliver brugt til at finde effektive løsninger til datalogiske problemer. Inden man forsøger at finde en hurtig og effektiv løsning, er det dog vigtigt at sikre sig, at en løsning faktisk findes -- for en del problemer, herunder flere af praktisk betydning, kan man vise, at der ingen løsninger findes. Ved at kende de principielle grænser for beregnelighed undgår man at spilde tiden på nyttesløse forsøg på at finde algoritmer for uberegnelige problemer. Som et eksempel vil man i Software Verification gerne kunne tjekke et programs korrekthed og særligt hvorvidt programmet terminer vha. en computer (dvs. effektivt). Imidlertid viser dette problem sig som mange andre relaterede problemer at være beviseligt uafgørligt, ligegyldigt hvor meget tid og hukommelse vi ønsker at bruge på at finde en løsning. Beregninger, der involverer reelle tal, er i endnu højere grad begrænset af de principielle grænser for, hvad algoritmer kan gøre: Hvis det givne input for programmet kun er en approksimation (fx. hvis input kommer fra en fysisk måling og bliver givet med en hvis fejlmargin), bliver fortegnet og mere generelt enhver ikke-kontinuert reel funktion uberegnelig pga. numerisk ustabilitet. Selv under forudsætning af at man kan foretage beregninger med reelle tal eksakt (BSS-modellen), forbliver mange funktioner uberegnelige. Dette kursus giver en introduktion til dette område inden for beregnelighed.