Bokus
Cyrus F. Nourani - Functorial Model Theory, E-bok

E-bok, Engelska, 2016

Functorial Model Theory

Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Av Cyrus F. Nourani

2033 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
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 cat
Produktinformation
  • Utgivningsdatum: 2016-04-19
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9781482231502
  • Förlag: Taylor & Francis Ltd
Utforska kategorier
Mer om författaren

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.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.