logic

Logic is a well-established branch, in comparison with the other theoretical computer science disciplines science, with deep tradition and its roots could be found in ancient history. Although the questions that logic encountered in the past were different, we could formulate some common issues namely the effort to simulate the human reasoning by exact (symbolic) way. Although a mathematician rather uses logic as a tool for expressing and proving properties of mathematical objects, for a computer scientist logic is a full member of theoretical computer science. Its main task is to provide formal (symbolic) framework for knowledge representation and deduction.