이미 소장하고 있다면 판매해 보세요.
|
머리말
1장 술어논리란 무엇인가? 2장 술어논리의 구문론은 어떠한가? 3장 PL에서의 번역은 어떻게 이루어지는가? 4장 PL의 의미론은 어떠한가? 5장 PL의 진리나무는 무엇인가? 6장 PL의 형식증명이란 무엇인가? 7장 PD에서의 연역논리의 기본 개념들은 어떻게 검증되는가? 8장 술어논리는 어떠한 한계를 가지는가? 해답.색인 |
손병홍의 다른 상품