اسلاید سخنرانی اخیر در دانشگاه صنعتی اراک در مورد رویکردی جدید در مبانی ریاضیات با عنوان هموتوپی تایپ تئوری. اساس این رویکرد بر تعبیر تایپ تئوری در فضاهای هموتوپی است. اما مبانی منطقی انرا به طور مستقل هم می‌توان مطالعه کرد.
اسلاید سخنرانی اخیر در دانشگاه صنعتی اراک در مورد رویکردی جدید در مبانی ریاضیات با عنوان هموتوپی تایپ تئوری. اساس این رویکرد بر تعبیر تایپ تئوری در فضاهای هموتوپی است. اما مبانی منطقی انرا به طور مستقل هم می‌توان مطالعه کرد.
درباره این سایت