دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logique, volume 2 : méthodes formelles pour l'étude des programmes
دانلود کتاب منطق ، جلد 2: روشهای رسمی برای مطالعه برنامه ها
مشخصات کتاب
Logique, volume 2 : méthodes formelles pour l'étude des programmes
ویرایش:
نویسندگان: Paul Gochet. Pascal Gribomont
سری:
ISBN (شابک) : 2866013956, 9782866013950
ناشر: Hermes Science Publications
سال نشر: 1994
تعداد صفحات: 354
زبان: French
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب Logique, volume 2 : méthodes formelles pour l'étude des programmes به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، جلد 2: روشهای رسمی برای مطالعه برنامه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ، جلد 2: روشهای رسمی برای مطالعه برنامه ها
بخش اول به تئوری اختصاص دارد مجموعه ها فصل 1 مقدمه ای را بیان می کند جنبه های فلسفی و تاریخی، فنی در فصل 2 افشا شد. نظریه مجموعه ها هر دو یک کاربرد اساسی از منطق مرتبه اول که در اول مورد مطالعه قرار گرفت حجم، و مبنای نظری روش های رسمی در برنامه نویسی قسمت دوم اختصاص دارد به این روش ها و تصویر آنها. فصل 3 منطق کلاسیک Hoare را معرفی می کند و اجازه می دهد مطالعه رسمی برنامه های متوالی؛ این منطق برای برنامه نویسی موازی مناسب است فصل 4. فصل 5 به بررسی نظریه نقطه می پردازد ثابت است، که امکان مطالعه سیستماتیک برنامه ها را فراهم می کند و انواع زبان های برنامه نویسی از جمله زبان های کاربردی و منطقی. بنابراین این کتاب یک ارائه واضح است و پیوندهای مستدلی که عمیقاً با هم ارتباط دارند منطق و مطالعه خصوصیات برنامه ها.
توضیحاتی درمورد کتاب به خارجی
La première partie est consacrée à la théorie des ensembles. Le chapitre 1 donne une introduction philosophique et historique, les aspects techniques étant exposés au chapitre 2. La théorie des ensembles constitue à la fois une application essentielle de la logique du premier ordre, étudiée dans le premier volume, et la base théorique des méthodes formelles en programmation. La seconde partie est consacrée à ces méthodes et à leur illustration. Le chapitre 3 présente la logique de Hoare classique, permettant l'étude formelle des programmes séquentiels ; cette logique est adaptée à la programmation parallèle au chapitre 4. Le chapitre 5 examine la théorie du point fixe, qui permet l'étude systématique des programmes et langages de programmation de tous types, y compris des langages fonctionnels et logiques. Cet ouvrage constitue donc une présentation claire et raisonnée des liens qui associent en profondeur logique et étude des propriétés des programmes.
