Logic and Automata

Logic and Automata

作者:Flum, Jör
ISBN:9789053565766
语言:Undetermined
出版社:Amsterdam University Press
格式:Pdf
资源下载
此资源为免费资源,请先后下载

Keywords

wetenschap algemeen; popular science

Abstract

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field. Wiskundige logica en automata theorie zijn twee wetenschappelijke disciplines die nauw met elkaar verbonden zijn. Deze relatie is niet alleen fundamenteel voor velen theoretische resultaten, maar vormt ook de basis voor een coherente methodologie voor de controle en synthese van gegevensverwerkingssystemen. De auteurs van Logic en Automata grijpen de gelegenheid van de zestigste verjaardag van Wolfgang Thomas aan om een ‘tour d’horizon’ op het gebied van automata theory en logica te geven. De twintig hiervoor verzamelde essays beslaan verschillende facetten van de logica en automata theorie, ze benadrukken de verbanden met andere disciplines als complexiteitstheorie, games, algorithms en semi-groep theorie en bespreken eigentijdse uitdagingen op dit gebied. 

资源下载此资源仅限注册用户下载,请先
资源下载
作者:Flum, Jör
ISBN:9789053565766
语言:Undetermined
出版社:Amsterdam University Press
格式:Pdf

如果您有任何问题,请随时与我们联系,谢谢。Logic and Automata 内容均搜集于网络,本身不存储任何资源,如侵犯到您的权益,请提交反馈,我们将配合您第一时间删除。

0
封面图

评论0