Course Detail
| Course Title | Introduction to Logic |
| Course Code | ICHM 103 |
| Credit | 4 |
| Semester Offered | 1, 2, 3 |
| Duration of Courses | |
| Degree | Undergraduate |
| Programme | Bachelor of Science in Computer Science (International Program) |
| Course Description | Introduction to methods of symbolic deductive logic (natural deduction, transformation tasks and logical analysis with regard to English) and to basic concepts characterizing modern logical theories; propositional logic; syllogistic reasoning and basic predicate logic. |
| Prerequisite | |
| Other Description | |
| Language of Instruction |