اسلاید: Logic, algebra and computation

اسلاید‌های زیر که به زبان انگلیسی نوشته شده مربوط به سخنرانی من به دعوت هسته‌ی پژوهشی ساختارهای ریاضی در علوم کامپیوتر است که در دانشکده‌ی علوم ریاضی دانشگاه شهید بهشتی ارایه شده است.

 

منطق، جبر و محاسبه