Logic and Automata : History and Perspectives

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Jörg Flum, Erich Grädel, Thomas Wilke

Ngôn ngữ: eng

ISBN-13: 978-9053565766

Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)

Thông tin xuất bản: Amsterdam : Amsterdam University Press, 2007

Mô tả vật lý: 1 electronic resource (736 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 240532

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.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH