III.Booleanalgebras,BooleanfunctionsandLogiccircuits.docVIP

Computational Logic http://cs.ubbcluj.ro/~lupea/LOGICA/Engleza Objectives: The aim of the course is the presentation of the logical foundations of computer science: propositional calculus and predicate calculus, theorem proving methods, Boolean algebras and Boolean functions. The connection with logic programming and logic circuits is presented. Additionally, notions related to information representation are introduced. Competencies: to use numeration systems and internal numbers representations; to understand the theoretical aspects of classical logics; to understand classical logics from a computational perspective (apply specific proof methods) to model the human reasoning and mathematical reasoning using propositional logic and predicate logic; to understand logic circuits and to simplify them using specific simplification methods for Boolean functions. Methods: lectures, exercises, individual study; specific bibliographic materials are used (books, articles, Internet Resources). each student, individually, has to solve and present during the seminars, problems from an existing list of proposed problems ( M. Lupea, A. Mihis , 2015). optional homework Content: I. Numeration systems, numbers representations II. Classical logics: propositional and predicate logics III. Boolean algebras, Boolean functions and logic circuits I. Numeration systems, information encoding, numbers representations ==== prerequisite for the discipline: Computer Architecture Numeration systems: definitions, representation and operations (algorithms for comparison, addition, subtraction, multiplication, division by a digit) of numbers in a base b. conversions between two bases using three methods for integer and rational numbers. examples for particular bases: 2,3,4,6,8,10,16. Numbers representation representation for unsigned integers, operations (!!overflow!!), algorithms for multiplication and division. representation for signed integers: direct code, inverse code, complementary