Introduction to Logic (CS)
Faculteit  Science and Engineering 
Jaar  2022/23 
Vakcode  WBCS03005 
Vaknaam  Introduction to Logic (CS) 
Niveau(s)  bachelor, propedeuse 
Voertaal  Engels 
Periode  semester I a 
ECTS  5 
Rooster  rooster.rug.nl 
Uitgebreide vaknaam  Introduction to Logic (CS)  
Leerdoelen  At the end of the course, the student is able to: 1) translate English sentences into Propositional Logic and FirstOrder Logic. 2) analyse the validity of arguments. 3) construct formal proofs using natural deduction for FirstOrder Logic. 4) check logical/tautological consequence of sentences in Propositional Logic, using truth tables. 5) evaluate truth of sentences in FirstOrder models. 6) transform logical sentences into various normal forms (NNF, CNF, DNF, Prenex, Skolem, Horn). 7) apply the Horn algorithm to check satisfiability of Horn sentences. 

Omschrijving  This course provides a first introduction to formal logic and the development of skills in using logical symbols. The students will learn the symbolic languages of Propositional Logic and FirstOrder Logic, and develop skills in analyzing sentences and reasoning, assessing the validity of reasoning, making formal deductions, using formal semantics and deriving normal forms for formulas. During the lectures, material from the textbook and the reader will be presented. During the tutorials, students can practice their skills by working on exercises, and test their understanding of the material with the help of the computer teaching program Tarski's World and with software for constructing formal deductions in Fitch. At the tutorials, teaching assistants will be available for questions, and solutions to exercises will be discussed. 

Uren per week  
Onderwijsvorm  Hoorcollege (LC), Opdracht (ASM), Werkcollege (T)  
Toetsvorm 
Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT)
(The exam grade must be at least 5.0 to pass the course. At the first exam attempt, if Exam >= 5.0 then final grade F = max(Exam,HWME), where HWME = 8%*HW1+16%*HW2+16%Midterm+60%*Exam, ie homework's and midterm can only improve the result. At the second exam attempt, F=Exam. This is independent of whether the first exam attempt is taken at the exam or the resit.) 

Vaksoort  propedeuse  
Coördinator  Prof. Dr. H.H. Hansen  
Docent(en)  D. Düstegör, PhD. ,Prof. Dr. H.H. Hansen  
Verplichte literatuur 


Entreevoorwaarden  This firstyear course unit only assumes prior knowledge acquired from high school.  
Opmerkingen  All CS bachelor courses have limited enrollment:  CS students can always enter each course, regardless of whether the course is mandatory for them or not.  A maximum of only 20 places per course is available for nonCS students. These places are filled on a firstcomefirstserved basis, with priority given to students with a strong CSrelated background (e.g., CS exchange students, AI students, etc.). These students need to meet the course prerequisite requirements as mentioned on Ocasys. Six weeks before the course starts, the 20 students that can join are selected and added to the course. If you enroll after this date, you will be placed on the waiting list. For more info about the enrollment procedure, see https://student.portal.rug.nl/infonet/studenten/fse/programmes/bsccs/general/vakintekeningprocedure#cap 

Opgenomen in 
