Number of the records: 1  

Přesné výpočty s reálnými čísly

  1. Title statementPřesné výpočty s reálnými čísly [rukopis] / Ondřej Slavík
    Additional Variant TitlesPřesné výpočty s reálnými čísly
    Personal name Slavík, Ondřej, (dissertant)
    Translated titlePrecise computation of real numbers
    Issue data2021
    Phys.des.x+59 : grafy, tab. + 1 CD/DVD
    NoteVed. 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 kindPUBLIKAČNÍ ČINNOST
    TitleBc.
    Degree programBakalářský
    Degree programInformatika
    Degreee disciplineInformatika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00275036-247977876.pdf161.1 MB06.08.2021
    PosudekTyp posudku
    00275036-ved-377588331.pdfPosudek vedoucího
    00275036-opon-134322176.pdfPosudek oponenta
    Ostatní přílohySizePopis
    00275036-other-190648460.zip22.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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.