Počet záznamů: 1
Informační termodynamika
SYS 0535820 LBL 02130nam-a2200577-a-4500 003 CZ-CbJVK 005 20210503115719.9 007 ta 008 130717s2013----xr-ah--e------001-0-cze-- 015 $a cnb002475296 020 $a 978-80-7080-851-1 (brož.) 035 $a (OCoLC)857952953 040 $a BOA001 $b cze $d ABA001 041 0-
$a cze $b eng 072 -7
$a 5 $x Přírodní vědy. Matematické vědy $2 Konspekt $9 6 080 $a 519.72 $2 MRF 080 $a 536.7 $2 MRF 080 $a 510.57 $2 MRF 080 $a 519.713 $2 MRF 080 $a (048.8) $2 MRF 100 1-
$a Hejna, Bohdan, $d 1954- $7 ntka172528 $4 aut 245 10
$a Informační termodynamika. $n III., $p Automaty, termodynamika, přenos informace, výpočet a problém zastavení / $c Bohdan Hejna 246 30
$a Automaty, termodynamika, přenos informace, výpočet a problém zastavení 250 $a Vyd. 1. 260 $a Praha : $b VŠCHT, $c 2013 300 $a 147 s. : $b il., 1 faksim. ; $c 25 cm 504 $a Obsahuje bibliografii, bibliografické odkazy a rejstřík 520 3-
$a 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. $c okcz $u https://www.obalkyknih.cz/view?isbn=9788070808511 $2 Web obalkyknih.cz 546 $a Anglické resumé 650 07
$a teorie informace $7 ph126560 $2 czenas 650 07
$a termodynamika $7 ph116437 $2 czenas 650 07
$a teorie vyčíslitelnosti $7 ph678150 $2 czenas 650 07
$a teorie automatů $7 ph126547 $2 czenas 655 -7
$a studie $7 fd133597 $2 czenas 856 41
$u http://vydavatelstvi.vscht.cz/katalog/uid_isbn-978-80-7080-851-1/anotace/ $y Plný text $4 N 910 $a CBA001 FMT BK
Počet záznamů: 1