SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

DISCIPLINA

Unidade Responsável:

DEPTO CIÊNCIAS DA COMPUTAÇÃO (11.01.01.15.01)

Código:

CIC0183

Nome:

LÓGICA COMPUTACIONAL 2

Carga Horária Teórica:

30 h.

Carga Horária Prática:

30 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

60 h.

Pré-Requisitos:

( ( FIL0056 ) OU ( CIC0182 ) )

Co-Requisitos:

Equivalências:

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Sim

Horário Flexível da Turma:

Não

Horário Flexível do Docente:

Sim

Obrigatoriedade de Nota Final:

Sim

Pode Criar Turma Sem Solicitação:

Sim

Necessita de Orientador:

Não

Possui Subturmas:

Não

Exige Horário:

Sim

Permite Múltiplas Aprovações:

Não

Quantidade de Avaliações:

Ementa:

1. Noções básicas: álgebra e lógicas clássicas.2. Noções fundamentais: a. Linguagens modais proposicionais b. Semântica de Kripke c. Decidabilidade e Propriedade de Modelos Finitos d. Completude local e global e. Interpolação e o teorema de Beth f. Lógicas polimodais: fusão, fibring, resultados sobre preservação g. Linguagens modais quantificadas3. Aplicações em Computação a. Lógicas de conhecimento e crença: sistemas multi-agentes b. Lógicas temporais: especificação e verificação de hardware e software.

Outros componentes que têm esse componente como pré-requisito
CIC0184 - TÓPICOS ESPECIAIS EM LÓGICA COMPUTACIONAL
CIC0542 - MONITORIA EM LÓGICA COMPUTACIONAL 2

Histórico de Pré-Requisitos
Expressão de Pré-Requisito	Status	Início da Vigência	Fim da Vigência
( ( FIL0056 ) OU ( CIC0182 ) )	ATIVO	01/08/2019

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Ativo
1741/2	2024.2	ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1899/-3	2012.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1741/1	2016.1	ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1899/-4	2007.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1856/3	2025.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Sim
1856/-7	2011.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1899/-2	2015.2	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1856/2	2021.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/1	2018.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/-2	2016.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/-4	2015.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/-3	2015.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/-6	2012.1	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1856/-5	2012.2	CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não
1899/1	2016.1	COMPUTAÇÃO/CIC - Licenciatura - Presencial - N	Não	Sim
1741/-2	2009.2	ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D	Não	Não

<< Voltar