An Introduction to Formal Logic

책 이미지

eBook 미리보기

책 정보

· 제목 : An Introduction to Formal Logic (Paperback)
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780521008044
· 쪽수 : 357쪽
· 출판일 : 2003-11-06

1. What is logic?; 2. Validity and soundness; 3. Patterns of inference; 4. The counterexample technique; 5. Proofs; 6. Validity and arguments; 7. Three propositional connectives; 8. The syntax of PL; 9. The semantics of PL; 10. 'A's and 'B's, 'P's and 'Q's; 11. Truth functions; 12. Tautologies; 13. Tautological entailment; 14. PLC and the material conditional; 15. More on the material conditional; 16. Introducing PL trees; 17. Rules for PL trees; 18. PLC trees; 19. PL trees vindicated; 20. Trees and proofs; 21. Quantifiers; 22. QL introduced; 23. QL explored; 24. More QL translations; 25. Introducing QL trees; 26. The syntax of QL; 27. Q-valuations; 28. Q-validity; 29. More on QL trees; 30. QL trees vindicated; 31. Extensionality; 32. Identity; 33. The language QL=; 34. Descriptions and existence; 35. Trees for identity; 36. Functions.

저자소개

피터 스미스 (지은이) 정보 더보기

캐나다 밴쿠버에 있는 아라피키 솔루션(Arapiki Solutions, www.arapiki.com)의 프리랜서 컨설턴트다. 1998년 브리티시 컬럼비아 대학(University of British Columbia)에서 컴파일러와 프로그래밍 언어 디자인에 관해 박사학위를 취득했으며, 수년 동안 학부 학생들을 위해 컴파일러 디자인과 프로그래밍 언어 디자인, 소프트웨어 공학, 컴퓨터 네트워크를 강의했다. 또한 3년 동안 OOPSLA(Object-Oriented Programming, Systems, Languages & Application) 컨퍼런스 위원회의 일원으로 활동했다. 주로 통신 관련 산업에서 소프트웨어 엔지니어, 프로젝트 매니저, 툴 지원 팀의 매니저로 활동했다. 최근에는 고객의 생산성 향상을 위한 신규 소프트웨어 도구의 개발이나 적용 관련한 컨설팅 업무를 하고 있다.

펼치기

피터 스미스의 다른 책 >