Ir para o conteúdo principal

Blocos

Ignorar Navegação

Navegação

  • Página principal

    • Minhas disciplinas

    • URLBiblioteca

    • FórumAnúncios do site

    • Minhas disciplinas

    • Disciplinas

      • Ano Letivo 2022-2023

        • Licenciatura

          • Biologia

          • Bioquímica

          • Engenharia Biomédica e Biofísica

          • Engenharia da Energia e Ambiente

          • Engenharia do Ambiente (ULisboa e SHU)

          • Engenharia Física

          • Engenharia Geoespacial

          • Engenharia Informática

            • Segurança e Confiabilidade (26749) S2 (2022/23)

            • Laboratórios de Programação (26724) S2 (2022/23)

            • Ciências da Linguagem e da Cognição (26741) S2 (20...

            • Sistemas Ciberfísicos (425237) S2 (2022/23)

            • Pensamento Crítico (85119) S2 (2022/23)

            • Interfaces Pessoa-Máquina (26728) S2 (2022/23)

            • Construção de Sistemas de Software (26750) S2 (202...

            • Elementos de Álgebra Linear (13540) S2 (2022/23)

            • Desenvolvimento Centrado em Objetos (26727) S2 (20...

            • Engenharia do Conhecimento (26734) S2 (2022/23)

            • Ciências da Vida (44348) S2 (2022/23)

            • Lógica de Primeira Ordem (13539) S1 (2022/23)

          • Estatística Aplicada

          • Estudos Gerais

          • Física

          • Geologia

          • Matemática

          • Matemática Aplicada

          • Meteorologia, Oceanografia e Geofísica

          • Química

          • Química Tecnológica

          • Tecnologias de Informação

          • Meteorologia, Oceanografia e Geofísica e Física

          • Qualidade, Ambiente e Segurança (44355) S2 (2022/23)

          • Análise e Simulação de Sistemas (22733) S2 (2022/23)

          • História e Filosofia da Física (85137) S2 (2022/23)

          • Elementos de Probabilidades e Estatística (22743) ...

          • Matemática Discreta (13528) S2 (2022/23)

          • Laboratório de Matemática (13573) S2 (2022/23)

          • Economia e Gestão (22741) S2 (2022/23)

          • História e Filosofia da Matemática (85133) S1 (202...

          • Da Revolução Científica à Big Science. Viagens e E...

          • Álgebra Linear e Geometria Analítica I (13508) S1 ...

          • Competências Transversais para a Empregabilidade (...

        • Mestrado

        • Doutoramento

        • Pós-Graduação

        • Minor

        • Competências Transversais

        • Comissões de Curso

        • Curso Testes no Moodle (Inicial)

        • Outros

      • Ano letivo 2024-2025

      • Ano letivo 2023-2024

      • Ano Letivo 2021-2022

      • Ano Letivo 2020-2021

      • Ano Letivo 2019-2020

  • Fechar
    Alternar a entrada da pesquisa
Logo

Lógica de Primeira O ...

Fechar
Alternar a entrada da pesquisa
  1. Disciplinas
  2. Ano Letivo 2022-2023
  3. Licenciatura
  4. Engenharia Informática
  5. Lógica de Primeira Ordem (13539) S1 (2022/23)
  6. Sumário

Lógica de Primeira Ordem (13539) S1 (2022/23)

  • Professor: Pedro Duarte
  • Professor: Mário Edmundo

Obter a Aplicação móvel