Number of the records: 1
Informační termodynamika
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ů
studieCall number C 358.920/3 Umístění 519.6/.8 - Matematická kybernetika. Operační výzkum. Numerické metody Title statement Informační termodynamika. III., Automaty, termodynamika, přenos informace, výpočet a problém zastavení / Bohdan Hejna Portion of title Automaty, termodynamika, přenos informace, výpočet a problém zastavení Main entry-name Hejna, Bohdan, 1954- (Author) Edition statement Vyd. 1. Issue data Praha : VŠCHT, 2013 Phys.des. 147 s. : il., 1 faksim. ; 25 cm ISBN 978-80-7080-851-1 (brož.) National bibl. num. cnb002475296 Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstřík Language note Anglické resumé Subj. Headings teorie informace * termodynamika * teorie vyčíslitelnosti * teorie automatů Form, Genre studie Conspect 5 - Přírodní vědy. Matematické vědy UDC 519.72 , 536.7 , 510.57 , 519.713 , (048.8) Country Česko Language čeština URL http://vydavatelstvi.vscht.cz/katalog/uid_isbn-978-80-7080-851-1/anotace/ Ve volném výběru 519.6/.8 - Matematická kybernetika. Operační výzkum. Numerické metody Document kind BOOKS 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.czLoading…
Number of the records: 1