코어논리학 입문자용이라더니 ㅠ

[익명(58.234)]

술어논리부터 난이도 급올라가가지고

다중양화 파트 가니까 뒤지게 어렵네요

이거 다 보고 바로 계산가능성과 논리 봐도 되나요?

- dc official App

[익명(180.83)]

집합론이나 계산이론 식 논증에 조금 익숙한 편이 좋기는 한데 상관없음 딱히

[익명(58.234)]

감사합니다. 집합론은 좀 공부하긴 했는데 튜링기계 파트 문제가 어렵네요 - dc App