توضیحات
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
————————————————————–
ترجمه ماشینی :
نظریه اساسی منطق های گزاره ای معمولی و زمانی را بیان می کند. این نظریه را در مورد منطقهای زمان گسسته (عدد صحیح)، متراکم (عقلانی) و پیوسته (واقعی)، به منطق زمانی از این پس، بعدی، و تا، و برای منطق پویای گزارهای برنامههای منظم اعمال میکند.
tag : دانلود کتاب منطق زمان و محاسبات , Download منطق زمان و محاسبات , دانلود منطق زمان و محاسبات , Download Logics of Time and Computation Book , منطق زمان و محاسبات دانلود , buy منطق زمان و محاسبات , خرید کتاب منطق زمان و محاسبات , دانلود کتاب Logics of Time and Computation , کتاب Logics of Time and Computation , دانلود Logics of Time and Computation , خرید Logics of Time and Computation , خرید کتاب Logics of Time and Computation ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.