جلسه دوم: محاسبات و سنتز برگشت‌پذیر