책 이미지
eBook 미리보기
책 정보
· 제목 : Logic and Computation : Interactive Proof with Cambridge LCF (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521395601
· 쪽수 : 320쪽
· 출판일 : 1990-07-26
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521395601
· 쪽수 : 320쪽
· 출판일 : 1990-07-26
목차
Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.
