Number of the records: 1  

Informační termodynamika

  1. View book information on page www.obalkyknih.cz

    book


     Hejna, Bohdan, 1954- - Author
    Vyd. 1. - Praha : VŠCHT, 2013 - 147 s. : il., 1 faksim. ; 25 cm
    ISBN 978-80-7080-851-1 (brož.)
     teorie informace  termodynamika  teorie vyčíslitelnosti  teorie automatů
     studie
    Call numberC 358.920/3
    Umístění 519.6/.8 - Matematická kybernetika. Operační výzkum. Numerické metody
    Informační termodynamika
    BranchPlaceInfoSignature
    Lidická ( volný výběr ) k vypůjčeníC 358.920/3   

    Title statementInformační termodynamika. III., Automaty, termodynamika, přenos informace, výpočet a problém zastavení / Bohdan Hejna
    Portion of titleAutomaty, termodynamika, přenos informace, výpočet a problém zastavení
    Main entry-name Hejna, Bohdan, 1954- (Author)
    Edition statementVyd. 1.
    Issue dataPraha : VŠCHT, 2013
    Phys.des.147 s. : il., 1 faksim. ; 25 cm
    ISBN978-80-7080-851-1 (brož.)
    National bibl. num.cnb002475296
    Internal Bibliographies/Indexes NoteObsahuje bibliografii, bibliografické odkazy a rejstřík
    Language noteAnglické resumé
    Subj. Headings teorie informace * termodynamika * teorie vyčíslitelnosti * teorie automatů
    Form, Genre studie
    Conspect5 - Přírodní vědy. Matematické vědy
    UDC 519.72 , 536.7 , 510.57 , 519.713 , (048.8)
    CountryČesko
    Languagečeština
    URLhttp://vydavatelstvi.vscht.cz/katalog/uid_isbn-978-80-7080-851-1/anotace/
    Ve volném výběru519.6/.8 - Matematická kybernetika. Operační výzkum. Numerické metody
    Document kindBOOKS
    Informační termodynamika
    Publikace navazuje na předcházející práce "Informační termodynamika I." a "Informační termodynamika II.", zvláště pak na publikaci "Informační termodynamika I.". Zabývá se problémem zastavení (Halting Problem), ale neaplikuje běžnou logicko-automatovou konstrukci důkazu jeho nerozhodnutelnosti. Volí cestu jisté analogie, spíše ekvivalence mezi procesy v základních strukturách Teorie automatů a Teorie vyčíslitelnosti, Teorie informace a Termodynamiky, a tím i analogie - ekvivalence - mezi těmito strukturami samotnými, automaty a Turingovými stroji, přenosovými informačními kanály a termodynamickými systémy. Popsatelnost výpočetního procesu v termínech přenosu informace a toho pak v termínech procesu změny stavu termodynamického systému, a to v souvislosti s jeho zobecněným regulárním popisem, autorovi umožňuje konstruovat metodu indikující v konečném čase, že se daný výpočetní proces nachází v nekonečném cyklu. Jádrem metody je etapizace, postupné spouštění a trasování sledovaného výpočetního procesu a následná konstrukce regulárních výrazů vyhovujících, pokud nekonečný cyklus nastal, Pumping Lemmě při automatovém přístupu, v termodynamické interpretaci pojmu (kvazi)stacionární stav a v informační interpretaci pak autoreferenci. Práce je doplněna dodatky, zvláště, ale nejen z Algebraické teorie automatů, které spolu s úvodními kapitolami umožňují čtenáři se zevrubně, ale pohodlně poučit o všem podstatném, souvisícím s klíčovým pojmem práce, regularita nekonečné posloupnosti, ale i o pojmech Termodynamiky a Teorie informace ve výpočetní, automatové souvislosti. Zdroj anotace: Web obalkyknih.cz
    Loading…

Number of the records: 1  

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