First-order logic
- 2024-09-08 (modified: 2025-07-24)
- 별칭: 1차 술어 논리, Predicate logic, Predicate calculus
(in Logic) 1차 술어 논리.
Articles
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note01.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note02.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note03.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note04.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note05.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note06.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note07.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note08.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note09.pdf