Logic for engineers - course description

General information

Course name	Logic for engineers
Course ID	11.3-WE-INFP-LogdlaInf-Er
Faculty	Faculty of Computer Science, Electrical Engineering and Automatics
Field of study	Computer Science
Education profile	academic
Level of studies	Erasmus programme
Beginning semester	winter term 2017/2018

Course information

Semester	1
ECTS credits to win	3
Course type	obligatory
Teaching language	english
Author of syllabus	dr inż. Jacek Tkacz

Classes forms

The class form	Hours per semester (full-time)	Hours per week (full-time)	Hours per semester (part-time)	Hours per week (part-time)	Form of assignment
Lecture	15	1	-	-	Credit with grade
Class	30	2	-	-	Credit with grade

Aim of the course

Introduce students to the basics of Boolean algebra and sentence calculus.

To familiarize students with methods of proving tautology.

Familiarizing students with the use of logic and set theory in computer science.

Prerequisites

no requirements

Scope

Propositional calculus. Syntax and semantics. The concept of tautology. Methods of proving tautology. Rights of the propositional calculus.

Sets and set elements. Defining subsets of the set. Equality of sets. Operations on sets. The laws of sets theory and the ways of proving them.

Boolean algebra. Logical functions. Minimize logical functions. Logical Function Representation Methods (BDD). Study of the satisfying of logical functions.

Logic and set theory in computer science.

Elements of symbolic logic and sequent calculus.

Teaching methods

Lecture: Conventional lecture

Class: Practical exercises

Learning outcomes and methods of theirs verification

Outcome description	Outcome symbols	Methods of verification	The class form

Assignment conditions

Lecture - the main condition to get a pass are sufficient marks in written tests

Class – the main condition to get a pass is to obtain positive marks from the written tests.

Notes

Modified by dr inż. Jacek Tkacz (last modification: 26-05-2017 13:08)

Generate PDF for this page