Nome da Atividade
ESTRUTURAS LÓGICO-DEDUTIVAS
CÓDIGO
11100079
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
FREQUÊNCIA APROVAÇÃO
75%
NOTA MÉDIA APROVAÇÃO
7

Ementa

Introdução ao Pensamento Matemático. Cálculo Proposicional: Definição e Método Dedutivo.
Cálculo de Predicados: Definição e Método Dedutivo. Teoria Elementar dos Conjuntos: definição,
propriedades e operações. Relações: definição; relação de equivalência; relações binárias; relações de ordem e funções.

Objetivos

Objetivo Geral:

Objetivo(s) Geral(ais):
Apresentar a principais características da ciência matemática, como ciência dedutiva, que estuda
padrões, que possui natureza abstrata e cuja validade ocorre por meio de uma linguagem formal e
do rigor lógico de provas (demonstrações). Introduzir conceitos de lógica matemática de maneira
prática, de forma a auxiliar no desenvolvimento da capacidade de raciocínio lógico, organizado e
dedutivo. Desenvolver conteúdos de Introdução à Álgebra utilizando a Lógica Matemática na
resolução de problemas e na demonstração de propriedades.

Objetivo(s) Específico(s)–
Desenvolver as primeiras noções do Cálculo Proposicional e de Predicados, iniciando o aluno
na linguagem matemática e no pensamento abstrato dedutivo.
– Desenvolver a Teoria Elementar dos Conjuntos, Relações e Funções, exercitando o raciocínio
lógico e a linguagem matemática para demonstração de propriedades.
– Propiciar a assimilação da linguagem da matemática contemporânea, através dos estudos
das operações lógicas e das ideias fundamentais dos conjuntos.
– Estabelecer paralelos entre a álgebra de conjuntos e o cálculo proposicional.
– Inter-relacionar os conteúdos da disciplina de modo que possam ser visualizadas suas
características fundamentais e algumas de suas utilizações em outras disciplinas do curso.

Conteúdo Programático

Bibliografia

Bibliografia Básica:

  • DOMINGUES, H.H. Álgebra Moderna. São Paulo: Saraiva. ISBN 9788547223076 [Livro eletrônico]
  • MACHADO, N.J.; CUNHA, M.O. Lógica e Linguagem Cotidiana: verdade, coerência, comunicação, argumentação. Belo Horizonte: Autêntica (Tendências em educação matemática). ISBN 9788582170854 [Livro eletrônico]
  • SILVA, J.C. Estruturas Algébricas para Licenciatura. São Paulo: Blucher. ISBN 9788521210719. [Livro eletrônico]

Bibliografia Complementar:

  • ALENCAR FILHO, E. Iniciação a Lógica Matemática. São Paulo: Nobel. ISBN 852130403X
  • BISPO, C.A.F. Introdução à Lógica Matemática. São Paulo: Cengage Learning. ISBN 9788522115952 [Livro eletrônico]
  • GONÇALVES, A. Introdução à Álgebra. Rio de Janeiro: IMPA (Projeto Euclides). ISBN 9788524401084
  • MENEZES, P. B. Matemática Discreta para Computação e Informática. v.16. Porto Alegre: Bookman (Livros didáticos informática UFRGS). ISBN 9788582600252 [Livro eletrônico]
  • ZAHN, M. Introdução à Álgebra. Rio de Janeiro: Ciência Moderna. ISBN 9788539902897

Turmas Ofertadas

Turma Período Vagas Matriculados Curso / Horários Professores
T2 2023 / 1 15 14 Matemática (Licenciatura - Noturno)
Horários
ManhãTardeNoite
QUA19:00 - 19:50
19:50 - 20:40
20:40 - 21:30
21:30 - 22:20
SABRINA BOBSIN SALAZAR
Professor responsável pela turma

T1 2023 / 1 16 15 Matemática (Licenciatura - Noturno)
Matemática (Licenciatura)
Horários
ManhãTardeNoite
QUA10:00 - 10:50
10:50 - 11:40
SEX10:00 - 10:50
10:50 - 11:40
SABRINA BOBSIN SALAZAR
Professor responsável pela turma

Disciplinas Equivalentes

Disciplina Curso
INTRODUÇÃO À LÓGICA Matemática (Licenciatura - Noturno)
INTRODUÇÃO À LÓGICA Matemática (Licenciatura)

Página gerada em 07/06/2023 16:28:29 (consulta levou 0.128137s)