دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The NCL Natural Constraint Language
دانلود کتاب زبان محدودیت طبیعی NCL
مشخصات کتاب
The NCL Natural Constraint Language
ویرایش: 1
نویسندگان: Jianyang Zhou (auth.)
سری:
ISBN (شابک) : 9783642238444, 9783642238451
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2012
تعداد صفحات: 316
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب زبان محدودیت طبیعی NCL: زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تحقیق در عملیات/تئوری تصمیم گیری
در صورت تبدیل فایل کتاب The NCL Natural Constraint Language به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان محدودیت طبیعی NCL نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان محدودیت طبیعی NCL
\"زبان محدودیت طبیعی NCL\"زبان NCL را ارائه می‌کند که یک زبان توصیفی در منطق ریاضی مرسوم برای مدل‌سازی و حل مشکلات رضایت از محدودیت است. NCL با سایر زبان‌های اعلانی متفاوت است: مشکلات را به طور طبیعی به شکل ساده‌شده‌ای از منطق مرتبه اول با کمی‌سازها، منطق بولی، محدودیت‌های عددی، عملیات مجموعه و توابع منطقی مدل‌سازی می‌کند. مشکلات را با برنامه نویسی مجموعه های مختلط بر روی دامنه مختلط اعداد حقیقی، اعداد صحیح، بولی ها، تاریخ/زمان ها، مراجع و به ویژه مجموعه های خاص حل می کند. این کتاب از مثال ها و آموزش های زیادی برای نشان دادن NCL و کاربردهای آن استفاده می کند. این برای محققان و توسعه دهندگان در زمینه های برنامه نویسی منطقی، برنامه نویسی محدودیت، بهینه سازی، مدل سازی، تحقیق در عملیات و هوش مصنوعی در نظر گرفته شده است که از یک زبان برنامه نویسی جدید و مبانی نظری برای کاربردهای صنعتی یاد می گیرند.
Dr. . جیانیانگ ژو مخترع NCL است و بیش از 10 سال برای صنعتی سازی آن تلاش کرده است.
توضیحاتی درمورد کتاب به خارجی
"The NCL Natural Constraint Language"presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. NCL differs from other declarative languages: It models problems naturally in a simplified form of first-order logic with quantifiers, Boolean logic, numeric constraints, set operations and logical functions; it solves problems by mixed set programming over the mixed domain of real numbers, integers, Booleans, dates/times, references, and in particular sets. The book uses plenty of examples and tutorials to illustrate NCL and its applications. It is intended for researchers and developers in the fields of logic programming, constraint programming, optimization, modeling, operations research and artificial intelligence, who will learn from a new programming language and theoretical foundations for industrial applications.
Dr. Jianyang Zhou is the inventor of NCL and has worked for its industrialization for more than 10 years.
فهرست مطالب
Front Matter....Pages iii-xiii
Introduction....Pages 1-13
Data Types and Lexical Conventions....Pages 15-27
Grammar and Semantics....Pages 29-74
Tutorial Programs....Pages 75-128
The POEM Software Platform....Pages 129-152
Modeling and Solving....Pages 153-212
Industrial Applications....Pages 213-257
Relaxation and Decomposition....Pages 259-274
Back Matter....Pages 275-311
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Theory of Economic History
دانلود کتاب Institutions, Human Development and Economic Growth in Transition Economies
دانلود کتاب Українське золотарство
دانلود کتاب Indices, generales, simul et speciales, patrologiæ latinæ : alphabetice, chronologice, statistice, synthetice, analytice, analogice, logice, hierarchice, bibliographice, biographice, etc., etc., etc., et rerum specialitatem, concinnati: lectoris ad quæsitum quodlibet per immensam materiarum sylvam quasi manu ductores ; et catholicam traditionem redivivam complentes
