[일반] 시퀀트 계산 질문점

[익명(182.224)]

나머진 다 이해되는데 저 맨위에건 뭐임?
왜 갑자기 ㄱ자가 튀어나옴?

[ScARfaCE(kayuaao)]

저건 대체 뭔 과목이냐 수리논리?

[익명(182.224)]

정확히는 저도 모름 ...
https://ko.wikipedia.org/wiki/%EC%8B%9C%ED%80%80%ED%8A%B8_%EA%B3%84%EC%82%B0
컴공에서 배우는거

[익명(49.167)]

와 저런거 처음 보네 무슨 논리기호 같은데

[기괴공학도(mecheng98)]

Init 규칙에서 Gamma는 아무 열에나 매칭되는데 다른 제약이 없음

[익명(182.224)]

ㄳㄳ 님 잘아시는 것 같은데 저런거 잘 설명된 책 추천해 주실 수 있음? PPT만 모아둔거라 모르면 그냥 넘겨야됨 ㅠㅠ 키워드가 없어서 검색도 못함

[기괴공학도(mecheng98)]

저도 잘 아는 건 아닌데요, 아무튼 도와드리고는 싶은데, 책 추천이라 ...

[기괴공학도(mecheng98)]

그런데 컴공이시면 Prolog 아세요??

[익명(182.224)]

아녀.. 코볼급 고대 언어라는 것만 알고있어요

[기괴공학도(mecheng98)]

저 규칙들이 Prolog라는 언어로 바로 짜여질 수 있거든요?

[익명(182.224)]

ㄳㄳ

[기괴공학도(mecheng98)]

아무튼 Gamma, A -> A을 도출하기 위해서는 아무 것도 필요하지 않다는 뜻이에요

[기괴공학도(mecheng98)]

그냥 Sequent Calculus라고 치면 나오는 것들을 원하시는 건 아니죠?

[익명(182.224)]

제가 지금 학습하고 있는게 컴파일러 기본 논리인데 이걸 어디서 배워야할 지 모르겠어요. 논리학책봐도 저런건 안나오고 ㅠㅠ 가진건 저거 ppt묶은 책 하나뿐이라 따로 볼만한 책 있으면 좋을 것 같아서요

[기괴공학도(mecheng98)]

혹시 type theory 같은 거 공부하시나요??

[기괴공학도(mecheng98)]

제가 어떻게 해야 도움이 될 수 있을까요?? 단지 시퀀트 계산만 물어보시는 거라면 여기에 책을 추천해주는 링크를 걸게요.
https://math.stackexchange.com/questions/649053/good-textbook-for-learning-sequent-calculus

[익명(182.224)]

ㄴㄴ ppt 랑 구글 검색질하면서 해보니깐 어느정도 이해되고 있음. 처음엔 저 formation tree 오른쪽에있는 init L_r 이 뭔지도 왜있는지도 몰랐는데 대충 알 것 같음

[익명(141.223)]

수리논리 입장에선 저건 그냥 뭔가 공리 같은 거 모아둔 거임