A. I. Cuza University of Iaşi

Logics for Computer Science

Course nameLogics for Computer Science CodeCS1103
Class Undergraduate, 2008 - 2011
Level Licenţă Year 1 Semester 1 Status Compulsory
Hours per weekTotal hours per semesterTotal hours of individual workCreditsEvaluation typeTeaching language
CSLPr
2 2 0 0 56 94 5 M ro
Taught byAcademic and scientific title, name
Professor, PhD, Cristian Masalagiu
Required courses
Objectives
  1. Getting minimal skills for using Mathematical Logics in Computer Science.
  2. Understanding the needed fundamental concepts for the future study of related disciplines as: Logic Programming, Specification and Verification of Real Systems or Expert Systems.
  3. Getting minimal skills to rigorously work with software applications.
General thematics
  1. Logics in Computer Science.
  2. Boolean Algebras.
  3. Propositional Logic.
  4. First-order Predicate Calculus. Other Non-classical logics.
  5. Deductive Systems and Logical Theories.
  6. An Introduction to Logic Programming.
  7. Verification.
Seminary / Laboratory thematicsThe main goal of any Seminar is to facilitate a deeper understanding of the content of the prevoius Courses, with the help of more complicated, new and detailed examples. This will be accomplished with the direct participation of the students.
Teaching methodsAll the classical didactic methods will be used: systematic exposure of knoledge, conversation, learning „by descovery”, etc. The Courses will be taught using a retro- or video-porojector.
Bibliography
  1. C.D. Masalagiu – Fundamentele logice ale Informaticii, Editura Universităţii „Al. I. Cuza”, Iaşi, 2004, ISBN 973-703-015-X (in Romanian).
  2. C. Cazacu, V. Slabu – Logică Matematică, Editura „Ştefan Lupaşcu”, Iaşi, 1999, ISBN 973-99044-0-8 (in Romanian).
  3. INTERNET sites (they will become precise during the semester).
EvaluationconditionsEvery student will be tested at least three times during the 14-th seminaries (see bellow), not necessarily immediatelly to the corresponding course. A bonus of ten points may be granted for supplementary (good) answers.
criteriasThe above examinations (including the three supplementary written tests – see bellow) can thus produce a maximum of 90 points. The final exam (in the special session) may produce other (maximum) 30 points (three subjects, 10 points each). To “graduate” the course, a minimum of 50 points is need.
modesThree written test will be given, at fixed (announced) dates, concerning the knoledge in themes 1-3, 2 and 5-7 respectively (see the General Description). The total amount of point is (maximim) 50 (20, 20 and 10, respectively). The individual three testings (see above) , respecting the same chapters, may generate other (maximum) 30-40 points (10, 10, 10, respectively; do not forget the possible bonus of 10 points).
formulaThe final grade is computed by first summing up all the obtained poins and then by dividing the result by ten. The grades will be then rounded such as to get a Gauss curve for the given year of study (see the regulations). The grades grater than 10 will be rounded to ten.
© 2006-2008 FII | about | intranet