- Details
- Category: Discipline
- Automation and Computer Systems
- 6865
- 1792
- Databases
- IPLUSO6865-1792
- 2
- 4
- 0
- 4
- Não
- Português
- Semestral
- Details
- Category: Discipline
- W. K. Grassmann e J.-P. Tremblay, Logic and Discrete Mathematics - A Computer Science Perspective, Prentice Hall, 1996. K. Rosen, Discrete Mathematics and its Applications, MacGraw-Hill, 1999[
- Computer Engineering and Applications
- 6615
- 1656
- Discrete Mathematics
- IPLUSO6615-1656
- 1
- 6
- 0
- 4
- Não
- Português
- The teaching methodologies are based on two aspects, namely: Theoretical classes: Expository method, using a board and projector, interspersed with situations of dialogue with students aimed at developing mathematical intuition, critical thinking and the ability to formulate concepts. Theoretical-practical classes: Complementing the subjects studied in the theoretical classes and solving exercises including discussion of the statement, time interval in which students try to solve the exercise on their own, discussion of possible solutions, presentation of a final answer. Some classes are in a computer lab.
- Mandatory
- LO1. Acquire appropriate mathematical foundations and techniques for a better understanding and mastery of the tools to be used by a computer engineer. LO2. Understand and formulate mathematical content with clarity and rigor, applying the knowledge acquired in different scenarios. LO3. Develop logical reasoning expressed by propositional and predicate calculations. LO4. Acquire basic notions about relations, equivalence relations, partially ordered sets, functions and partial functions. LO5. Use and formulate recursive definitions, apply ordinary and structural recursive proof. Apply basic concepts of graph and tree theory.
- S1. Propositional Calculus: Logical Operations. Tautologies and contradictions, correct arguments. Normal shapes. Natural formal system. S2. Calculation of predicates: Predicates. Logical equivalences. Rules of inference for the existential and universal quantifiers. Formal demonstrations. S3. Sets, relations and functions: Basics, binary relations, boolean matrices and properties. Equivalence relations and partially ordered sets. S4. Binary trees, sequences, lists and strings. S5. Graphs: Directed and undirected graphs. Matrix of paths with graphs. trees. Graphs with weights and Dijkstra's algorithm. S6. Python/Octave: Basic notions and application to program themes
A avaliação engloba duas frequências e um trabalho prático. A nota mínima para aprovação na disciplina é 10 valores. Se o aluno não obtiver aprovação fará exame final, e a nota da disciplina será o nota desse exame.
Exemplo:
Descrição
Data limite
Ponderação
Primeira Frequência
16-11-2026
40%
Segunda Frequência
06-01-2027
40%
Trabalho
13-01-2027
20%
Adicionalmente poderão ser incluídas informações gerais, como por exemplo, referência ao tipo de acompanhamento a prestar ao estudante na realização dos trabalhos; referências bibliográficas e websites úteis; indicações para a redação de trabalho escrito...
- Semestral
- Discrete Mathematics is an area of ¿¿mathematics of growing interest to computer sciences, life sciences, telecommunications, electronics, processor industry, integrated circuit design, cryptography and security in communications transmission, automobile traffic systems. The reciprocal influence of discrete mathematics with other areas of mathematics is increasingly visible, as in the case of operational research, algebra, number theory, geometry and topology. Discrete mathematics is divided into two major areas: combinatorics and graph theory. It deals with processes that consist of sequences of separate states, or numerable sets of objects, including, of course, finite sets, with common patterns, in many cases difficult to identify without resorting to its powerful analysis techniques.
- Details
- Category: Discipline
- Multimedia Art
- 7147
- 27377
- Project based drawing
- IPLUSO7147-27377
- 1
- 5
- 0
- 4
- Não
- Português
- Semestral
- Details
- Category: Discipline
- Snell, R. (2009). Clinical Neuroanatomy for medical students (7 th ed.). Wolters Kluwer: Lippincott Williams & Wilkins. Seeley, R.; Stephens, T.; Tate, P. (2001). Anatomia e Fisiologia. (3a ed.). Lisboa; Lusodidacta. Sobotta, J. (2000). Atlas de Anatomia Humana (21 th ed.). Rio de Janeiro: Guanabara Koogan. Netter, F. H. (2000). Atlas de Anatomia Humana (2 nd ed.). Porto Alegre: Artmed. Moore, K. L. (2011). Anatomia Orientada para a Cli¿nica Moore (6a ed.). Rio de Janeiro: Guanabara Koogan. Guyton, A. C. & Hall, J. E. (2011). Tratado de Fisiologia Me¿dica (12a ed.). Rio de Janeiro: Editora Guanabara Koogan.
- Pharmacy
- 4003
- 19254
- Neurophysiology
- IPLUSO4003-19254
- 1
- 4
- 0
- 4
- Não
- Português
- In this curricular unit, the Team-based learning (TBL) methodology is used, with tasks carried out in small groups, allowing the development of the ability to analyze and apply theoretical concepts.
- Mandatory
- Transmit a comprehensive and detailed knowledge of the structure of the human nervous system Provide a comprehensive perspective of the nervous system function, with a particular focus on topics relevant to clinical neurosciences. Provide students with the nomenclature of the central nervous system. Understand and realize the interconnection and relationship of the nervous system with other body systems.
- General Setup and organization of the central nervous system and ontogenesis. Neurobiology of neuron and glia. Nerve fibers, peripheral nerves, endings and effector receptors, dermatomes, myotomes, sclerotomes and muscle activity. The spinal cord and ascending and descending tracts. Brainstem. Cerebellum and their connections. Brain. Structure and functional location of the cerebral cortex. Reticular formation and limbic system. Basal ganglia and their connections. Nuclei of cranial nerves, their plants and distribution connections. Thalamus and their connections. Autonomic nervous system. Cerebral meninges or spinal cord. Ventricular system, cerebrospinal fluid and the blood-brain and blood-cerebrospinal fluid barrier. Blood vessels of the brain and spinal cord.
Descrição
Data limite
Ponderação
1º Teste de avaliação teórico
XX-XX-XXXX
25%
1º Teste de avaliação prático
XX-XX-XXXX
25%
2º Teste de avaliação teórico
XX-XX-XXXX
25%
2º Teste de avaliação prático
XX-XX-XXXX
25%
A componente escrita consta de duas frequências escritas e é relativa aos conteúdos teóricos. A classificação mínima em cada frequência é de 8 valores. A componente prática consta duas frequências realizadas durante as aulas. A classificação mínima em cada frequência prática é de 8 valores. A classificação final é calculada a partir da seguinte fórmula: CF = 0,50 T + 0,50 PL. A classificação de todos os instrumentos de avaliação é expressa numa escala de 0 a 20 valores, sendo que o valor ponderado das classificações obtidas em cada componente tem de ser igual ou superior a 9,5 valores, para efeitos de cálculo da classificação final.
- Semestral
- The curricular unit leads students to study brain function from the cellular and synaptic level to the functional and system level. It addresses contents of cellular neuroscience and synaptic essences for the study of different aspects of sensory systems, besides processing and higher order brain dysfunction. Teaching is structured around the development of knowledge of brain function, from the cellular level to functional systems and approaches.
- Details
- Category: Discipline
- Automation and Computer Systems
- 6865
- 84
- Industrial Automation
- IPLUSO6865-84
- 2
- 5
- 0
- 4
- Não
- Português
- Semestral
