Computational Logic
| Áreas Científicas |
| Classificação |
Área Científica |
| CNAEF |
Electronics and automation |
Ocorrência: 2021/2022 - 1S
Ciclos de Estudo/Cursos
Docência - Responsabilidades
Língua de trabalho
Portuguese
Objetivos
• Have knowledge of the concept of abstraction
. Number representation systems: decimal, binary and hexadecimal.
• Understand and apply the main theorems of Boolean Algebra.
Understand its fundamentals and its application in computing.
• Apply the design methodologies of combinatorial and sequential systems. State machines.
• Implement sequential systems through GRAFCET.
• Know the constitution of a programmable automaton and know how to program it.
• Know the Automata network configurations.
Resultados de aprendizagem e competências
At the end of the course, the student must know and know how to apply the following contents:
1) Programmed versus wired automations;
2) Architecture and constitution of programmable automata;
3) Interfaces for connection to the most common sensors and actuators;
4) LADDER and GRAFCET programming languages;
5) Standard IEC 61131-3.
6) Structured programming and most common programming blocks;
7) Design and programming of automatisms applied to industrial processes.
Modo de trabalho
Presencial
Programa
Number representation systems: decimal, binary and hexadecimal.
• Boolean logic.
• State machines.
• Memory and dynamics of allocation and representation of basic data.
• Data storage and structuring.
• Modeling discrete-GRAFCET command systems.
• Programmable automata. Programming languages and methods. Data types; flow control; functions/subroutines; parameters. Programming with data blocks and analog variables/cards. Programming functions with parameters - special functions.
• Project to implement a state machine using programmable automata.
Bibliografia Obrigatória
Steven T. Karris; Digital Circuit Analysis and Design with Simulink Modeling
Bibliografia Complementar
Ronald J. Tocci; Digital Systems: Principles and Applications
Métodos de ensino e atividades de aprendizagem
Theoretical Classes: exposition of the subject with demonstrations
Practical classes: examples and exercises.
Laboratory classes: work with manipulation of computational tools to solve problems inherent to logical computing.
Tipo de avaliação
Distributed evaluation without final exam
Componentes de Avaliação
| Designation |
Peso (%) |
| Teste |
100,00 |
| Total: |
100,00 |
Componentes de Ocupação
| Designation |
Tempo (Horas) |
| Frequência das aulas |
60,00 |
| Total: |
60,00 |
Obtenção de frequência
There are two assessment methods provided for the UC:
1) Test evaluation method;
2) Assessment method by Exam.
Both methods have a theoretical assessment component and a laboratory assessment component, distinct for each component: Informatics and Automation.
The laboratory evaluation component in each component is the same in both methods and will be carried out during the respective laboratory classes.
Fórmula de cálculo da classificação final
1) EVALUATION BY TESTS:
1.1) ASSESSMENT OF THE LOGIC COMPONENT:
Logic Test + Logic laboratory evaluation
(3 evaluated laboratories will be counted towards the laboratory part grade)
1.2) ASSESSMENT OF THE AUTOMATION COMPONENT:
Test Automation + Laboratory evaluation Automation;
1.3) FINAL NOTE:
50% *[Logic Test *70% + (Logic Laboratory Assessment)*30%] +
50%*[Automation Test * 70% + (Automation Laboratory Assessment) * 30%]
1.4) Passage criteria:
Logic Test >= 8.5 Values;
Test Automation >= 8.5 Values;
Final Grade >= 9.5 Values;
1.5) OBSERVATIONS:
Obs1: Students who did not meet the passing criteria automatically pass to the exam method, and will only have to take the exam of the corresponding part (ie Logic and/or automation) that did not pass (ie, test < 8.5 values ).
Obs2: Students who pass the CONTINUOUS METHOD will only be able to make improvements during the appeal period (they can choose to take the Logic part exam and/or the automation part exam.
Obs3: The laboratory evaluation of informatics and the laboratory evaluation of automation is always done in the laboratories. There is no alternative method for this assessment.
2) EVALUATION BY EXAMINATION:
2.1) The students who can be evaluated in this method are:
2.1.1) Students who do not pass the test assessment method;
2.1.2) Students who opted for this assessment method (for example, did not do one of the
theoretical assessment components of assessment by tests).
2.2) EVALUATION OF THE LOGIC COMPONENT:
A student can only take the Logic Exam if he has not passed the Logic Test (i.e. if the Logic Test score was < 8.5 values).
2.3) ASSESSMENT OF THE AUTOMATION COMPONENT:
A student can only take the Automation Exam if he has not passed the Automation Test (i.e. if the automation test score was < 8.5 values).
2.4) FINAL NOTE:
50% *[ (Logical Exam)*70% + (Logical Laboratory Assessment))*30% ) ] +
50%* [ (Automation Exam*70% + (Automation Laboratory Assessment) * 30%)]
2.5) PASSING CRITERIA:
Logic component assessment >= 8.5 Values;
Automation component evaluation >= 8.5 Values;
Final grade >= 9.5 Values;
Obs1: Students who do not pass may retake the exam of the component that did not pass at the time of appeal;
Obs2: Students who did not pass the Logic laboratory assessment, due to entry into the 3rd phase or because they have the status of student workers, and therefore were unable to attend the laboratories, the Logic Exam and Automation Exam component will have a weight of 100% instead of 70% if they have not been evaluated in the respective laboratories.