제가 전산 개발 관련 공부를 하는데 여기에 도움되는 논리학이나 논리개념은 어떤 것이 있는지 알고 싶습니다
지금 c언어와 java를 배우고 있지만 한 차원 더 높은 도전을 하고 싶기 때문입니다.
아니면 제가 너무 동떨어진 이야기던지 아예 관련된 이야기가 아니라고 들릴지 모르겠지만
최소한의 조언이라도 구할 수 있는지 여쭤보고 싶습니다.
제가 전산 개발 관련 공부를 하는데 여기에 도움되는 논리학이나 논리개념은 어떤 것이 있는지 알고 싶습니다
지금 c언어와 java를 배우고 있지만 한 차원 더 높은 도전을 하고 싶기 때문입니다.
아니면 제가 너무 동떨어진 이야기던지 아예 관련된 이야기가 아니라고 들릴지 모르겠지만
최소한의 조언이라도 구할 수 있는지 여쭤보고 싶습니다.
reddit의 logic 카테고리에서 컴퓨터과,공학에 적용되는 논리학에 대한 예를 물어보세요. 가령 modal logic을 동원하여 법조문 계산, 컴퓨터 verification, AI 등을 발전시킨다고 합니다. proving server도 참고해보세요. - dc App