formalization
رسمیسازی نظریه مجموعهها بدون متغیر
دانلود کتاب A formalization of set theory without variables (به فارسی: رسمیسازی نظریه مجموعهها بدون متغیر) نوشته شده توسط «Alfred Tarski and Steven Givant» اطلاعات کتاب رسمیسازی نظریه مجموعهها بدون متغیر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: AMS نویسنده: Alfred Tarski and Steven Givant زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1987 تعداد صفحه: 341 حجم کتاب: 15 مگابایت کد کتاب: 9780821810415 , 0821810413 توضیحات کتاب رسمیسازی نظریه مجموعهها بدون متغیر این اثر که در سال 1983 تکمیل شد، نزدیک به نیم قرن از مطالعات بنیادی مرحوم آلفرد تارسکی در منطق، ریاضیات و…
Computer Communications 23 1716-1723 مدل سازی مفهومی سیاست امنیتی و رسمی سازی برای سیستم های اطلاعات شبکه ای
دانلود کتاب Computer Communications 23 1716-1723 Security policy conceptual modeling and formalization for networked information systems (به فارسی: Computer Communications 23 1716-1723 مدل سازی مفهومی سیاست امنیتی و رسمی سازی برای سیستم های اطلاعات شبکه ای) اطلاعات کتاب Computer Communications 23 1716-1723 مدل سازی مفهومی سیاست امنیتی و رسمی سازی برای سیستم های اطلاعات شبکه ای موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Elsevier زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 8 حجم کتاب: 1 مگابایت دانلود کتاب «Computer Communications 23 1716-1723 مدل سازی مفهومی سیاست امنیتی و رسمی سازی برای…
تکنیک های رسمی سازی الگوی طراحی
دانلود کتاب Design Pattern Formalization Techniques (به فارسی: تکنیک های رسمی سازی الگوی طراحی) نوشته شده توسط «Toufik Taibi – Toufik Taibi» اطلاعات کتاب تکنیک های رسمی سازی الگوی طراحی موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Toufik Taibi – Toufik Taibi زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 401 حجم کتاب: 7 مگابایت کد کتاب: 1599042193 , 978-1-59904-219-0 توضیحات کتاب تکنیک های رسمی سازی الگوی طراحی بسیاری از رویکردهای رسمی برای مشخصات الگو به عنوان وسیله ای برای مقابله با کاستی های ذاتی توصیف غیررسمی در حال ظهور هستند. تکنیکهای…
اثبات، منطق و رسمی سازی
دانلود کتاب Proof, Logic and Formalization (به فارسی: اثبات، منطق و رسمی سازی) نوشته شده توسط «Detlefsen M. (Ed)» اطلاعات کتاب اثبات، منطق و رسمی سازی موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Detlefsen M. (Ed) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 118 حجم کتاب: 2 مگابایت کد کتاب: 0-203-98025-5 توضیحات کتاب اثبات، منطق و رسمی سازی اثبات، منطق و رسمی سازی به مشکلات مختلف مرتبط با یافتن یک شرح فلسفی رضایت بخش از اثبات ریاضی می پردازد. این کتاب بسیاری از برجستهترین چهرههایی را که در حال حاضر درباره…