سوالات مبانی منطق و نظریه مجموعه ها علوم کامپیوتر