دانلود کتاب Boolean Functions and Computation Models

Name: Boolean Functions and Computation Models
Availability: InStock
Author: Peter Clote
ISBN: 3540594361, 9783540594369

by Peter Clote, Evangelos Kranakis

عنوان فارسی: توابع و مدل های محاسبه بولی
ناشر: Springer
سال: 2002
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 616-616
شابک: 3540594361, 9783540594369
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 7.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Non-uniform computation models are studied in the form of Boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. Providing a survey of research in the field, the book will benefit advanced undergraduates and graduate students as well as researchers.