Number of the records: 1
Přesné výpočty s reálnými čísly
Title statement Přesné výpočty s reálnými čísly [rukopis] / Ondřej Slavík Additional Variant Titles Přesné výpočty s reálnými čísly Personal name Slavík, Ondřej, (dissertant) Translated title Precise computation of real numbers Issue data 2021 Phys.des. x+59 : grafy, tab. + 1 CD/DVD Note Ved. práce Michal Krupka Oponent Eduard Bartl Another responsib. Krupka, Michal (thesis advisor) Bartl, Eduard (opponent) Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor) Keywords reálná čísla * funkce * Lisp * líné vyhodnocování * libovolná přesnost * rekurzivní čísla * real numbers * functions * Lisp * lazy evaluation * arbitrary precision * recursive numbers Form, Genre bakalářské práce bachelor's theses UDC (043)378.22 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Bc. Degree program Bakalářský Degree program Informatika Degreee discipline Informatika book
Kvalifikační práce Downloaded Size datum zpřístupnění 00275036-247977876.pdf 16 1.1 MB 06.08.2021 Posudek Typ posudku 00275036-ved-377588331.pdf Posudek vedoucího 00275036-opon-134322176.pdf Posudek oponenta Ostatní přílohy Size Popis 00275036-other-190648460.zip 22.5 KB
Fenomén vyčíslitelnosti reálných čísel provází každého informatika, který se snaží používat počítač k počítání. Jakmile se totiž musíme spolehnout na výpočty s čísly uloženými jako hodnoty, narážíme na limity přesnosti a rozsahu takto reprezentovaných čísel. Řešením není zpřesňování pomocí vyšší dotace paměťového prostoru (např. binary32 binary64) a související změna architektury systému, nýbrž fundamentální změna v přístupu k vyčíslení reálných čísel. Tato práce dává návod, jak takovýto přístup přijmout, a přináší knihovnu, která umožňuje základní výpočty a vyčíslení reálných čísel.Every computer scientist who tries to use a computer to compute encounters the phenomenon of real numbers' computability. Once we have to rely on calculations with numbers stored as values, we come across limits of precision and range of thus represented numbers. The solution is not to refine using a higher memory space allocation (eg binary32 binary64) and the related change in system architecture, but fundamental change in the approach to computation of real numbers. This work gives direction of how to adopt such an approach, and brings a library that allows the basic calculations and enumerations of real numbers.
Number of the records: 1