Khoa h?c máy tính là nghiên c?u lý thuy?t v? máy tính và ph?n m?m (ti?u lu?n c?a Turing là m?t ví d? v? khoa h?c máy tính), trong khi k? thu?t ph?n m?m là ?ng d?ng c?a k? thu?t và phát tri?n ph?n m?m. B?ng sáng ch? ph?n m?m, gi?ng nh? các lo?i b?ng sáng ch? khác, v? m?t lý thuy?t ???c cho là cung c?p cho nhà phát minh m?t gi