formações – teste

———- EM PROCESSO DE ACREDITAÇÃO PELO CCPFC ———-

DURAÇÃO: 10 horas de curso + 5 horas de palestras (0.6 crédito)

CALENDARIZAÇÃO:

  • Dia 13 de julho: Manhã: 11h – 13h (2h)  |  Tarde: 16h30 – 18h30 (2h)
  • Dia 14 de julho: Manhã: 11h – 13h (2h)  |  Tarde: 15h30 – 17h30 (2h)
  • Dia 15 de julho: Tarde: 15h30 – 17h30 (2h)

OBJETIVOS:

Realçam-se os seguintes objetivos:

1. Conhecer, manejar e explorar as operações lógicas e suas propriedades
2. Compreender as equivalências lógicas de proposições, quer através de tabelas de verdade, quer através do uso das propriedades das proposições
3. Sensibilizar os formandos para as vantagens provenientes de um domínio de excelência sobre a Lógica Bivalente e a Teoria dos Conjuntos
4. Compreender as relações entre operações lógicas sobre condições e operações sobre os conjuntos que as definem
5. Conhecer diferentes métodos de demonstração que têm por base o raciocínio lógico
6. Reconhecer a importância da Lógica e das suas aplicações

CONTEÚDOS PROGRAMÁTICOS:

1. Proposições

1.1 Proposições e valores lógicos
1.2 Operações lógicas com proposições
1.3 Prioridades das operações lógicas
1.4 Propriedades das operações lógicas
1.5 Lógica, circuitos elétricos e portas lógicas
1.6 Resolução de problemas envolvendo operações lógicas e suas propriedades

2. Teoria de Conjuntos

2.1 Expressões proposicionais ou condições
2.2 Quantificadores: universal e existencial
2.3 Segundas leis de De Morgan
2.4 Conjuntos definidos por condições
2.5 Operações sobre conjuntos
2.6 Relação entre operações lógicas sobre condições e operações sobre os conjuntos que as definem
2.7 Resolução de problemas envolvendo operações sobre condições e sobre conjuntos

3. Técnicas de demonstração

4. Avaliação

GRUPOS DE RECRUTAMENTO:

  • Matemática e Ciências da Natureza (230)
  • Matemática (500)

FORMADORES DO DMAT – ESTG IPLeiria: Conceição Nogueira & Paula Faria

Nota: Número mínimo de formandos – 10 formandos