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 (PGMAT-UFAL) (12.01.17.22)

Código:

PGMAT-UFAL000000005

Nome:

LÓGICA ALGÉBRICA

Carga Horária Teórica:

102 h.

Carga Horária Prática:

0 h.

Carga Horária Total:

102 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

( PGMAT-UFAL0063 )

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

Exige Horário:

Sim

Permite CH Compartilhada:

Não

Permite Múltiplas Aprovações:

Não

Quantidade de Avaliações:

Módulo:

Ementa/Descrição:

Álgebra de Lindenbaum-Tarski,Lógicas algebrizáveis, Semânticas matriciais, Hierarquias de Frege e de Leibnitz

Referências:

1. BLOK, W. J., PIGOZZI, D.; Algebraizable logics, Memoirs of the American Mathematical Society, 396 (1989). 2. CZELAKOWSKI, J.; Protoalgebraic logics. Trends in Logic – Studia Logica Library vol. 10, Kluwer, Dordrecht, 2001. 3. FONT, J. M.; Abstract Agebraic Logic – An Introductory Textbook. Studies in Logic vol. 60 – Mathematical Logic and Foundations, College Publications, London, 2016. 4. RASIOWA, H.; An algebraic approach to non-classical logics. Studie in Logc and the Foundations of Mathematics, vol. 78. North-Holland,Amsterdam, 1974. 5. WÓJCICKI, R.; Theory of logical calculi. Basic theory of consequence operations. Synthèse Library, vol. 199. Reidel, Dordrecht, 1988.

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência	Fim da Vigência
( PGMAT-UFAL0063 )	ATIVO	10/06/2022

<< Voltar