님들은 왜 논리학 공부하는거에요?

[익명(221.154)]

취미로? 아니면 수학과나 철학과여서?

[익명(219.250)]

본인 케이스로 말하면 컴공과 커리큘럼 중에 이산수학 초반 목차가 논리와 증명임 명제논리에서 1차논리까지 익히고, 추론규칙 이용한 연역 하고 걍 기초 논리학 그 자체임 보니까 부울 대수가 논리 회로로 조합 가능하다는게 입증된 이래로, 그리고 절차지향적 프로그래밍을 하기 위해선 어쩌면 엄밀한 논리와 증명을 익혀야하는건 필연이라는 느낌이 들었고 실제로도 연관점이 많음

[코요리(koyori0220)]

오 그렇구나 ㄷㄷ

[익명(58.234)]

재밌어서