research The Importance of Teaching Logic to Computer Scientists and Electrical Engineers ACM Transactions on Computing Education Tue ACM Transactions on Computing Education, Volume 25, Issue 2, Page 1-12, June 2025. dl.acm.org