| spelling |
oapen-20.500.12657-353012022-04-26T11:17:55Z Logic and Automata Flum, Jörg Wilke, Thomas Grädel, Erich wetenschap algemeen popular science bic Book Industry Communication::P Mathematics & science::PD Science: general issues 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. 2010-12-31 23:55:55 2019-12-10 14:46:32 2020-04-01T15:38:18Z 2020-04-01T15:38:18Z 2007 book 340026 OCN: 232968063 994496483 9789053565766 http://library.oapen.org/handle/20.500.12657/35301 eng Texts in Logic and Games application/pdf n/a 340026.pdf Amsterdam University Press 10.5117/9789053565766 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. 10.5117/9789053565766 dd3d1a33-0ac2-4cfe-a101-355ae1bd857a 9789053565766 2 736 open access
|
