مرور درختی موضوعات | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
نمودار درختی موضوعات
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
>
منطق کلاسیک
منطق این همانی
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
منطق شناختی
منطق گزاره ها
منطق محمولها
منطق مرتبه دوم
منطق موجهات
جستجو در
عنوان
پدیدآورنده
توصیفگر
موضوع
ناشر
زبان
نوع منبع
رشته تحصیلی
مقطع تحصیلی رساله تحصیلی
تاریخ
محل
جستجو در متن
همه موارد
برای عبارت
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
عنوان :
ساختار نحوی و سمانتیکی منطق ربط
نویسنده:
سکینه تولمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق ریاضی
,
قیاس
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق استنتاج
چکیده :
منطق ربط شاخهای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان میکند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده میشود. در این پایاننامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلالهای ربطی و غیر ربطی را نشان دادهایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را سادهتر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداختهایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده میکند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگیهای فراوانی دارد که پارهای از این پیچیدگیها را در قالب مثالهای گوناگون نشان دادهایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان دادهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق های ربط
نویسنده:
مریم امیر ماهانی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق ریاضی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
منطق استنتاج
چکیده :
در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات نابهنجار مورد نیاز است، بیان می کنیم. مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می پردازیم
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی ربطی: رویکردی گزارهای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
فراسازگاری (منطق)
,
منطق ریاضی
,
منطق نمادی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق فازی
,
قوانین دمورگان
چکیده :
در استدلالهای علمی و حتی در استدلالهای روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلالهايي سر و کار داريم که تقريبیاند و تا يک درجه خاصی درست هستند. در اين پاياننامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزارهای و غيرکلاسيک منطقهايي ساخته میشوند که استدلال آنها هم فازی است و هم ربطی، و منطقهای فازی ربطی نام دارند. منطقهای فازی ربطی FB، NB را با راهکار فازیسازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطقهای پايه هستند. منطقهاي فازی ربطی قویتر، گسترش اين منطقها هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ملاصدرا منطق، اخلاق و کلام
نویسنده:
همایش جهانی حكیم ملاصدرا
نوع منبع :
کتاب , مجموعه مقالات , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
تهران: بنياد حکمت اسلامي صدرا,
زبان :
فارسی
کلیدواژههای اصلی :
16. کلام عقلی
,
مقاله ها
,
فلسفه اسلامی
,
اصطلاحنامه منطق
,
فلسفه دین
,
فلسفه منطق
,
شوارق الالهام: لاهیجی
,
اسفار اربعه: ملاصدرا
,
شفاء: ابن سینا
,
الشواهد الربوبیّة: ملاصدرا
,
01- کافی : شیخ کلینی
,
مقدمه ابن خلدون
,
اصطلاحنامه فلسفه اخلاق
,
اصول فلسفه و روش رئالیسم (علامه طباطبایی/ مرتضی مطهری)
کلیدواژههای فرعی :
دلیل ضرورت نبوت ,
معتزله (اهل سنت) ,
ارزش های اسلامی ,
رییس مدینه فاضله ,
حرکت جوهری ,
عکس ( قضیه ) ,
قضیه حملیه ,
عکس نقیض ( قضیه ) ,
حدود قیاس ,
قیاس اقترانی ,
حد وسط ,
حضرت قلب(انسانی) ,
حقیقت قلب(قسیم روح و سر ونفس) ,
وحی و عقل ,
کثرت گرایی دینی(فلسفه دین) ,
منطق کلاسیک ,
منطق غیر کلاسیک (منطق های توسعه یافته) ,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
چکیده :
مجموعه مقالات همایش جهانی حکیم ملاصدرا جلد نهم- ملاصدرا ـ منطق، اخلاق و کلام این کتاب جلد نهم از مجموعه مقالات همایش جهانی حکیم صدرالمتألهین شیرازی است. در این جلد مقالات مقوله منطق و فلسفه منطق (شامل ۱۱ مقاله) و مقالات مقوله فلسفه اخلاق (شامل ۱۶ مقاله) و ۶ مقاله از مقالات مقوله کلام و فلسفه دین آمده است. مقالات این کتاب در مجموع ۳۳ مقاله است که از میان آنها ۱۴ مقاله از انگلیسی، یک مقاله از زبان فرانسه و دو مقاله از عربی به فارسی ترجمه شده است. عناوین برخی از مقالات و نویسندگان آن عبارتند از: ـ ملاصدرا و تحول قضایا به حملی موجب کلی ضروری: احد فرامرز قراملکی ـ منطق زمان و نظریه اقتران شرطی ابنسینا: لطفالله نبوی ـ نگاهی گذرا به نگاشتههای منطقی از آغاز تا عصر ملاصدرا: محسن برزگر ـ حقیقت چیست؟: پال هورویچ ـ اصول تربیتی فلاسفه و متکلمین اسلامی و مقایسه آنها با علوم تربیتی: علی قائمی امیری ـ اهمیت عقاید دینی در تصمیمگیری پزشکی در مورد پایان زندگی: هانس مارتین زاس ـ ملاحظاتی درباره مفهوم قلب از نظر ملاصدرا: پل بالانفه ـ زیست اخلاق و ژنتیک انسانی: لودگر هونفلدر ـ پلورالیسم و وحی از منظر صدرالمتألهین شیرازی و پلتیلیش: اعلاء تورانی این کتاب بهمراه شرح مختصری از نویسندگان مقالات در ۵۱۴ صفحه از سوی بنیاد حکمت اسلامی صدرا منتشر شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید
نویسنده:
علیرضا دارابی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق شرطی
,
منطق سینوی
,
ساختار نحوی
,
اصطلاحنامه منطق
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق مرتبه دوم
چکیده :
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظامهای منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظامهای جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطقدانان سینوی و مبتنی بر کاربرد معمول زبان طبیعی صورت پذیرفته است. بر پایه این بررسی، سه روایت متمایز از قواعد منطق شرطی لزومی سینوی قابل تشخیص است. دو روایت از این سه را میتوان بر مبنای ترکیبی از منطق ربط، منطق زمان، منطق مرتبه دوم و مبتنی بر پیشفرض حقیقی بودن لزومیهای به کار رفته در شرطی سینوی صورتبندی نمود. روایت سوم در نظامهای موجود در منطق جدید قابل صورتبندی نیست.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
واژهنامهی توصیفی منطق: انگلیسی به فارسی
نویسنده:
ضیا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی,
زبان :
انگلیسی , فارسی
کلیدواژههای اصلی :
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق شناختی
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
کاربرد ایده جهانهای ممکن در منطق و ادبیات داستانی
نویسنده:
سمیه فریدونی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
ادبیات داستانی
,
معنی شناسی
,
منطق ریاضی
,
جهان های ممکن(اصطلاح وابسته)
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق موجهات
چکیده :
ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالتشناسی صوری برای منطق گزارههای ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعهها، بوده است. این ایده سپس، در شاخههای دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشتههای دیگر مانند فلسفه زبان و هنر و حتی هوش مصنوعی، نیز مورد توجه قرار گرفت و پژوهشگران این رشتهها ...
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق تکلیف و کاربرد آن در دستگاههای هنجاری
نویسنده:
ابوتراب پورحقانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
اصول ریاضیات
,
منطق ریاضی
,
علوم کامپیوتر
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق هنجاری
,
دستگاه هنجاری
,
منطق خروجی و ورودی
چکیده :
دستگاه هنجاری اولین ساختار اجتماعی است که توسط بشر ایجاد شده است. ابتدایی ترین دستگاه هنجاری خانواده و بزرگترین آن جامعه است دستگاه هنجاری بر پایه هنجارها و مجوز ها استوار است .در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است با ارائه دو مقاله دیگر این منطق به عنوان توسیعی از منطق تکلیف کامل گردید. در این منطق با استفاده از یک قید در استنتاج ها جلوی تولید پارادوکسها گرفته می شود. در این منطق وظایف را به صورت زوجهای مرتب نشان می دهیم که درایه اول اشاره به وضعیتی است که اتفاق افتاده است و درایه دوم مربوط به وظیفه یا مجوزی است که در آن وضعیت وجود دارد. این منطق قاعده محور بوده و شامل هیچ اصل موضوعی نیست. یکی از دیگر مباحث مطرح در منطق تکلیف موضوع دستگاه های هنجاری است. یک دستگاه هنجاری، دستگاهی که بر اساس وظایف پایه گذاری شده است. مثال بارز این نوع دستگاه ها، حکومت یک کشور می باشد. در هر دستگاه هنجاری هر کسی وظیفه ای بر عهده دارد که باید انجام دهد. برای این دستگاه ها مدل های مختلفی در منطق تکلیف ارائه شده است. یکی از این مدلها بر اساس منطق ورودی/خروجی ارائه شده است. در این مدل هنجارهای اساسی و رویه ای و روابط محسوبی مدل شده است. این مدل سازگار با مباحث علوم کامپیوتر می باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق خطی
نویسنده:
پریسا طلوعی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق خطی
چکیده :
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را با منطق های کلاسیک و شهودگرایی بیان می کنیم، که به طور خلاصه محتوای آن به شرح زیر است: این پایان نامه از سه فصل تشکیل شده و در این فصل ها سعی شده است تمامی مطالب مورد نیاز بیان شود فصل اول شامل سه بخش است که در بخش های اول و دوم و سوم به ترتیب، منطق های کلاسیک و شهودگرایی و زیرساخت را معرفی می کنیم و نکاتی در مورد آنها را توضیح می دهیم. در بخش اول فصل دوم به تعریف منطق خطی می پردازیم. در بخش دوم الفبای آن را بیان می کنیم و هر یک ازحروف ربط آن را با ذکر مثال توضیح می دهیم. بخش سوم شامل یکی از کاربردهای این منطق است و در بخش چهارم اصول موضوعه منطق خطی را بیان می کنیم. فصل سوم شامل سه بخش است. در بخش اول به بیان معناشناسی حالت می پردازیم و تفسیر هر یک از حروف ربط را در آن نشان می دهیم. در بخش دوم معناشناسی تشخیصی را بیان می کنیم و حروف ربط را در آن تفسیرمی کنیم و چگونگی تبدیل منطق های کلاسیک و شهودگرایی به منطق خطی را بیان می کنیم. در بخش سوم نیز مثالی برای این معناشناسی ها می آوریم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق عملی تکلیف، جبرهای بول اتمیک و تحملپذیری خطا
نویسنده:
فاطمه احمدی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
جبر بول
,
منطق زمانی
,
منطق کلاسیک
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
برنامه نویسی منطقی
چکیده :
هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (DPL ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (CTL) توسیع داده می شود. در سیستم های تحمل پذیر خطا، بعد از یک نقض باید اعمالی اجرا شود تا آن نقض را جبران کند که در منطق تکلیف استدلال CTD نامیده می شود. رویکرد ما در این پایان نامه برای مواجهه با چنین جملاتی، استفاده از چندین نسخه ی مجوز می باشد که به این ترتیب توسیع سودمند دیگری از DPL حاصل می شود. در این پایان نامه همچنین با طرح سناریوهایی از ساختارهای ارائه شده مانند شام فیلسوفان و سیستم قطار، چگونگی کاربرد آنها را برای مشخص کردن سیستم های محاسبه در عمل نیز نشان می دهیم.
انتخاب :
مشخصات اثر
ثبت نظر
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید