Summary of Sistemas Lógicos I 2022-2023

Home
- My courses
- Courses
  - DEEC Dep Engenharia Electrotécnica e de Computadores
    - eLearning
    - Departamento
    - Doutoramentos
    - Mestrados
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - Período Intercalar
    - Ano Letivo 2024/25
    - Arquivo
      - Ano Letivo 2023/2024
      - Ano Letivo 2022/2023
      - Ano Letivo 2021/2022
      - Ano Letivo 2020/2021
      - Ano Letivo 2019/2020
      - Ano Letivo 2018/2019
      - Ano Letivo 2017/2018
      - Empreendedorismo
      - Ciência, Tecnologia e Sociedade
      - Competências Transversais para Ciências e Tecnologia
  - DCEA Dep Ciências e Engenharia do Ambiente
    - DCEA Investigação / Projetos
    - DCEA Mestrados e Doutoramentos
    - DCEA Órgãos
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCM Dep Ciência dos Materiais
    - DCM Doutoramentos
      - DCM Doutoramento 23/24
      - DCM Doutoramento 24/25
    - DCM Mestrados
      - DCM Mestrado 23/24
      - DCM Mestrados 24/25
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCR Dep Conservação e Restauro
    - Projectos
    - DCR Órgãos
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCSA Dep Ciências Sociais Aplicadas
    - DCSA Home Page
      - Staff Pages
    - DCSA Formação Docente
    - MEd - Mestrado Educação 14-15-16-17-18-19-20-21-22...
    - Prog Doutorais, Dissertações e Teses
      - MEFQ 2012-13 Portefólios de Estágio
      - PDAT - Avaliação de Tecnologia
      - PSM EnsBioGeo - Dissertações e Relatórios
      - PDeP - Programa Doutoral em e-Planning
      - Dissertações, Trabalhos de Projeto e Teses
    - Projetos
      - Comunidades
      - Projectos António Brandão Moniz
      - Projectos Vitor Duarte Teodoro
    - UIED
      - Projecto Inquérito ao Sucesso Escolar
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCT Dep Ciências da Terra
    - DCT Órgãos
    - Extra-curricular
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCTB Dep de Ciências e Tecnologia da Biomassa
    - Ano Letivo 2024/25
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DCV Dep de Ciências da Vida
    - Mestrados e Doutoramentos
      - Doutoramento em Biologia
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DEC Dep Engenharia Civil
    - Cursos
    - Órgãos DEC
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DEMI Dep Engenharia Mecânica e Industrial
    - eLearning
    - Projetos
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DF Dep de Física
    - DF Dissertações e teses
    - DF Iniciativas e Eventos
    - DF Projetos
    - DF Cursos
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DI Dep Informática
    - DI Estágios
    - DI Iniciativas e Eventos
    - DI Projetos
    - Ano Letivo 25/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
    - Programa Doutoral
  - DM Dep Matemática
    - DM Dissertações e Teses
    - DM eLearning
    - DM Iniciativas e Eventos
    - DM Órgãos
    - DM Projetos
    - DM Mestrados
      - Estatística para a Saúde 19/20
      - Estatística para a Saúde 21/22
      - Estatística Aplicada à Saúde 2024-2025
    - DM Pós Graduação
      - Estatística para a Saúde 20/21
      - Estatística para a Saúde 2022-2023
      - Estatística para a Saúde 2023-2024
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
    - Ano Letivo 2019/20
  - DQ Dep Química
    - Mestrados DQ
      - Mestrado em BioOrgânica
      - Mestrado em Bioquímica
      - Mestrado em Bioquímica para a Saúde
      - Mestrado em BioTecnologia
      - Mestrado em Ciências Gastronómicas
      - Modelos Mestrados
      - Mestrado em Engenharia Química e Biológica 2025
    - Projetos
    - Ano Letivo 2025/26
      - 1º Semestre
    - Ano Letivo 2024/25
      - 1º Semestre
      - 2º Semestre
    - Ano Letivo 2023/24
    - Ano Letivo 2022/23
    - Ano Letivo 2021/22
    - Ano Letivo 2020/21
      - Mestrado em Bioquímica 2021
      - Mestrado em Biotecnologia 2021
    - Ano Letivo 2019/20
      - Mestrado em Biotecnologia 19/20
      - Mestrado Química Bioorgânica 19/20
  - Nova SST Cairo
    - Ano Letivo 2025/26
    - Ano letivo 2024/25
    - Ano letivo 2023/24
  - Divisão de Documentação e Cultura
    - Arquivo
  - I&D @ FCTUNL
    - Arquivo
  - GIP / Laboratório de e.Learning
    - Formações
      - Formações GIP-FCT 2025 - 2026
      - Formação Moodle 2
      - Formação Moodle 3.0
      - Formação Moodle 4.0
      - 1ª Ed. Crash Course Docência Online
      - 2ª Ed. Crash Course Docência Online
    - Disciplinas
    - Estatísticas
    - Eventos
    - Videocasts/PodCasts - OnDemand
    - staff pages
    - Modelos salas Moodle
  - Licenciaturas & MI
    - Arquivo
    - Engenharia Biomédica
  - Orgãos de Gestão da FCT
  - Páginas Pessoais e Grupos de Trabalho
    - Arquivo
    - Páginas Pessoais
      - Páginas Pessoais Alexandra Tenera
  - Projectos Intersectoriais
    - Arquivo