(پارت دوم)

برونر در دهه 1960 نظریه‌ی Discovery Learning رو مطرح کرد. ایده‌اش این بود که وقتی دانشجو خودش فعالانه در فرآیند یادگیری مشارکت می‌کنه (مثلاً با حل مسئله، آزمایش، کشف رابطه‌ها)، یادگیری عمیق‌تر و ماندگارتر میشه.

می‌گفت:

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

Bruner, J. S. (1961). "The act of discovery." Harvard Educational Review, 31(1), 21–32.


بعدها Alfieri، Brooks، Aldrich و Tenenbaum (2011) با انجام یک meta-analysis نشون دادن که یادگیری اکتشافی وقتی بیشترین اثر رو داره که همراه با راهنمایی معلم (Guided Discovery) باشه، نه زمانی که دانشجو کاملاً بدون هدایت رها میشه.
به عبارتی تحقیقات اونا ثابت کرد که بهترین حالت آموزش زمانی رخ می‌ده که دانشجو به‌طور فعال با مسئله درگیر بشه، اما هم‌زمان یک چارچوب یا هدایت تدریجی از طرف معلم وجود داشته باشه.


عکس ها مربوط به جلسه اول دوره سوم Mindset هست ...
من توی این سال ها با عناوین متنوع توی دوره های مختلفی بودم و Mindset در حال حاضر نزدیک ترین حالت به جمیع ایده ها و نظرات من تو این سال های اخیر درباره برگزاری دوره هست


@azibom
@azibomChannel

Azibom.com

اینجا آقای Kevin Buzzard درباره آینده ریاضیات می گه. می گه که ریاضیات اونقدر پیچیده شده در زمان ما که روش های
documenting
قدیمی دیگه جواب گو نیست.
زمینه کاریش نظریه اعداد هست و می گه هر روز از arXiv دارم کلی ایمیل می گیرم که فلان مقاله آپلود شد و هر کدوم با کلی مرجع.
داورها به خاطر کارشون پول نمی گیرند و ضمنا همه details رو چک نمی کنند.
می گه سال ها بشر تحقیقات ریاضی انجام داده بدون اینکه از کامپیوتر استفاده کنه، ولی حالا نقش generator و checker رو دارند کامپیوترها.
می گه مقالات ریاضیات درصد کمی شون incorrect هستند و درصد زیادی incomplete(این درسته چون اون درسته، واضح است که، از این نتیجه می گیریم اون رو)
https://youtu.be/K5w7VS2sxD0?si=UkJ5Iovti3keguna

درباره اهمیت فرمال کردن قضایای ریاضی یه خاطره می گه که یه بار یه دانشجویی ازش می خواد یه مقاله ای که خودش چندین سال قبل نوشته بود رو یه بخشی اش رو توضیح بده، می گه وقتی به اثبات نگاه کردم یادم نمیومد چطوری اون قسمت رو اثبات کردم!
این خاطره رو به عنوان مثالی از غیر قابل اطمینان بودن حافظه انسان بیان می کنه.

روش نیوتن برای پیدا کردن ریشه معادله

(پارت دوم)

ظاهرا در فیزیک هم داره این کار متداول می شه:
formal verification
این دفعه در فیزیک کوانتوم، یه قضیه ای که اثبات اصلی اش gap داشته رو و بعدا اثبات اصلاح شده ای براش پیدا شده، توی Lean نوشتند.
طبیعتا من از خود قضیه و چند و چونش سر در نمیارم ولی این طور که مدعی شده
the most technically demanding theorem in physics with a computer-verified proof to date...
هست.
در حین این کار توی اثبات اصلاح شده چند تا ابهام و ایراد رو برطرف کردند و یه کتابخونه در Lean ایجاد کردند.
پ ن: حالا من به طور کلی در این زمینه صاحب نظر نیستم و نمی دونم چقدر کار چالشی یا سختی می تونه باشه، ولی با توجه به گسترش این موضوع به نظرم مقاله بازان و مقاله سازان وطنی و... بهتره از این فرمال سازی قضایا غافل نشند، مجلاتی هست که شما اگر قضایای رودین رو هم فرمال سازی کنی چاپش کنند!
لینک مقاله

سلام و درود
امید که خوب باشید
برای جلسات یک به یک 1 نفر ظرفیت داریم و برای توضیحات بیشتر درباره جلسات میتونید به پیامی که ریپلای شده یا به آدرس زیر مراجعه کنید:
https://azibom.com/mentorship/
اگر هم سوالی داشتید میتونید از امیر یا از خود من بپرسید
آیدی امیر : @MrAmirSalehi
خیلی خلاصه هم بخوام بگم یک به یک بستری برای مطرح کردن دغدغه های فنی و پیگیری اهداف تکنیکال و کاری شما خواهد بود و از جمله دغدغه هایی که این روز ها من با دوستان دارم کار میکنم در جلسات موارد زیر هستن:
ایجاد و حفظ روتین برای آپدیت نگه داشتن دوستان از نظر فنی و سافت اسکیلی، عوض کردن شرکت و رفتن به شرکت های بزرگ، پیشرفت و ارتقا در شرکت فعلی، تمرکز بر روی مباحث پایه مثل الگوریتم و دیتا استراکچر، پترن ها و گاهی وقتا ریاضیات، مشارکت در پروژه های اوپن سورس و بهبود بخشیدن رزومه و بررسی موارد موردی ای که برای دوستان در هفته پیرامون حوزه مهندسی نرم افزار پیش میاد

من در ادامه نظرات دوستان رو هم درباره جلسات میذارم

@azibom
@azibomChannel

Azibom.com

تجربه و نظر دوستان درباره جلسات یک به یک

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

مراقبت کنید

@azibom
@azibomChannel

Azibom.com

ممنونم از امیر جان بابت دعوتش
جمعه در ر‌‌ویداد Tech Talk میبینمتون

@CafeErtebat

@azibom
@azibomChannel

Azibom.com

(پارت اول)
تفاوت عمیقی بین کسی که خودش رو مسئول نتیجه میدونه با کسی که خودش رو مسئول تلاش کردن میدونه وجود داره

اینکه این تفاوت از کجا میاد به نظرم به جهان بینی فرد و اینکه به سوالات پایه ای دیگش درباره زندگی چجوری جواب داده بستگی داره
ولی بیاید اون رو بذاریم کنار و در لایه ای سطحی تر صحبت کنیم
فردی رو تصور کنید که روزی ۱۶ ساعت برای کنکور میخونده و توی آزمون های سنجش هم رتبه تک رقمی بوده ولی شب قبل کنکور عزیز ترین شخص زندگیش رو از دست میده و حتی نمیتونه خودش رو جمع بکنه و برسونه به جلسه ...
این فرد اگر خودش رو مسئول به نتیجه گرفتن بدونه بعدا هم باید غم از دست دادن عزیز رو بخوره هم غم کنکورش رو
در صورتی که عمیقا هیچ تاثیری در اون اتفاقی که براش افتاده نداشته
اگر بخوام یکم بیشتر بحث رو باز بکنم به نظرم اینکه من خودم‌ رو مسئول نتیجه بدونم و بعدا هم غصه اون رو بخورم نشون میده من دنیا رو زیادی ساده برای خودم مدل کردم،‌ مزیت مدلینگ ساده اینه که قابل تفسیره و سریع میشه بررسی و دیباگش کرد ولی بديش چیه :)
بديش اینه که مدل شما برای اینکه ساده باشه از خیلی چیزا صرف نظر کرده، از خیلی چیز هایی که هر کدوم میتونه همه چیز ر‌و زیر سوال ببره

پیچیدگی طراحی جایی که توش زندگی می‌کنیم باعث میشه قطعیت نتیجه از شما گرفته بشه، ولی احتمال نتیجه هنوزم هست

این دوستمون احتمال اینکه کنکور میداد و رتبه خوبی کسب می‌کرد خیلی خیلی خیلی بالاتر بود نسبت به کسی که تلاشی نکرده و فقط کنکور رو ثبت نام کرده
شاید بشه گفت ما مسئول تلاش های کرده و نکرده مون هستیم و مسئول نتیجه نیستیم ولی از روی تلاش هایی که داریم میکنیم میتونیم یه ابر احتمالاتی از نتیجه هم برای خودمون متصور بشیم
ولی خب چه کاریه، بیاید خودمون رو راحت کنیم، ما نمیتونیم مسئول نتیجه باشيم، در واقع بحث توانایی هست نه بحث عقیده

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

حس میکنم این شکلی برخورد کردن و دیدن زندگی بیشتر با واقعیت زندگی تطابق داره و باعث میشه بتونیم روون تر زندگی بکنیم ...

تو یه خط بخوام ایده رو بگم میتونم بگم:
کسی که فکر‌ میکنه مسئول نتیجه هست فکر میکنه سیستم دنیا خطیه و کسی که مسئول تلاش خودش هست میدونه دنیا 🌎 پیچیده طراحی شده

مراقبت کنید و سعی کنید بیشتر ر‌وی چیزی هایی که دست خودتون هست تمرکز کنید، مثل تلاش هاتون و نه نتیجه


@azibom
@azibomChannel

Azibom.com

(پارت دوم)
کسی که فکر‌ میکنه مسئول نتیجه هست فکر میکنه سیستم دنیا خطیه و کسی که مسئول تلاش خودش هست میدونه دنیا 🌎 پیچیده طراحی شده

@azibom
@azibomChannel

Azibom.com

:)))

@azibom
@azibomChannel

Azibom.com