Počet záznamů: 1
Informační termodynamika
Hejna, Bohdan, 1954- - Autor
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ů
studieSignatura C 358.920/3 Umístění 519.6/.8 - Matematická kybernetika. Operační výzkum. Numerické metody Údaje o názvu Informační termodynamika. III., Automaty, termodynamika, přenos informace, výpočet a problém zastavení / Bohdan Hejna Část názvu Automaty, termodynamika, přenos informace, výpočet a problém zastavení Záhlaví-jméno Hejna, Bohdan, 1954- (Autor) Údaje o vydání Vyd. 1. Vyd.údaje Praha : VŠCHT, 2013 Fyz.popis 147 s. : il., 1 faksim. ; 25 cm ISBN 978-80-7080-851-1 (brož.) Číslo nár. bibl. cnb002475296 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii, bibliografické odkazy a rejstřík Jazyková pozn. Anglické resumé Předmět.hesla teorie informace * termodynamika * teorie vyčíslitelnosti * teorie automatů Forma, žánr studie Konspekt 5 - Přírodní vědy. Matematické vědy MDT 519.72 , 536.7 , 510.57 , 519.713 , (048.8) Země vyd. Česko Jazyk dok. č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 Druh dok. KNIHY 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.czNačítání…
Počet záznamů: 1