Logic for Problem Solving

• Author(s): Robert Kowalski,
• Publisher: Ediciones Díaz de Santos
• Pages: 287
• ISBN_10: 0444003657
  ISBN_13: 9780444003652
  
• Language: es
• Categories: Mathematics / Linear & Nonlinear Programming , Philosophy / Logic ,

Description:... Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR