Logica Matematica As

Este documento descreve uma disciplina de Lógica Matemática no curso de Tecnologia em Análise e Desenvolvimento de Sistemas. A disciplina tem como objetivos desenvolver o raciocínio lógico dos alunos e capacitá-los nos conceitos e técnicas da lógica proposicional, álgebra de Boole e lógica digital. O conteúdo programático inclui lógica proposicional, técnicas de dedução, álgebra de Boole e lógica digital.

Enviado por

Quizito Armando Creva

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

0% acharam este documento útil (0 voto)

84 visualizações3 páginas

Logica Matematica As

Enviado por

Quizito Armando Creva

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

Você está na página 1/ 3

GERÊNCIA EDUCACIONAL DA ÁREA DE TELEMÁTICA

CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE

SISTEMAS

DISCIPLINA: LÓGICA MATEMÁTICA

PERÍODO: 1º
CARGA HORÁRIA: 40 h/a
OBJETIVOS:
Desenvolver o raciocínio lógico do aluno. Capacitar o aluno a compreender os
conceitos fundamentais da lógica matemática. Capacitar o aluno a desenvolver
técnicas de demonstração de teoremas na lógica matemática. Capacitar o aluno a
compreender a ágebra de Boole.
EMENTA:
Lógica Proposicional. Técnicas de Dedução. Álgebra de Boole. Lógica Digital.
CONTEÚDO PROGRAMÁTICO:

1. LÓGICA PROPOSICIONAL.
1.1. Preliminares
1.1.1.Proposições
1.1.2.Conectivos lógicos
1.1.3.Valor lógico
1.1.4.Princípios Fundamentais da lógica.
1.2. Operações lógicas sobre Proposições.
1.2.1.Operação de negação
1.2.2.Operação de conjunção
1.2.3.Operação de disjunção
1.2.4.Condicional.
1.2.5.Bicondicional.
1.3. Análise das proposições compostas.
1.3.1.Tautologia
1.3.2.Contradição
1.3.3.Indeterminação
1.3.4.Implicação lógica.
1.4. Negação das operações lógicas.
1.4.1.Negação da negação
1.4.2.Negação da conjunção
1.4.3.Negação da disjunção
1.4.4.Negação do condicional.
1.5. Proposições associadas a um condicional.
1.5.1.Recíproca do condicional
1.5.2.Contrapositiva
1.5.3.Inversa.
1.6. Equivalências lógicas notáveis.
1.6.1.Dupla negação
1.6.2.Leis idempotentes
1.6.3.Leis comutativas
1.6.4.Leis associativas
1.6.5.Leis distributivas
1.6.6.Leis de De Morgan
1.6.7.Leis de identidade
1.6.8.Leis complementares
1.6.9.Condicional
1.6.10.Bicondicional.

2. TÉCNICAS DE DEDUÇÃO.
2.1. Argumento válido
2.2. Regras de inferência
2.3. Prova condicional
2.4. Prova bicondicional
2.5. Prova indireta ou por redução ao absurdo
2.6. Prova indireta da forma condicional

3. ÁLGEBRA DE BOOLE.
3.1. Interruptores e circuitos
3.2. Circuito série e paralelo
3.3. Implementação de expressões booleanas através de interruptores
3.4. Simplificação de expressões.

4. LÓGICA DIGITAL.
4.1. Portas lógicas
4.2. Circuitos lógicos
4.3. Mapa de karnaugh.

Logica Matematica As

Enviado por

Logica Matematica As

Enviado por

GERÊNCIA EDUCACIONAL DA ÁREA DE TELEMÁTICA

CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE

DISCIPLINA: LÓGICA MATEMÁTICA

ALENCAR FILHO, Edgard de. INICIAÇÃO À LÓGICA MATEMÁTICA. Nobel.

CURY, M.X. INTRODUÇÃO À LÓGICA. Érica (Estude e use. Série Matemática).

IDOETA, I.V.; CAPUANO, F.G. ELEMENTOS DE ELETRÔNICA DIGITAL. Érica.

SUPPER, Patrick. PRIMER CURSO DE LÓGICA MATEMÁTICA. Barcelona:

Você também pode gostar

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.