-
Martin Otto
Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read
دانلود کتاب Bounded Variable Logics and Counting: A Study in Finite Models
by Martin Otto|
|
عنوان فارسی: منطق متغیر محدود و شمارش: مطالعه در مدل های محدود |
دانلود کتاب
جزییات کتاب
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
درباره نویسنده
مارتا تورن (انگلیسی: Martha Thorne؛ زادهٔ ۱۹۵۳) یک معمار آکادمیک، مدیر، ویراستار و پدیدآور اهل ایالات متحده آمریکا است.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
