مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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.

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

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

دانلود کتاب La Volontà di Potenza

دانلود کتاب German Jet Engine and Gas Turbine Development, 1930-45

دانلود کتاب Backstairs Billy: The Life of William Tallon, the Queen Mother's Most Devoted Servant

دانلود کتاب My Sense of Silence : Memoirs of a Childhood with Deafness

دانلود کتاب So Long! Walt Whitman's Poetry of Death