1차 논리 = 술어 논리 (First-order Logic = Predicate Logic) : 명제 논리에서 양화를 다룰 수 있는 성질이 추가됨




http://kingmbc2.blog.me/30043620693

http://imnt.tistory.com/56

http://redcarrot.tistory.com/51

http://blog.naver.com/mginu/110140023406

by 곽동현 이스텔리앙 2014.11.15 02:33
| 1 2 3 4 5 6 7 8 ··· 13 |