같이 스터디 할 사람

[익명(180.83)]

그냥 일주일에 모여서 논리학 교재 정해진 분량 번역해오고 연습문제 있으면 풀어보고 증명 공유해보는 스터디 할까 하는데 관심 있는 분?

[TIME(ghawmzldjs71)]

참관만 하고싶은데 껴줌? - dc App

[익명(180.83)]

어차피 온라인으로 하게 될 거라 아무나 와도 상관없지 않을까

[TIME(ghawmzldjs71)]

어디야? 당장들어갈게 - dc App

[익명(180.83)]

아직 방 만들지는 않아서, 사람 모인다면 그 때 알려드릴게요

[TIME(ghawmzldjs71)]

고마워 기대하고 있을게 - dc App

[익명(221.145)]

아래 주소의 디스코드 채널로 와 줄래?

[TIME(ghawmzldjs71)]

들어갔어 고마워 - dc App

[익명(221.145)]

유형론[type theory]을 공부하고 있어서 시간이 부족하네. 무슨 교재를 쓸 거야?

[익명(180.83)]

일단 후보로는 ①Girard, J-Y. Proofs and Types. ②Troelstra, A. et al. Basic Proof Theory. ③Chang, C. C. et al. Model Theory. ④Hodges, W. Model Theory. ⑤Barendregt, H. Reflexion, ⑥Smullyan, R. Diagonalization and Self-Reference 이 정도인데, 다른 책으로 읽어도 딱히 상관 없음. 그냥 혼자 읽기 심심해서 그럼.

[익명(221.145)]

학습 방향에 대해 논의를 하고 싶은데, 디스코드에서 대화할 수 있을까?

[익명(221.145)]

https://discord.gg/uhtJjnQc

[익명(180.83)]

디스코드 평소에 잘 쓰지 않아서 모르는데 잘 안들어가지네요. 잠시...

[익명(175.192)]

이과 대학원생이세요? 어려운 교재만 ㄷㄷ

[익명(122.46)]

교재는 각자 다른 거 쓰는 건가요? 아니면 같은 교재를 같이 공부하는 건가요?

[익명(221.145)]

학습 교재를 통일할 가능성이 높아요.

[익명(122.46)]

저기 위에 있는 디코 링크가 스터디 방인가요? 거기서 어떤 교재로 어떻게 공부할지 알아야 참여할지 안항지 결정할 수 있을 것 같아서요