Articles liés à A Functorial Model Theory

A Functorial Model Theory - Couverture rigide

Nourani, Cyrus F.

 
9781926895925: A Functorial Model Theory
Couverture rigide
ISBN 10 : 1926895924 ISBN 13 : 9781926895925
Editeur : Apple Academic Press, 2014

Synopsis

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Dr. Cyrus F. Nourani is a consultant in computing R&D and a research professor at Simon Fraser University. He has many years of experience in the design and implementation of computing systems and has authored/coauthored several books and over 350 publications in mathematics and computer science. He has also held faculty positions at numerous institutions, including the University of Michigan, University of Pennsylvania, University of Auckland, UCLA, and MIT. His research interests include computer science, artificial intelligence, mathematics, virtual haptic computation, information technology, and management.

À propos de la quatrième de couverture

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Apple Academic Press
Date d'édition
2014
Langue
anglais
ISBN 10 
1926895924
ISBN 13 
9781926895925
Reliure
Relié
Nombre de pages
292
Coordonnées du fabricant
non disponible
Personne responsable
non disponible