난이도는 어떤가여
Logic, Language, and Meaning 이책 좋음?
익명(219.240)
2020-12-25 01:00
추천 1
댓글 3
다른 게시글
-
논리학 제대로 배워보고싶은데 테크트리좀 [1]익명(211.219) | 20.12.21추천 0
-
정언논리에 등장하는 모든 관계들은 논리적으로 동치였구나 [1]익명(121.142) | 20.12.21추천 1
-
헬스하면서 생각해낸 논리 문제 [2]주녕이다(deflacio) | 20.12.21추천 4
-
논리적 오류에 관한 책 추천해주라익명(121.128) | 20.12.20추천 0
-
(A&B)∨(~A∨~B) [2]익명(182.224) | 20.12.14추천 0
-
ㅁㅁ님 답변 출처좀 부탁드립니다 [37]ㅁㄴㅇㄹ(122.38) | 20.12.12추천 3
-
논갤 나이조사 [3]익명(58.224) | 20.12.09추천 3
-
논린이 연산자(?) 질문드립니다. [2]ㄴㄹㅇ(220.76) | 20.12.07추천 0
-
1000번째 글은 제가 먹겠습니다익명(58.230) | 20.12.07추천 0
-
scp 001에서 나온 문장 [1]익명(118.235) | 20.12.06추천 0
제목 그대로 논리학을 사용한 형식언어학에 관한 내용인거 같던데, 그쪽에 전제지식이 많으면 재밌을듯. 형식언어학은 대충 논리식에 의미론 부여하는 거랑 똑같은 방식으로 자연언어에 의미론을 적용하려는 시도임
첫째로 자연언어 문장을 형식적으로 parsing해야 되고, 둘째로 각 어휘를 최대한 형식적으로 바꿔서 문장에 적절한 의미를 줘야 되는데 예를 들어 "A가 mortal이다"를 "◇(die(A))"로 환원한다던지 동사를 람다표현으로 나타낸다던지.