[{"_1":2,"_35":-5,"_36":-5},"loaderData",{"_3":4},"routes/tape",{"_5":6,"_24":16,"_25":26},"initialTree",[7,15,18,21],{"_8":9,"_10":9,"_11":12,"_13":14},"name","+.00-Preface.tape","path","type","file","title","서문",{"_8":16,"_10":16,"_11":12,"_13":17},"+.01-Advance-for-the-Readers.tape","독자를 위한 조언",{"_8":19,"_10":19,"_11":12,"_13":20},"00.01-Starting-Out.tape","0. 시작하기",{"_8":22,"_10":22,"_11":12,"_13":23},"1-type-theory.tape","1. 타입 이론","initialFilePath","initialFile",{"_13":17,"_27":28},"cells",[29],{"_30":31,"_11":32,"_33":34},"id","8bb3bc98-2566-420a-926d-d435ac2b6d1b","prose","content","

이 책을 읽기 위해선 기초적인 술어 논리(Predicate Logic)와 수학적 표현에 익숙해야 한다. 특히, 증명(Proof) 작성과 읽기가 가능해야 하고, 논리 흐름을 따라가는 데에 문제가 없어야 한다. 또한, 기초적인 집합론을 이해한다고 가정한다. 만약 기초적인 배경 지식이 부족하다면 부록 A(WIP)를 읽으라.

읽을 대상을 정하는 법

책을 꼭 앞에서부터 순서대로 읽을 필요는 없다. 〈An Infinitely Lengthy Tape〉는 소프트웨어 공학 전체에 걸친 폭 넓은 지식을 전달하고자 하기 때문에, 당신이 필요로 하는 지식만 골라먹는 게 이로울 것이다. 0장에 각 장이 어떠한 개념을 설명하는지 간략히 요약해두었다. 아래에 있는 흐름도를 통해 의존 관계를 파악하고 읽기 전략을 정하라. 점선으로 표시된 의존성은 필수가 아니다.

길게 설명했지만, 결론은 간명하다. 당신이 궁금해 하는 주제로 가는 최단 경로를 찾아라.

(다이어그램 추가 예정 WIP)

","actionData","errors"]