[일반] Quantifier만을 이용해서

[웨리(155.230)]

집합론이나 해석학 같은 곳에서 배우는 Proposition이나 Statement들을 정리하고 표현하는걸 좀 학습하고 싶은데 좋은 자료 없음?

Mathemagical Logic으로 검색해서 괜찮은 pdf 하나 구하긴 했는데 부족해보여서

[익명(203.229)]

Fol로 번역하는거라면 굳이 그걸 왜하는지 이해가 안되는데 - dc App

[웨리(155.230)]

일단 해두면 혼자 공부하면서 쓸 때도 좋을거 같고 이런 양화논리로 표현하는걸 좋아하는 사람이 쓴 글 읽는데도 금방 적응할테니까 ㅇㅇ 대비해두는거지

[익명(203.229)]

집밥론 수강하는 1학년도 아니고 그게 안되면 좀... - dc App

[웨리(155.230)]

집합론 F임 아무것도 모름

[익명(119.203)]

난 그게 도움이 된다고 생각하긴하는데 딱히 교재가 있을거같진 않고 니가 보는 전공서에 나온 문장을 옮겨봐

[웨리(155.230)]

그냥 구한 pdf랑 이거 좋아하시는 교수님 강의로 적당히 공부한 다음 집합론 하고 해석학 봐야겠네

[익명(119.203)]

pdf공유좀 해주라

[웨리(155.230)]

http://www.cs.yale.edu/homes/aspnes/pinewiki/attachments/MathematicalLogic/mathematical-logic.pdf
// 컴공들 보라고 만든거 같긴 한데 쭉 훑어보니 수학공부 할 때도 도움은 될 거 같아서...

[익명(119.203)]

ㄳ 좋네

[크랑랑크앙랑(skybluepian)]

Rosen 이산수학 1단원 내용 참고해보서요 - dc App

[웨리(155.230)]

ㄳ