ㅈㄱㄴ
입문잔데 코어논리학 다음엔 책 뭐보는게 좋음?
익명(223.39)
2021-02-01 22:55
추천 0
댓글 5
다른 게시글
-
뉴비를 위한 괴델의 불완전성 정리에 대한 개요. [13]익명(110.11) | 21.01.31추천 1
-
확률도 논리기호로 나타낼 수 있을까요? [4]익명(223.131) | 21.01.31추천 0
-
일상 언어를 논리기호로 만드는 방법 문의 [3]익명(223.131) | 21.01.30추천 0
-
이차논리 증명? 해주실분! [2]익명(115.145) | 21.01.28추천 0
-
이거 안되는 이유좀요 [2]익명(124.50) | 21.01.28추천 0
-
공대인데 교양으로 논리학 수강완료하고 관심있어서 왔는네익명(119.203) | 21.01.27추천 1
-
기호논리학 문제 [6]익명(210.178) | 21.01.27추천 0
-
자유의지와 기독교 [2]dd(211.244) | 21.01.26추천 1
-
이차논리?식 질문 [2]익명(49.1) | 21.01.26추천 1
-
오직 그런 한에서 이거 뜻풀이좀요 [2]익명(124.50) | 21.01.26추천 0
코어논리학에서 어떤 개념까지 배우셨음?
걍 있는거 다 읽고 연습문제도 풀어봤음
코어논리학에서 수리논리학 주제를 얼마나 소개해주는지 모르겠는데, Propositional logic(혹은 sentential logic)에서의 soundness theorem 증명 배웠음?
그게 뭐노... 이제 막 배우기 시작한 고딩이라 그런거 모름
수리논리학 입문하고 싶으면, Sentential logic과 First order logic과 핵심 정리들을 증명과 함께 formal하게 소개해주는 책을 추천함. 예를 들면, The Logic Book by Bergmann 정도가 있음. (철학과 및 수학과 학생을 위한 수리논리학 입문 책들 중 하나임.)