Kjos-Hanssen | Automatic Complexity | E-Book | sack.de
E-Book

E-Book, Englisch, Band 12, 156 Seiten

Reihe: De Gruyter Series in Logic and Its ApplicationsISSN

Kjos-Hanssen Automatic Complexity

A Computable Measure of Irregularity
1. Auflage 2024
ISBN: 978-3-11-077487-0
Verlag: De Gruyter
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

A Computable Measure of Irregularity

E-Book, Englisch, Band 12, 156 Seiten

Reihe: De Gruyter Series in Logic and Its ApplicationsISSN

ISBN: 978-3-11-077487-0
Verlag: De Gruyter
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

Automatic complexity is a computable and visual form of Kolmogorov complexity. Introduced by Shallit and Wang in 2001, it replaces Turing machines by finite automata, and has connections to normalized information distance, logical depth, and linear diophantine equations. Automatic Complexity is the first book on the subject and includes exercises with solutions written for the proof assistant Lean, computer programs to calculate automatic complexity, and many open problems.

Kjos-Hanssen Automatic Complexity jetzt bestellen!

Zielgruppe

Libraries, Graduate students, researchers in mathematics and comp

Autoren/Hrsg.

Kjos-Hanssen, Bjørn

Weitere Infos & Material

Bjørn Kjos-Hanssen, University of Hawaii at Manoa, USA.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.