خرید کتاب راهنمای سریع روشهای رسمی: نظریه ، مبانی و کاربردهای صنعت

[ad_1]

این آموزش / مرجع ارزشمند راهنمای آسان برای خواندن اصول روش های رسمی را فراهم می کند ، و استفاده های غنی از روش های رسمی را در طیف گسترده ای از حوزه های محاسبات برجسته می کند. مباحث و ویژگی ها: مفاهیم اصلی را در توسعه نرم افزار ، قابلیت اطمینان نرم افزار ، قابلیت اطمینان نرم افزار ، روش های رسمی و ریاضیات گسسته معرفی می کند. تاریخ مختصری از منطق را ارائه می دهد ، از منطق قصارشناسی ارسطو و منطق رواقیون از طریق منطق نمادین بول تا کار فرگه در مورد منطق محمول ها ؛ منطق جملات و گزاره ها و همچنین موضوعات پیچیده تری مانند منطق فازی ، منطق زمانی ، منطق شهود ، مقادیر تعریف نشده و کاربردهای منطق در هوش مصنوعی را پوشش می دهد. در حال مطالعه زبان مشخصات Z ، روش طراحی وین (VDM) و مدرسه ایرلندی VDM ، و همچنین زبان مدل سازی یکپارچه (UML) است. درباره ضعیف ترین حساب پیش شرط دیکسترا ، معناشناسی بدیهی زبانهای برنامه نویسی هورا ، و رویکرد کلاسیک پارناسوس و عبارات جدول آن بحث می کند. پوشش نظریه اتومات ، احتمالات و آمار ، بررسی مدل و ماهیت قضیه اثبات و اثبات را فراهم می کند. مجموعه ابزارهای موجود را برای حمایت از تسهیل کننده رسمی در نظر می گیرد و انتقال روش های رسمی به صنعت را در نظر می گیرد. شامل سوالات کلی است و موضوعات اصلی را در هر فصل برجسته می کند و شامل یک واژه نامه مفید در پایان کتاب است. این راهنمای محرک ، مروری گسترده و در دسترس از روش های رسمی را برای دانشجویان علوم کامپیوتر و ریاضیات که به نحوه استفاده از روش های رسمی علاقه مند هستند ، فراهم می کند. در محاسبات.

[ad_2]

read more