مؤلف کتاب حقائق‌الایمان معتقد است که ایمان، تصدیق منطقی یا یقین ثابت جازم نسبت به متعلقات ایمان است. البته این تصدیق زمانی به‌عنوان ایمان پذیرفته می‌شود که با انکار معارف ایمانی همراه نباشد. ایشان اختیار در ایمان را به اختیار در حدوث یا اختیار در بقای ایمان مربوط می‌داند. از نظر وی تعریف لغوی ایمان عبارت است از تصدیق منطقی که تعریف شرعی اخص از معنای لغوی آن است. در نقد و بررسی نظریۀ مذکور، به ا...

با توجه به برتری های سیستم رمزنگاری منحنی بیضوی در مقایسه با دیگر روش های رمزنگاری همانند روش های مبتنی بر مسأله ی فاکتورگیری صحیح و مسأله ی لگاریتم گسسته، امروزه سعی برآن است که از مسأله ی لگاریتم گسسته روی منحنی بیضوی در تولید امضای وکالتی به گونه ای موثر استفاده شود. در سال های اخیر توجه محققین بیشتر از قبل به این موضوع معطوف شده است و روز به روز تحقیق و پژوهش در زمینه ی انواع روش های امضای ...

بررسى معنى‌شناسى و اصطلاح‌شناسى مرحوم طبرسى از اصطلاح دین، ایمان و اسلام است. عده‌اى میان معناى لغوى ایمان و معناى اصطلاحى آن ارتباط مى‌بینند و ایمان را تصدیق قلبى، تصدیق لسانى و قلبى و... معرفى مى‌کنند. گروهى دیگر ایمان اصطلاحى را معرفت و لغت ایمان را تصدیق مى‌خوانند. مرحوم طبرسى از سویى همانندى معناى لغوى و اصطلاحى ایمان را باور دارد و از سویى دیگر ایمان را معرفت مى‌خواند و نقل ایمان از معناى...

بررسی معنی شناسی و اصطلاح شناسی مرحوم طبرسی از اصطلاح دین، ایمان و اسلام است. عده ای میان معنای لغوی ایمان و معنای اصطلاحی آن ارتباط می بینند و ایمان را تصدیق قلبی، تصدیق لسانی و قلبی و... معرفی می کنند. گروهی دیگر ایمان اصطلاحی را معرفت و لغت ایمان را تصدیق می خوانند. مرحوم طبرسی از سویی همانندی معنای لغوی و اصطلاحی ایمان را باور دارد و از سویی دیگر ایمان را معرفت می خواند و نقل ایمان از معنای...