LOGIC 1
ACADEMIC YEAR 2024-2025
Degree Bachelor of Science in Computer Science
Qualification Computer Science
Professor PhD Kristina Sargsyan
Distribution of hours CM 18 h. TD 12 h. ECTS 3
EXPECTED LEARNING OUTCOMES OF THE COURSE
A 1 Appropriate the basics of logic in terms of modeling,
A- Knowledge
semantics and computation (possibly automated)
B 1.1 Describe how logic can model real situations
B 1.2 Convert informal statements into logical language
(propositional/predicative)
B 1.3 Apply methods (tables, equivalences, propositional
B1 - Skills to
resolution) to reference problems (SAT, logical
apply
consequence, normal forms)
professional
B-Skills
B 1.4 Apply rigorous reasoning to real problems (such as
knowledge
the analysis of an algorithm) or to typical puzzles
B 1.5 Describe the strengths and limitations of
propositional and predicative logic
B 1.6 Use a solver to solve large SAT problems
B2 - General B 2.1 Written and oral professional communication in
(transversal) English
skills B 2.2 Discovery of trades and different disciplinary fields
KNOWLEDGE / SKILLS ASSESSMENT & EVALUATION
Ongoing evaluation tasks
Midterm exam Final exam
(max 1/3 of grade for the total
(50% of total grade) (50% of total grade)
course)
Assessment : Assessment : Assessment :
Oral Written Oral Written Oral Written
Duration : XXX h. Criteria : Group base: Yes No Group base: Yes No
Course project : Yes No
Presentation : Yes No Duration : 1 h. Duration : 1 h.
Exam type : Summative Exam type : Summative
Semestral Exam (written) / Semestral Exam (written) /
Assignment /Practical Assignment /Practical
Tasks type & Weight : XXXXXX Assignment Assignment
TEACHING METHODS & TOOLS
Students will be guided to develop problem-solving skills through interactive
activities that are closely tailored to the lesson at hand. Students will be guided to
discover activities that promote self-learning and help students develop critical
thinking skills and retain knowledge that leads to self-actualization.
Lecture Practical Work Extra-mural/individual
work
Explanation Modeling
Study of textbooks,
Slideshow Exercises
sources
Presentation Self-study
Individual work
Demonstration Instruction with
Problem solving learning
demonstration
Video-presentation
KNOWLEDGE & SKILLS PREREQUISITS
Sets and their operations, functions, relations, recurrence
COURSE DESCRIPTION /SYLLABUS / RESOURCES
ADDITIONAL
TOPIC HOURS CORE RESOURCES 1
RESOURCES
https://www.harryhike
General introduction 1.5hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Why Study Logic?
https://www.harryhike
Propositional logic 7.5hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Logic connectors, well- 6hTD
formed formulas pp. 327-467
Semantics: truth tables,
Formalization of statements Mordechai Ben-Ari. Mathematical
Logic for Computer Science pp. 7-
Notion of model and
129
counter-model
Validity, (un) satisfiability,
Harry J. Gensler. Introduction to
consequence and logical
Logic pp. 140-239
equivalence
Notion of inference rule
(modus ponens and tollens)
Normal forms (conjunctive,
disjunctive, and clausal)
Generalized connectors and
conversion to clausal form
Simplified operation of a SAT
solver (propositional
resolution)
1 For each topic max 20 -25 page of reading
Page 2 from 2
https://www.harryhike
Logic of predicates 9hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Existential and universal 6hTD
quantifiers, well-formed pp. 470-539
formulas Mordechai Ben-Ari. Mathematical
Logic for Computer Science
Formalization of statements
pp. 131-202
Truth in an interpretation, a
structure
Remarkable equivalences
STRUCTURE OF THE COURSE & ADDITIONAL INFORMATION REGARDING THE COURSE
PREPARATION
CORE REFERENCES
1. Patrick J. Hurley, Lori Watson. A Concise Introduction to Logic, 13th Edition -
Cengage Learning, 2018
2. Mordechai Ben-Ari. Mathematical Logic for Computer Science, Springer Science &
Business Media, 2012
3. Harry J. Gensler. Introduction to Logic, third edition - New York and London:
Routledge, 2017
ADDITIONAL REFERENCES
1. Lepage. Elements de Logique Contemporaine-Presses de l'Univ. de Montreal, 2001.
2. Delmas-Rigoutsos, Lalement. La Logique ou l'Art de raisonner-Le Pommier, 2001.
3. Kossak R. Mathematical logic on Numbers, Sets, Structures, and Symmetry –
Springer, 2018
4. Gochet P., Gribomont P., Thayse A. Logique. Volume 3, Méthodes pour l'intelligence
artificielle - Paris : Hermès Science publications, ©2000
5. Jones T. AI Application Programming, 3th Edition - Charles River Media, 2017
6. Harry J. Gensler. Historical Dictionary of Logic -Lanham, Md., Scarecrow Press
[Rowman & Littlefield], 2006
WEB RESOURCES
1. https://www.harryhiker.com
2. www.cengage.com
3. http://www.satlive.org/solvers/
4. http://intrologic.stanford.edu/logica/homepage/index.php
5. https://leanprover.github.io/logic_and_proof/
6. https://www.phil.cmu.edu/projects/apros/ STRUCTURE OF THE COURSE &
ADDITIONAL INFORMATION REGARDING THE
Page 2 from 2
Page 3 from 2
