공허참 같은 수학적 논리학이 알고리즘에 어떻게 적용되는 거임?

코딩 채널

알림 알림 중 알림 취소

구독자 4411명 알림수신 85명 @은월영

프로그래밍 및 코딩 채널

질문 공허참 같은 수학적 논리학이 알고리즘에 어떻게 적용되는 거임?

wiki

추천 0 비추천 0 댓글 3 조회수 164 작성일 2022-07-02 02:04:30

⚠️ 이 게시물은 작성자가 삭제할 수 없도록 설정되어 있습니다.

https://arca.live/b/programmer/53580267

수업듣고 있는데 기초 논리 수업? 이런거 듣고 있는데

p -> q 일때 p가 거짓이면 명제는 항상 참이다 라는 공허참도 그렇고

p -> q 일때 p의 진위여부에 관계없이 q가 참이면 참이다 이런 수학적 논리학을 알려주던데

이게 컴퓨터 알고리즘적인 사고에서 어떻게 적용되는 거임?

댓글 [3] 글쓰기

다경

2022-07-02 04:27:17 답글

수리적 논리학 자체는 모든 알고리즘적 사고의 근간이라고 할 수 있음 어떤 답을 원하는지 모르겠는데 모든 논리적 사고에 적용됨.
2 sat 같은 대답 원하는건가

펼쳐보기▼

wiki

2022-07-02 04:40:38 답글

논리적 사고가 필요함을 물어보는게 아니고 
공허참이나 조건에 상관없이 결과가 참이면 참이라던가 이런 수학적 증명수준에서 사용되는 
논리가 직접적으로 필요한가에 대한 질문임

컴퓨터 사이언스를 하는게 아니고 머신러닝이라던가 뭐 이런거 할 것도 아닌데
논리력을 키운다 이러면서 수학 증명 문제 풀어보라면서 문제 존나 던져주는데
이렇게 까지 필요한지 모르겠음

펼쳐보기▼

다경

2022-07-02 04:56:29 답글

논리적 사고에 수리논리가 직접적인 관계가 있다는 사실은 접어두고 생각하면 크게 사용되는 부분은 없고 조건분기만 이해할 정도면 충분하다고 생각함. 컴퓨터 사이언스를 할 게 아니면 알고리즘 증명할 것도 아니면 굳이라는 생각은 드는데 당연히 그정도 논리가 못 갖춰지면 알고리즘을 이해하기 어려운것도 사실이니까

펼쳐보기▼

댓글 작성