Scribd
Upload
9 views4 pages

L1 Logic 1

The document outlines the course structure for a Bachelor of Science in Computer Science focusing on logic for the academic year 2024-2025, taught by Professor PhD Kristina Sargsyan. It details expected learning outcomes, assessment methods, teaching strategies, and core resources necessary for the course. Key topics include propositional and predicate logic, with an emphasis on problem-solving and critical thinking skills.

Uploaded by

maariaam.gh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
9 views4 pages

L1 Logic 1

The document outlines the course structure for a Bachelor of Science in Computer Science focusing on logic for the academic year 2024-2025, taught by Professor PhD Kristina Sargsyan. It details expected learning outcomes, assessment methods, teaching strategies, and core resources necessary for the course. Key topics include propositional and predicate logic, with an emphasis on problem-solving and critical thinking skills.

Uploaded by

maariaam.gh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

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

You might also like