책 이미지
책 정보
· 제목 : Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Hardcover) 
· 분류 : 외국도서 > 컴퓨터 > 로직 설계
· ISBN : 9783030878818
· 쪽수 : 222쪽
· 분류 : 외국도서 > 컴퓨터 > 로직 설계
· ISBN : 9783030878818
· 쪽수 : 222쪽
목차
1. Introduction to Logic.- 2. First-order Logic.- 3. Non-classical Logics.- 4. Automata Theory and Formal Languages.- 5. Turing Machines and Computability.- 6. Logic is Computation.
저자소개
추천도서
분야의 베스트셀러 >