نتایج جستجو

در صفحۀ هفتاد و شش، حدیث سی و یکم بودیم. «حدثنا أحمد بن هارون الفامي رضي‌اللّه‌عنه ، قال : حدثنا محمد بن عبد اللّه ابن جعفر بن جامع الحميري ، عن أبيه ، عن أحمد بن محمد بن عيسى ، عن أبيه ، عن محمد بن أبي عمير ، عن غير واحد، عن أبي عبد اللّه عليه‌السلام قال...

این را به مناسبت شهادت امام علیه‌السلام عرض کردم. حالا حدیث چیست؟ حضرت علیه السلام فرمودند: «من شبّه اللّه بخلقه فهو مشرك ومن أنكر قدرته فهو كافر»؛ کسی که خدا را به خلق خدا تشبیه کند، مشرک است. هر کسی هم قدرت او را انکار کند، کافر است. ظاهر حدیث در ذهن طلبگ...

سلسله درس گفتارهای شرح توحید شیخ صدوق در سال ۱۴۰۴(جلسۀ چهارم): ادامۀ شرح حدیث شمارۀ سی و یکم   وجوهی برای روایت «انّ لی مع کل ولیّ اذنا سامعة و عیناً باصرة و لسانا ناطقة»؛ تفاوت آثار قرب نوافل و قرب فرائض؛ محدودۀ غلو و علو؛ مذمت رفتارهای غیر عرفی در سلوک.

[در شرح] روایت سی و یکم بودیم. حضرت علیه السلام فرمودند: «من شبه اللّه بخلقه فهو مشرک و من انکر قدرته فهو کافر». بحث‌هایی پیرامون مناسبت تشبیه با شرک و انکار قدرت، با کفر شد. آقا [یکی از حاضران] می‌فرمایند به مناسبت شهادت امام صادق علیه‌السلام، می‌خواهند حدی...

موضوعات مطروحه در جلسه:مروری بر سیر تحلیل هوش پایه‌محور و معرفی نسل‌های مختلف هوش مصنوعی، تبیین مشکل جعبه سیاه در هوش مصنوعی، هوش مصنوعی داده‌محور، روش آماری در هوش مصنوعی، یادگیری عمیق و توضیح ناپذیری در هوش مصنوعی

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

بخش دوم این بود: بعد از فراغ از این‌که ما بین اشراق‌محور و پایه‌محور تفاوت گذاشتیم، حالا بیاییم هوش پایه‌محور را دقیق تحلیل کنیم و به آن آگاهی کامل پیدا کنیم به نحوی که وقتی می‌خواهیم برای آن حکم فقهی بیاوریم، بدانیم که موضوع چیست و نسبتاً یک دید روشنی از پا...

جلوتر عرض کردم؛ گفته می‌شود که خیلی از تکنیک‌های امروزی تبلور و تجسم یک ایده فلسفی است. جلوترها هم عرض کردم که اندازه‌ای که من می‌فهمم، در ذهنم صاف نمی‌شود. اتفاقاً مهندسین نرم‌افزار، یا کلاً مهندسین از اول عالَم، آن کسی و چیزی که برای مهندس کار انجام می‌دهد...

خب ابزار این فضا از کجا می‌آید؟ عدد باینری، یک ابزار ریاضیاتی بسیار قوی به دست مهندسین داد. این کاری به فلسفه ندارد. عدد باینری را فلاسفه باید به آن‌ها بدهند؟ نه. بعدش کلود شانون آمد جبر صفر و یکی را آورد و محاسبات نمادین را شروع کرد. نسل اول هوش مصنوعی -هوش...

الآن زمان ما، به‌خصوص در سه-چهار سال اخیر که پیشرفت عجیبی شد، دوباره این جبر خطی را وارد فضا کردند. جبر خطی آمد و الآن شما مدام از آن سؤال می‌پرسید و جواب می‌دهد. همین چند سال آمد، خیلی عمر طولانی‌ای ندارد. شروعش شاید پانزده-شانزده سال بشود، اما پیشرفت‌های خ...

 مرحله دوم، یادگیری عمیق بود. یک مشکلی هم که الآن هست، مشکل جعبه سیاه است. الآن خیلی مهم است و دارند خیلی روی آن کار می‌کنند؛ «Black-box problem». این جعبه سیاه، شاهد عرض من است که تفلسف و ایده فلسفی، پشت کار پیشرفت این‌ها نیست. الآن می‌خواهند کار شبکه عصبی...

شاگرد۲: این مرحله سوم است؟ استاد: مرحله سوم جور دیگری است که الآن می‌خواهم عرض کنم. شاگرد۲: قبل از مرحله سوم چکار می‌کند؟ فرمودید که نمی‌توانند بفهمند چکار می‌کند، اما آن را بخش بخش می‌کنند؟ استاد: نسل سوم که خیلی مهم است، این است که اصلاً ریخت درک منطقی…...

شاگرد۱: تحلیل خطای ما که هوش واقعی هستیم چیست؟ ما هم این خطاها را می‌کنیم؛ گاهی ورودی‌ها درست است، ولی خطا می‌کنیم. استاد: اتفاقاً چون ریخت شبکه‌های عصبی را پیاده سازی کرده‌اند، اگر این‌ها در آینده پیشرفت کند و پردازش‌های عمیق را بتوانند به رده بالای توضیح‌...

تعاریف و اصطلاحات ریاضی (ضریب، مَضرَب، مَضروب)      در مباحث ریاضی و حساب، اصطلاحات «ضریب»، «مَضرَب» و «مَضروب» به کار می‌روند. «مَضرَب» به معنای حاصل‌ضرب است، در حالی که «مَضروب» خودِ عددی است که مورد ضرب قرار گرفته است. ضریب و مضروب: اگر یک عبارت جبری مانن...

۱. متن (فصل تفریق) / ۳:۵۵ ۲. تفاوت سیر علمی در غرب و در بین مسلمین / ۲۴:۵۵ ۳. عمل ضرب / ۳۵:۱۵ ۴. نسبت / ۴۴:۰۰ ۵. تعریف عمل و مناقشه در آن / ۴۹:۲۰ تنصیف و امتحان آن      بحث در ابتدا با موضوع امتحان تنصیف (آزمون صحت نصف کردن یا تقسیم) آغاز می‌...

مطالب مطرح شده در این جلسه:۱. تعریف ضرب ۰۱:۵۲۲. تنصیف۳۵:۳۰۳.اقسام ضرب۴۰:۳۶ تعریف ضرب و اشکالات منطقی تعاریف سه‌گانه: اشاره شد که مصنف در بخش «الباب الاول» یک تعریف ابتدایی از ضرب ارائه کرده بود که مختص اعداد صحیح بود. اما تعریف دوم که در اب...

۱-به کار گیری واحد در تعریف ضرب6:30 ۲-تعریف نسبت14:50 ۳-نسبت27:50 تعریف ضرب و مسئله «من هاهنا یعلم»      بحث اصلی پیرامون اشکالاتی است که به تعریف دوم ضرب وارد شده و تمرکز آن بر عبارت «من هاهنا یعلم» است. تعریف ضرب به این صورت بیان شده است که «...

بحث در مورد مفردات و مراتب ضرب ردّ غیر آحاد به سمّیها: بحث با توضیح در مورد دو فرد آخریِ اقسام مفرد آغاز می‌شود (آخِران). این قاعده بیان می‌کند که غیر آحاد (اعداد مفردی که بیش از یک رقم دارند، مانند ۲۰۰) باید به همنام خودشان از آحاد (اعداد ی...

توضیح و روش اجرای قاعده‌ی دوم      قاعده‌ی دوم روشی برای محاسبه حاصل ضرب دو عدد است که در زمان خود "مِنَ القَواعِدِ المَعروفَةِ المُشتَهَرَة" بوده است. برای محاسبه حاصل ضرب دو عدد (بین عدد ۵ و عدد ١٠) با این قاعده، مراحل زیر طی می‌شود: ۱.     ...

قاعده دوم محاسباتی و مکانیسم آن تعریف و مثال      قاعده دوم عبارت است از: «تجمع المضروبین و تبسط ما فوق العشره عشرات و تزید علی الحاصل مضروب فضل العشرة علی احدهما فی فضلها علی الآخر». برای مثال، در ضرب ٧ در ٨، ابتدا دو عدد با هم جمع می‌شوند که ...