Computational Logic

Scholar Year: 2019/2020 - 1S

Courses

Head Teacher Responsability António Leonardo Gonçalves Head

Weekly workload Hours/week T TP P PL L TC THE EL OT OT/PL TPL S Type of classes 2 2 Lectures Type Teacher Classes Hours Theorethical and Practical classes Totals 2 4,00 António Gonçalves   4,00 Paulo Ferreira   4,00 Prática Laboratorial Totals 1 2,00 João Santos   12,00 João Lourenço   2,00 Paulo Felício   8,00 Rogério Largo   2,00

Teaching language

Portuguese

Intended learning outcomes (Knowledges, skills and competencies to be developed by the students)

On successful completion of the curricular unit, student will be able to:
• Knowledge of programming languages, data networking, databases, operating systems, user interfaces. Systems representation of numbers: decimal, binary and hexadecimal.
• Knowledge the architecture of the H / W of a computer, data storage and its structure.
• Understand the process of memory allocation. Dynamic memory: indirect reference (pointers); dynamic structures (lists).
• Understand and apply the main theorems of Boolean Algebra. Understand the fundamentals and its application in computation.
• Implement logic functions using hardware and software.
• Apply the project methodologies system design combinatorial and of sequential lsystems. State machines.
implementing sequential systems by GRAFCET.
• Knowledge the constitution of a PLC and program it to know.
• Knowledge the Programmable Logic Controller network configurations.

Syllabus

Introduction to IT sub-areas: applicative logic and programming languages, data networking, databases, operating systems, user interfaces. Software, Middleware, Firmware.
• Systems of representation of numbers: decimal, binary and hexadecimal.
• Propositional Logic.
• Machines states.
• architecture of the H / W from a computer.
• Memory allocation and dynamic data representation and basic.
• Data storage and structuring.
• Stack vs. Heap. Dynamic memory: indirect reference (pointers); dynamic structures (lists)
• Modelling of discrete command-GRAFCET.
• Programmable logic controllers. Languages and programming methods. Data types, flow control, functions / subroutines; parameters. Programming with data blocks and variable / analog cards. Programming functions with parameters - special functions.
• Draft implementation of a state machine using programmable Logic Controller.

Demonstration of the syllabus coherence with the UC intended learning outcomes

The syllabus of the curricular unit is structured according to the skill development listed in the objectives. Thus begins by addressing the essential tools used for understanding, development and application of methodologies for representing logic functions and their representation in software and hardware. Subsequently introduces the fundamental concepts in the field of computing to provide the theoretical knowledge and practical procedures providing students with an understanding of the technologies used and the practical skills necessary for the structuring of logical thinking and transposition for programming in different languages

Teaching methodologies

• Theoretical / Practical: exposition of the demonstrations, examples and exercises.
• Laboratory classes: conducting studies with manipulation of computational tools for solving computing problems inherent logic. Programming and modeling and sequential logic systems. Programming of PLCs.
• Evaluation: completion of a test or final exam (60%) and conducting laboratory work with report delivery (40%).

Demonstration of the teaching methodologies coherence with the curricular unit's intended learning outcomes

The practical classes are complemented with classes in laboratories where they apply theoretical concepts and implement the exercises previously held in the practical classes. Successfully completing the course the student should understand the theoretical and practical principles of computational systems. Must possess skills in handling systems programming tools combinatorial and sequential. For this purpose the student examines problems associated with real chaos in practical classes and simulates them in labs. In laboratory classes students implements in hardware and software some of the cases discussed in lectures

Assement and Attendance registers

Primary Bibliography