Facultatea de Informatica IasiUniversitatea A.I.Cuza

Home Page Coordonates About Me Useful links What I teach

LOGICS

Code
: CS1103   Semester: 1   Credits: 5   Type: mandatory

Instructors: Cristian Masalagiu, Ștefan Ciobâcă
Hours/week:
  • Lecture: 2
  • Seminar: 2

Evaluation
A student can earn up to 100 points. The final grade results from applying the Gauss curve on the points each student earns during the semester. For details on the actual formula used for grading using the Gauss curve please read the Regulations on the Faculty page.

A student can accumulate up to 100 points from the activity during the semester:
  • 10 p seminar attendance (for example, 4 attendance checks, done randomly, valued at 2,5 p each)
  • 30 p for seminar activity, for example exercise solving (at the blackboard) and unannounced written tests
  • 60 p for mid-term and final examinations
Passing the exam requires a total of minimum 45 points. The two written examinations should sum up to a minimun 30 p.

NOTE!

Senior students who did not pass the exam will be evaluated according to present regulations, not to those which were applicable in the previous years. Any points accumulated in previous years will not be taken into consideration.

Reexaminations are applicable only to the final written examinations.

The points can be accumulated only in the designated group classes, with designated teachers. Any points accumulated attending another teacher's classes are null.


Description and objectives
The main objectives of this course are to provide students with the basic concepts and results of using LOGIC in Computer Science. Over time, LOGIC has evolved from a purely theoretical discipline into a practical field. Practical applications range from designing basic processor ports to the specification and verification of the behaviour of complex systems (missile guidance systems, biological systems modelling etc.). Automated provers, robots, specific programming languages, are only a few of many practical applications of LOGIC. The advantages gained by using this virtual language are given by the simplicity of the constructs, similar to natural language, but also by the specific theoretical foundation, thus avoiding numerous interpretation and implementation errors.

Pre-requisites
None.
Related courses
These are elective courses for students who wish to expand their knowledge in the field of LOGIC:
Logic Programming, 3rd year, 1st semester
Belief Logics in Information Security in Information Security Master Studies.



Course Materials
Course slides

Seminar materials will be provided on the fly.

References
Schoning, U. - Logic for Computer Scientists, Ed. Birkhauser, 1989.
Huth, M., Ryan, M. - Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, England, 2000, ISBN 0-521-65200-6
http://onelook.com/
http://www.cs.umb.edu/
http://www.earlham.edu/~peters/courses/logsys/glossary.htm
http://en.wikipedia.org/wiki/Logic
http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists

Designed by Adrian Mironescu