올빼미 개발자

https://swexpertacademy.com/main/learn/course/lectureHtmlViewer.do#none SW Expert AcademySW 프로그래밍 역량 강화에 도움이 되는 다양한 학습 컨텐츠를 확인하세요!swexpertacademy.com 앞장에서 배운 것을 가지고 문제를 푸는 챕터인것 같다. 풀이를 적어보겠다. 문제 1: 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보이시오.항진명제란 어떤 상황에서도 항상 참이 되는 명제임을 말한다. 따라서 p 와 q 가 각각 TF 의 네가지 조합에서 항상 참임을 진리표를 이용하여 보이면 된다. 1. ~(~p and q) or qpq~(~p and q) or qTTTTFTFTTFFT  이 문제의 경우 마지막에 or q이기 때문에  q ..

https://swexpertacademy.com/main/learn/course/lectureVideoPlayer.do 1. 논리와 증명 - 일상 생활에서는 Soft Logic이 빠르기 때문에 유용하지만 프로그래밍은 Hard Logic을 사용해야됨. (직관으로 프로그래밍을 이해하려면 많은 어려움이 따름) - 알고리즘 설명을 봐도 이해가 안됨 -> 증명을 안봤기 때문- 증명을 봐도 이해가 안되는것 -> 직관으로 이해하려하기 때문 논리 연습-문제 1: 만약 0이 홀수라면, 미국에서 2080년 월드컵이 열린다.가정이 거짓이라면 결론이 참이든 거짓이든 전체는 참이다.그 이유를 설명하기 위해 예를 들자면 만약 아들에게 100점을 맞으면 치킨을 사주겠다고 약속을 하였다.이때 100점을 맞았다면 (가정이 T) 치킨..