مشخصات کتاب

Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

ویرایش:  
نویسندگان: Serenella Cerrito  
سری:  
ISBN (شابک) : 2711720691, 9782711720699 
ناشر: Vuibert 
سال نشر: 2008 
تعداد صفحات: 194 
زبان: French 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

در صورت تبدیل فایل کتاب Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق محاسبات: مقدمه ای بر کسر خودکار: دوره ها و تمرین ها، مدرک علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق محاسبات: مقدمه ای بر کسر خودکار: دوره ها و تمرین ها، مدرک علوم کامپیوتر

در پشت جلد آمده است: "IT در جامعه ما همه جا حاضر است، ما را به سمت استفاده از نرم افزارهایی سوق می دهد که قابل اعتماد هستند. - این به نوبه خود مستلزم استفاده از فرمالیسم دقیق است: زبان برنامه نویسی به خوبی نوشته شده، موانعی را که می تواند بین توسعه دهندگان ایجاد شود کاهش می دهد. و کاربران.این گونه فرمالیسم ها بر اساس منطق ریاضی ساخته شده اند.این است که ابزارهایی را برای مدل سازی صحیح اطلاعات پیچیده و انجام پردازش های کامپیوتری فراهم می کند. این کتاب در زمینه های مختلفی مانند مبانی زبان های برنامه نویسی و پایگاه های داده، هوش مصنوعی یا مهندسی نرم افزار کاربرد دارد. این کتاب درسی ساده و دقیق برای آموزش پایه دانشگاه علوم کامپیوتر در نظر گرفته شده است. این کتاب نحوه استفاده از منطق رسمی را نه تنها برای مدل سازی اطلاعات می آموزد. بر روی داده ها، بلکه برای دستکاری خودکار آنها. - برای این کار از نرم‌افزاری استفاده می‌شود که استدلال بر روی این داده‌ها و استنتاج را ممکن می‌سازد (در اینجا در CAML ارائه شده است، راه‌حل‌های برنامه‌نویسی خود را به تمام زبان‌های برنامه‌نویسی دیگری که کاربران ممکن است انتخاب کنند، می‌رسانند). منطق مورد استفاده در اینجا منطق به اصطلاح کلاسیک است. این است که هسته اصلی دیگر منطق های پیچیده تر را تشکیل می دهد. این مقدمه برای منطق برای علوم کامپیوتر که بیشتر به سمت علوم کامپیوتر گرایش دارد تا ریاضیات و همچنین شامل تعداد بسیار زیادی تمرین با کاربرد مستقیم دشواری تدریجی است، در نوع خود بی نظیر است. - این راهنما که عمدتاً برای دانش آموزانی که در لیسانس علوم کامپیوتر (L1، L2 و L3) ثبت نام کرده اند، در نظر گرفته شده است، این راهنما برای هر دانشمند رایانه ای که مایل به کسب پایه ای محکم در منطق و درک اینکه منطق برای تمرین علوم کامپیوتر ضروری است مناسب است.

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

La 4ème de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. - Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique."

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

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

دانلود کتاب Technology and Productivity: The Korean Way of Learning and Catching Up

دانلود کتاب Small Unmanned Fixed-Wing Aircraft Design. A Practical Approach

دانلود کتاب Additive Manufacturing: Advanced Materials and Design Techniques

دانلود کتاب Dinosaurios Guia Esencial

دانلود کتاب Storia del popolo ebraico. Dall’età dei profeti allo stato di Israele