منطق ریاضی پیشرفته و مبانی نظری علوم کامپیوتر