Introduction to Logic (CS)
Faculteit  Science and Engineering 
Jaar  2020/21 
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  Upon successful completion of this course, the student is familiar with basic aspects of Propositional Logic and FirstOrder Logic, and is in particular able to:  translate English sentences into Propositional Logic and FirstOrder Logic  check the validity of arguments  construct formal proofs for inferences  transform logical sentences into normal form  apply the Horn algorithm to 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), Werkcollege (T)
(Lecture (LC), Tutorial (T) (There will be 2h of lectures, and 4h of tutorials each week, except week 1 where there are 2h tutorials.)) 

Toetsvorm 
Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT)
((Two homework assignments, of which the first counts for 8% of the final grade and the second for 16% of the final grade; the midterm exam for 16%; and the final exam for 60%. The grade for the final exam must be at least 5.0. For the resit exam, the homework assignments and the midterm exam do not count.)) 

Vaksoort  propedeuse  
Coördinator  prof. dr. H.H. Hansen  
Docent(en)  prof. dr. H.H. Hansen  
Verplichte literatuur 


Entreevoorwaarden  
Opmerkingen  In the academic year 20202021, 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. For more info about the enrollment procedure, see https://student.portal.rug.nl/infonet/studenten/fse/programmes/bsccs/general/vakintekeningprocedure#cap 

Opgenomen in 
