مشخصات کتاب

面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

دسته بندی: منطق
ویرایش: 2ban. 
نویسندگان: Lu zhong wan  
سری: Zhong guo ke xue yuan yan jiu sheng jiao xue cong shu. 
ISBN (شابک) : 9787030096579, 7030096576 
ناشر: Ke xue chu ban she 
سال نشر: 2002 
تعداد صفحات: 250 
زبان: Chinese 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 33 مگابایت 

در صورت تبدیل فایل کتاب 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ریاضی برای علوم رایانه / مایان xiang ji suan jing ke xue de shu li luo ji نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

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

کتاب های مرتبط

دانلود کتاب The Death of Argument: Fallacies in Agent Based Reasoning

دانلود کتاب Boethius: The Consolations of Music, Logic, Theology, and Philosophy

دانلود کتاب Specification of Software Systems

دانلود کتاب The Problem of Inductive Logic: Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2

دانلود کتاب 逻辑学是什么

دانلود کتاب Hybrid Logic and its Proof-Theory

دانلود کتاب Non-Well-Founded Sets

دانلود کتاب Beginning Model Theory: The Completeness Theorem and Some Consequences

دانلود کتاب Roman Pottery in the Archaeological Record Architecture Design

دانلود کتاب Symbolic logic: an introduction