요즘 읽는 책.jpg

[땡칠도사(07dosa)]

10년 넘은 유물이긴 한데 레알 정리 개잘되어있음. 개감동 ㅇㅇ.

[코로모(qscsq)]

뭔책임?

[땡칠도사(07dosa)]

https://en.wikipedia.org/wiki/Rewriting

[코로모(qscsq)]

심오하네요. 뭔소린지 모르겠어요

[땡칠도사(07dosa)]

프로그래밍 언어에 관한 책이면서 수학책 ㄲㄲㄲ

[ㅊㄹ(118.39)]

뭐지... 위키피디아 가니까 막 처음보는 기호 나온다

[에어로홍(aerohong)]

https://ko.wikipedia.org/wiki/재작성

[fds(220.118)]

아 이거 배운적 있음. 근데 기초파트 아님?

[fds(220.118)]

이게 기초라는게 아니고 논리학 입문할때 기초부분에서 normal form, redex 같은거 좀 훑고 지나감.