책 이미지
책 정보
· 제목 : Introduction to Logic: Second Edition (Paperback, 2) 
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781627052474
· 쪽수 : 164쪽
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781627052474
· 쪽수 : 164쪽
목차
- Introduction
- Propositional Logic
- Satisfiability
- Propositional Proofs
- Propositional Resolution
- Relational Logic
- Relational Logic Proofs
- Resolution
- Induction
- Equality
추천도서
분야의 베스트셀러 >