مشخصات کتاب

Collegium Logicum

ویرایش: 1 
نویسندگان: Hans de Nivelle (auth.)  
سری: Collegium Logicum 2 
ISBN (شابک) : 9783211827963, 9783709194614 
ناشر: Springer-Verlag Wien 
سال نشر: 1996 
تعداد صفحات: 147 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب Collegium Logicum: منطق و مبانی ریاضی، فیزیک نظری، ریاضی و محاسباتی، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی، محاسبات با دستگاه‌های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله

در صورت تبدیل فایل کتاب Collegium Logicum به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Collegium Logicum نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages i-vii
Resolution Games and Non-Liftable Resolution Orderings....Pages 1-20
A Tableau Calculus for Partial Functions....Pages 21-49
MUltlog: an Expert System for Multiple-valued Logics....Pages 50-55
A Fundamental Problem of Mathematical Logic....Pages 56-64
On the lengths of proofs of consistency....Pages 65-86
The Craig Interpolation Theorem for Schematic Systems....Pages 87-100
The Role of Monotonicity in Descriptive Complexity Theory....Pages 101-117
Numbers Defined by Turing Machines....Pages 118-137
Back Matter....Pages 139-143

نظرات کاربران

کتاب های تصادفی

دانلود کتاب A Charming Exchange 25 Jewelry Projects To Create & Share

دانلود کتاب Lonely Planet Pocket Singapore 6

دانلود کتاب Data Mining for Business Analytics: Concepts, Techniques, and Applications With XLMiner

دانلود کتاب 詹森艺术史

دانلود کتاب Transcultural Medicine: Dealing with patients from different cultures