[일반] 크흐흑 너무 어렵다 ㅇㅅㅇ

[기괴공학도(mecheng98)]

7.44 힌트 좀 주세요.

책 이름은 "수리논리와 집합론 입문"인데,

왜 이런 문제가 있는지 모르겠어요.

- dc official App

[뽈펜(ieieiei)]

수리논리 공부 열심히 하던데 뭐 하는 중임? 컴퓨터로 뭐 한다는 거 같던데

[기괴공학도(mecheng98)]

이게 수리논리 책이에요. ㅇㅅㅇ;; - dc App

[기괴공학도(mecheng98)]

책이 많은 주제들을 다루고 있는데, 제가 멍청해서 못 따라가겠어요. 크흑흑 - dc App

[뽈펜(ieieiei)]

뭘 위해서 공부하냐는 뜻

[기괴공학도(mecheng98)]

수학과 복전한 다음에 수학을 다루는 프로그래밍 언어를 개발하려고요 - dc App

[뽈펜(ieieiei)]

주전공이 컴퓨터과학임?

[기괴공학도(mecheng98)]

기계공학이요. 근데 저만의 언어 만들려고 제 힘으로 파서 만들어봤어요. - dc App

[기괴공학도(mecheng98)]

아 물론 컴파일러 책 읽고 만들었습니다. 그리고 취미로만 할 거에요. - dc App

[뽈펜(ieieiei)]

수학을 어떻게 다룬다는 거임? 질문 많이 해서 미안

[기괴공학도(mecheng98)]

저도 몰라서 수학과 복전할려고요. 언어를 어떻게 설계해야할지는 비전공자가 알 수 있는 게 아니라서. - dc App

[기괴공학도(mecheng98)]

증명보조기 쪽에 혁신을 일으키는 게 목표입니다 ㅇㅅㅇ - dc App

[뽈펜(ieieiei)]

나는 automated theorem proving 같은 거 공부하고 싶은데. 가능하다면 대학원에서도 그거 공부하고 그거랑 관련된 일도 하고 싶음. 그런 자리가 있을지는 모르겠지만.

[기괴공학도(mecheng98)]

오 그러세요? 근데 저는 아는 게 1도 없어서 ... - dc App