(پارت دوم)

برونر در دهه 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