Leyli Shahryari·۱ ماه پیشبرتراند راسّل: زندگی، فلسفه و میراثبرتراند آرتور ویلیام راسّل (۱۸۷۲–۱۹۷۰) یکی از برجستهترین فیلسوفان قرن بیستم است که تأثیر عمیقی بر منطق، فلسفه ریاضی، فلسفه زبان، معرفتشنا…
سید رفیع موسوی نیا·۲ سال پیشمبانی مفهومی کامپیوتر ۱(منطق ریاضی ۱۰۱)در اولین پست از سلسله پست های مربوط به مبانی مفهومی علوم کامپیوتر گذری بر منطق ریاضی داریم که میشه گفت سرچشمه همه مباحث بعدی است.
یاسمین آشوری·۳ سال پیشریاضیات برای الگوریتمها- قسمت اولهر انسان فانی است، سقراط انسان است، پس سقراط فانی است.
محمد طهماسبی زاده·۳ سال پیشریاضیات وارونه چیست؟وقتی در دوره کارشناسی ارشد، با شوق بسیاری وارد دنیای منطق ریاضی شدم، یکی از شاخههای آن، یعنی ریاضیات وارونه یا همان ریاضیات معکوس، که ترجم…
محمد طهماسبی زاده·۳ سال پیشزبانهای صوری، نظریه صدق تارسکی و قضیه تمامیت گودلبه من گفته بودی که از مطالعهی رسالهی منطقی-فلسفیِ ویتگنشتاین چیزی نصیبت نشد و از شدتِ دشواری این اثر گلایه داشتی! از تو میخواهم که خیلی…
محمد طهماسبی زاده·۴ سال پیشفرآیند اثبات منطقی و قضیه ناتمامیت گودلگفته بودی که یکی از استادهای روانشناسی در دانشگاهتان، پرسشهای زیر را درباره «اثبات» مطرح کرده است:فرآیند اثبات منطقی به چه شکل است؟ چگونه…
محمد طهماسبی زاده·۴ سال پیشداستان شکلگیری رابطه عاطفی من و منطق ریاضیاز من پرسیده بودی که چرا تا این اندازه به ریاضیات علاقه دارم، و چرا بین این همه گرایش، منطق ریاضی را انتخاب کردهام. من این کنجکاوی تو را د…
محمدرضا شمس اشکذری·۴ سال پیشداستان علومکامپیوتر / علومکامپیوتر داستانیمعرفی چهار کتاب داستانی و ساده برای علاقهمندان به علومکامپیوتر
