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:

PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA - PPGMAT (11.01.01.15.06)

Código:

PPGMAT3978

Nome:

LÓGICA CLÁSSICA E EXTENSÕES

Carga Horária Teórica:

60 h.

Carga Horária Prática:

15 h.

Carga Horária Total:

75 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

( PPGTARH0038 ) OU ( PPGTARH0039 )

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Sim

Horário Flexível da Turma:

Sim

Horário Flexível do Docente:

Sim

Obrigatoriedade de Nota Final:

Sim

Pode Criar Turma Sem Solicitação:

Sim

Necessita de Orientador:

Não

Exige Horário:

Sim

Permite CH Compartilhada:

Não

Permite Múltiplas Aprovações:

Não

Quantidade de Avaliações:

Ementa:

1. Sintaxe of Linguagens de Primeira Ordem2. Semântica de Linguagens de Primeira Ordem3. Limitação do Método Formal

Referências:

1. Ebbinghaus, H.-D., Flum, J. e Thomas, W. Mathematical Logic, 2nd Ed., Springer. 2. Huth, M. e Ryan, M. Logic in Computer Science - Modelling and Reasoning About Systems, 2nd Ed., Cambridge.3. Souza, J. N. Lógica para Ciência da Computação, Editora Campus Ltda, 2002.4. Burris, S. N. Logic for Mathematics and Computer Science, Prentice Hall, Inc., 1998.

Outros componentes que têm esse componente como equivalente
PPGTARH0038 - INTRODUÇÃO A LÓGICA FORMAL
PPGTARH0039 - INTRODUÇÃO A LÓGICA FORMAL

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência	Fim da Vigência
( PPGTARH0038 ) OU ( PPGTARH0039 )	ATIVO	01/08/2019

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
1392/1	2018.1	MATEMÁTICA/PPGMAT - Mestrado - Presencial	Não	0	Sim

<< Voltar