مكتبتي

   
تقييد البحث على الأوعية المتاحة
تم العثور على 3153 نتائج. تم الفرز حسب الصلة | التاريخ | العنوان .
مصادر
More Information
غلاف الكتاب
Book
المؤلف Hein, James L

العنوان Discrete structures, logic, and computability / James L. Hein, Ph.D., Professor Emeritus, Portland State University.

ختم Burlington, MA : World Headquarters/Jones & Bartlett Learning, [2016]

نسخ

الموقع رقم الطلب الحالة
 مكتبة الطالبات  QA76.9.M35 .H44 2016    Available
 مكتبة الطلاب  QA76.9.M35 .H44 2016    Available
الطبعة Fourth edition
الوصف xiv, 1039 pages ; 25 cm.
قائمة المراجع Includes bibliographical references and index.
المحتويات Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
الموضوع Computer science -- Mathematics
Logic programming
Data structures (Computer science)
Logic, Symbolic and mathematical
Computable functions
الرقم الدولي الموحد للكتب (ISBN) 9781284070408