پانوشت

دست نوشته های حسین نادری

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

رابطه کایلی: تعداد درخت های برچسب دار

به نام او

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

تعداد درخت های برچسب دار

یاحق!

۴۲۵ بازدید

یادداشتی بر ترم دو

پس از چند هفته که ترم دو شروع شده، حالا برخلاف اوایل ترم احساس می کنم کارم سنگین تر شده. منطق که موضوع جدیدیه هر چند فرازبانش رو بلدم ولی در کل باید براش وقت گذاشت. برنامه نویسی پیشرفته هم همین طور. من تا به حال این طور کد نزده بودم و این مواردی که تو AP مطرح می شه برام مهم نبودن. ریاضی عمومی دو هم که سختی های خودشو داره. می مونه ریاضیات گسسته که خیلی غریبی نمی کنه ولی به خاطر علاقه ای که دارم می خوام بیشتر یاد بگیرم. هر چند دیگه برای این که کتاب تو زمینه گسسته بخونم پیر شدم. نشستم دارم مقاله هایی که دانشجو های کارشناسی علوم ریاضی دانشگاه شیکاگو  نوشتن رو میخونم. خیلی لذت بخشه. چون داری نتیجه یک کار یک سری آدم رو می خونی که میدونی حتمن باید تو هم اینارو بفهمی واحتمالن مطالبی ان که بشون علاقه داری. این هم لینکش:
بعد کلی کد هنوز مونده که می خوام بزنم تا چیز جدید یاد بگیرم. این وسط باید زبان هم بخونم. کمی وقت کم میارم و بعضی کارهایی رو که دلم می خواد خوب انجام بدم، اون جوری که می خوام انجام نمی شن. کمی هم خودم تنبل شدم و بعضن از زیر کار در می رم. این یادداشت رو نوشتم که بعدن یادم باشه چه جور ترم دو رو پاس کردم!(خواهم کرد؟!)
برای این که این یادداشت مربوط به وضعیت درسی می شه، دو تا از تکالیف رو هم این جا ضمیمه می کنم که بمونن!
یاحق!
۲۹۹ بازدید ۲ نظر

مستندات

پیرو تقلید از راه و رسم بزرگانی چون امیر کفشدار گوهرشادی تصمیم گرفتم تمام پرونده های متنی رو که در این بلاگ آپلود می کنم، در یک صفحه به صورت یک جا برای دانلود بگذارم. برای همین صفحه مستندات رو ایجاد کردم و از این پس هر پرونده ای که در پست ها بذارم اون جا هم قرار می دم. خوبیش اینه که کمی هم طبقه بندی شون می کنم و یه نظمی به سری سوالات، مقالات ، آزمون ها و ... می دم.

باشد که مفید باشد.

۴۸۹ بازدید ۵ نظر

سری سوالات هفتم

یا لطیف!

سری سوالات هفتم رو بعد از مدتی توقف در کار بخاطر نگارش امید ریاضی امروز نوشتم. یه چیزی که مهمه و من این مدت اخیر به خوبی درک کردم اینه که حافظه انسان خیلی ضعیفه. منظورم اینه که اگه آدم راه حل یه مساله رو خودش بهش نرسه، بعدن خیلی زود یادش می ره. اما اگه خودش حل کنه ولی حتی دوبار هم به راه حل نگاه نکنه که یادش بمونه، اگه پس از یه مدتی بخواد روش یا یه سوال مشابهش فکر کنه یه روزنه ای تو ذهنش درست شده که می تونه  سریعتر اون مسیرو پیش بره. این چیزی که می گم رو من تا حالا توی این مدل هایی که برای یادگیری ماشین ارائه میشه ندیدم(البته خیلی اطلاعات کمی تو این زمینه دارم). خیلی از مدل ها کلی از حافظه استفاده می کنن و شیوه ای که برای استنتاج استفاده می کنن یه چیز قیاسیه ولی من فکر می کنم انسان یکم قوی تر از این چیزا عمل می کنه. حقیقتش اینه که من فکر می کنم هیچ وقتی نمی شه که دیگه احتیاجی به ریاضی دان ها نباشه و کامپیوتر ها بتونن کار ریاضی دان ها رو بکنن. شاید مشاهده ویدیوی ریاضیات پس از علوم کامپیوتر از مجله شفاهی خالی از لطف نباشد.

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

دریافت سوالات سری هفتم

یاحق!

۳۱۶ بازدید ۵ نظر

تنفر جدانشدنی

برای نمایش مطلب باید رمز عبور را وارد کنید
۳۰۱ بازدید

اثبات های خوب یا چگونگی بهتر نوشتن اثبات ها

درود

یک متنی بود که قبلن از یک جایی ترجمه کرده بودم ولی الان حتی یادم نیست که کجا بوده؟ و حتی چی بوده؟ امروز به طور اتفاقی به نسخه لاتکش بر خوردم و تصمیم گرفتم بعد از کمی ویرایش منتشرش کنم. قسمتی که ترجمه کردم، چند تا توصیه خوب برای نوشتن بهتر اثبات هاست. باشد که از این پس بهتر اثبات هایتان را بنویسید(م).

دریافت اثبات های خوب

یا حق!

۳۳۴ بازدید ۱ نظر

امید ریاضی

به نام او

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

دریافت نسخه چاپی امید ریاضی

دریافت نسخه تبلت امید ریاضی

یاحق!

۳۷۵ بازدید ۱ نظر

جاوا بازی - OneMoreLine

این ترم برای پروژه ی مبانی قرار بود یه باری رو با جاوا بزنیم. اسم بازی هم OneMoreLine بود که من تا اون موقع بازی نکرده بودم و   حتی همین الانش هم نسخه ی اصلی رو بازی نکردم. فقط سر کلاس از دور دیده بودم حدودن چیه. بازیش این طوریه که یه توپی هست که با گرفتن یک دکمه  دور نزدیکترین مرکز نسبت به خودش می چرخه و با رها کردن دکمه روی خط راست به مسیر خودش ادامه می ده. همین جوری نشستم که بزنمش بعد برای نحوه ی حرکتش چن تا حالت مختلف در آوردم. اول اون چیزی رو که نسبتن شبیه بازی های موشکی آتاری بود، زدم. همچین الکی هم نبود ها! ریاضیات دبیرستان کلی به دردم خورد. حالا هی بگید اینا به درد چی می خورن! برای چرخش از ماتریس دوران و برای این که جهت ساعت یا پاد ساعتگرد رو تشخیص بدم از ضرب خطی بردار شعاع و بردار سرعت کمک گرفتم.بعد نشستم کاری کنم که برای چرخش، این طور نباشه که توپ دور مراکز بچرخه و کل مراکز دور توپ بچرخن. این جا بود که اومدم زمانی که توپ می چرخه نزدیک ترین نقطه بهش و نه یک مرکز ثابت رو دادم. بعد  نتیجه اش عملن این می شد که اگه دکمه رو همین طوری نگه داری یه پوش  از چند تا نقطه بهت می ده. (به احتمال خوبی پوش محدب)
این بازی به ظاهر ساده ارتباط خوبی با ریاضی دبیرستانی داشت. کلی کیف کردم :)
در ادامه چند تا عکس و دو نسخه از بازی رو می گذارم. پیشاپیش می گم که کدم کثیف و ناخواناترین کد ممکنه.

۴۰۸ بازدید ۱ نظر

کارسوق بزرگ ریاضیات - دوره ی مهرگان

به نام او

مدتی می شه که سوال ننوشتم علتش هم این می شه که دارم یه کار نسبتن بزرگ آماده می کنم! باشد که رستگار شوم. الان اواخر کاره، آماده شد آپلودش می کنم. اما فعلن برای خالی نبودن عریضه دوتا از آزمون های کارسوق ریاضی رو آپلود می کنم. سوالات خوبی ان. موفق باشیم.

مرحله اول شانزدهمین دوره

مرحله دوم چهاردهمین دوره

خدا نگه دار

۱۶۳۰ بازدید ۲ نظر

کمدی منطق

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

۶ عکس دیگر از این کتاب را در ادامه مطلب ببینید.
۶۶۵ بازدید