Plano de Ensino TSI LM 2024

SERVIÇO PÚBLICO FEDERAL
MINISTÉRIO DA EDUCAÇÃO
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA GOIANO
CAMPUS MORRINHOS
DIREÇÃO DE ENSINO
PLANO DE ENSINO
CURSO ANO LETIVO

Tecnologia em Sistemas para Internet 2024
DISCIPLINA PERÍODO
Lógica Matemática 1o
PROFESSOR
Ricardo Marques de Carvalho
CH PRÁTICA: CH TEÓRICA: CH TOTAL: CH PRESENCIAL:
51 aulas/ 51 h 15 aulas /15 h 66 aulas / 66 h 54 aulas/ 54 h
CH EAD:
12 aulas/ 12 h
1. EMENTA
Lógica de predicados e lógica proposicional. Proposições e operações lógicas. Valor lógico de uma proposição. Implicação
lógica e equivalência lógica. Álgebra de Boole e técnicas de simplificação de expressões booleanas.
2. OBJETIVOS
2.1. GERAL
Fornecer ao aluno os conceitos fundamentais da Lógica Matemática e lógica de programação, capacitando-o para aplicar esses
conhecimentos no desenvolvimento de soluções computacionais e em outras disciplinas relacionadas à computação.
2.2 ESPECÍFICOS
• Compreender as operações lógicas: Desenvolver a habilidade de operar com proposições, conectivos lógicos e construir
tabelas-verdade.
• Aplicar a lógica em linguagens de programação: Capacitar os alunos a utilizar a lógica proposicional e a lógica dedutiva
em linguagens de programação e algoritmos.
• Desenvolver raciocínio lógico-dedutivo: Aprofundar o raciocínio lógico para aplicar na resolução de problemas de
computação e estruturação de dados.
• Acompanhar disciplinas correlatas: Preparar o aluno para entender e aplicar os conceitos de lógica matemática em outras
disciplinas da computação que dependem desses fundamentos.
N.º DE AULAS
Período CONTEÚDO PROGRAMÁTICO*
PREVISTAS
1. Introdução à Lógica Proposicional
2. Tabelas-Verdade
3. Tautologias, Contradições e Contingências
4. Equivalência Lógica
5. Álgebra das Proposições
Semestre 66
6. Implicação Lógica e Regras de Inferência
7. Métodos de Prova e Argumentação Lógica
8. Validação de Fórmulas Lógicas
9. Leis de De Morgan
10. Aplicação de Lógica na Computação
*Esses conteúdos poderão ser modificados, considerando a necessidade de cada turma e/ou o andamento do ano letivo.
Página 1 de 4
4. METODOLOGIA DE ENSINO
4.1 Aulas Teóricas:
Exposição de Conceitos Teóricos:
Início da aula: O professor faz uma apresentação dos conceitos fundamentais utilizando slides e o quadro branco. Exemplos
de tópicos abordados:
Proposições e Conectivos Lógicos: Explicação de proposições simples e compostas, além de conectivos como "e", "ou", "não"
(conjunção, disjunção e negação).
Construção de Tabelas-Verdade: Detalhar como construir e interpretar tabelas-verdade para verificar a validade de
proposições e fórmulas.
Tautologias, Contradições e Contingências: Ensinar a classificação de proposições com base em seus valores lógicos.
Implicação e Equivalência Lógica: Explicação sobre a implicação e equivalência lógica no contexto de proposições.
Métodos de Demonstração Lógica:

Introdução aos métodos de prova, como provas diretas, provas por contradição e provas por contraposição.
Aplicação prática desses métodos em exemplos passo a passo.
Debates e Discussões:
Discussões em sala de aula sobre o uso de lógica em contextos reais, como em linguagens de programação e estruturas de
dados.
Exemplos práticos: Discussão de problemas envolvendo o uso de lógica proposicional em áreas como inteligência artificial,
computação e sistemas de controle.
Resolução de Exercícios Guiados:

O professor resolve exercícios de lógica proposicional e construção de tabelas-verdade junto com a turma, destacando a
importância da compreensão dos conceitos.
Introdução de problemas desafiadores que envolvem álgebra proposicional, teorema de De Morgan e deduções lógicas.
4.2 Aulas Práticas:
Estrutura das Aulas Práticas:
Exercícios de Tabelas-Verdade e Validade de Proposições:

Atividade prática: Os alunos constroem tabelas-verdade para proposições complexas em grupo ou individualmente,
verificando se as proposições são tautologias, contradições ou contingências.
O professor circula pela sala oferecendo suporte e esclarecimentos, corrigindo eventuais erros no raciocínio lógico.
Programação com Lógica Booleana:

Uso de linguagens de programação: Em um ambiente de laboratório, os alunos implementam pequenos algoritmos em
linguagens como Python ou C++, que utilizam operadores lógicos (AND, OR, NOT) para tomar decisões.
Atividade prática: Desenvolver um código simples que utilize condições lógicas para resolver problemas, como a verificação
de valores booleanos em sistemas de controle ou jogos.
Exemplo: Criar um programa que simule um sistema de semáforos, onde as condições lógicas determinam o estado de cada
luz (vermelho, amarelo, verde).
Aplicação da Lógica em Estruturas de Controle:

Atividade prática: Aplicação de lógica proposicional em estruturas de controle de programação (if, else, while, etc.). Os alunos
escrevem pequenos programas que dependem de regras lógicas.
Exemplo prático: Resolver problemas que envolvem a avaliação de expressões booleanas, como a criação de condições em
jogos ou sistemas de controle.
Página 2 de 4
Desafios e Competição de Resolução de Problemas:
Desafios lógicos: Criar um ambiente competitivo de resolução de problemas, onde os alunos, em grupos, têm que resolver
problemas lógicos complexos em tempo limitado. Os problemas podem incluir deduções lógicas, implicações, e equivalências.
Feedback imediato: O professor oferece feedback imediato sobre as soluções apresentadas, corrigindo a lógica e o raciocínio
quando necessário.
5. CRONOGRAMA DE ATIVIDADES
Não se aplica para esta disciplina, porém não restringe os alunos a participar em visitas técnicas ou participação em encontros
acadêmicos e congressos.
6. MECANISMOS DE ATENDIMENTO INDIVIDUALIZADO AOS ESTUDANTES

Os estudantes deverão primar pela participação em Fóruns, visando o compartilhamento das dúvidas. Mandar e-mail para o
professor ou mensagem por whatsapp. Contudo, será oferecida a possibilidade de agendamento de videoconferências
individualizadas ou horários para videoconferências tira-dúvidas.
7. FORMA, NÚMERO E CRITÉRIOS DE AVALIAÇÃO*
Composição das Notas:
N1 (Primeira Avaliação) - Valor: 10 pontos
Prova Teórica (5 pontos):

Abrange os conceitos teóricos discutidos na primeira metade do curso, como lógica proposicional, conectivos lógicos, tabelas-
verdade, tautologias e implicações.
Avaliação com questões de múltipla escolha, dissertativas e resolução de exercícios lógicos.
Atividade Prática (3 pontos):

Desenvolvimento de exercícios práticos relacionados à aplicação dos conceitos em linguagens de programação ou lógica
matemática.
Exemplo: construção de tabelas-verdade e verificação da validade de proposições.
Participação e Atividades em Sala (2 pontos):

Participação ativa nas discussões e atividades propostas durante as aulas, incluindo a resolução de exercícios em grupo e
debates.
N2 (Segunda Avaliação) - Valor: 10 pontos
Trabalho Final ou Prova Teórica (5 pontos):

Avaliação teórica dos temas abordados na segunda metade do curso, como equivalência lógica, álgebra booleana, teorema
de De Morgan e implicação lógica.
Questões que envolvem raciocínio lógico-dedutivo e aplicação dos conceitos em exercícios mais complexos.
Projeto Prático (3 pontos):

Aplicação dos conceitos de lógica matemática na resolução de problemas práticos. Exemplo: implementação de um algoritmo
em uma linguagem de programação que utiliza operadores lógicos e estruturas de controle.
Participação e Atividades em Sala (2 pontos):

Participação em atividades práticas, resolução de exercícios e discussão dos conceitos de lógica proposicional e sua aplicação
em programação.
Nota Final (NF):

A Nota Final (NF) será a média aritmética de N1 e N2, ou seja:
Feedback da avaliação: Em até 15 dias após a data de entrega.
Página 3 de 4
*Essas avaliações poderão ser modificadas, considerando a necessidade de cada turma e/ou o andamento do ano letivo, desde que
devidamente esclarecidas para a turma.
8. REFERÊNCIAS:
8.1. BÁSICA:
MENEZES, Paulo Blauth; TOSCANI, Laira Vieira; LÓPEZ, Javier García. Matemática discreta para computação e informática.
4. ed. Porto Alegre, RS: Bookman, 2013. 348 p.
PIANEZZER, Guilherme Augusto. Lógica Matemática. Curitiba: Contentus, 2020. 100p. (biblioteca virtual Pearson).
SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo, SP:
Thomson, c2006. x, 234 p.
8.2. COMPLEMENTAR:
BARBOSA, Marcos Antônio. Introdução à lógica matemática para acadêmicos. Editora Intersaberes. 2017. ISBN:
9788559723250. (Biblioteca Virtual).
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática
discreta. 5. ed. Rio de Janeiro, RJ: LTC, c2003. 597 p. ISBN 9788521614227.
IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de matemática elementar 1: conjuntos e funções. 8. Ed. São Paulo, SP:
Atual, 2004. 374 p. ISBN 9788535704556. 9. ed. São Paulo, SP: Atual, 2013. 410 p. ISBN 9788535716801.
SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed. Rio de Janeiro, RJ: ELSEVIER,
2008. 220 p.
SOUZA, Afonso Lopes. Lógica matemática. Editora Pearson. 2018. ISBN 9788543020310. (biblioteca Virtual).
8.3. Bibliografia Sugerida
Huth, Michael; Ryan, Mark. Lógica em Ciência da Computação: Modelagem e Raciocínio sobre Sistemas. Elsevier, 2008.
Este livro oferece uma introdução robusta à lógica aplicada à ciência da computação, focando em lógica proposicional, lógica
de predicados e raciocínio formal sobre sistemas.
Rosen, Kenneth H. Matemática Discreta e Suas Aplicações. 7ª ed. McGraw-Hill, 2019.
Um dos livros mais recomendados para o estudo de matemática discreta, cobrindo tópicos como conjuntos, funções, grafos,
e teoria dos números com uma abordagem voltada para a computação.
Morrinhos (GO), 12 de outubro de 2024.
Prof. Dr. Ricardo Marques de Carvalho
Página 4 de 4

Plano de Ensino TSI LM 2024

Enviado por

Direitos autorais:

Formatos disponíveis

Plano de Ensino TSI LM 2024

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Plano de Ensino TSI LM 2024

Enviado por

Direitos autorais:

Formatos disponíveis

SERVIÇO PÚBLICO FEDERAL

CURSO ANO LETIVO

Exposição de Conceitos Teóricos:

Métodos de Demonstração Lógica:

Resolução de Exercícios Guiados:

4.2 Aulas Práticas:

Estrutura das Aulas Práticas:

Exercícios de Tabelas-Verdade e Validade de Proposições:

Programação com Lógica Booleana:

Aplicação da Lógica em Estruturas de Controle:

6. MECANISMOS DE ATENDIMENTO INDIVIDUALIZADO AOS ESTUDANTES

7. FORMA, NÚMERO E CRITÉRIOS DE AVALIAÇÃO*

Composição das Notas:

N1 (Primeira Avaliação) - Valor: 10 pontos

Prova Teórica (5 pontos):

Atividade Prática (3 pontos):

Participação e Atividades em Sala (2 pontos):

N2 (Segunda Avaliação) - Valor: 10 pontos

Trabalho Final ou Prova Teórica (5 pontos):

Projeto Prático (3 pontos):

Participação e Atividades em Sala (2 pontos):

Nota Final (NF):

Feedback da avaliação: Em até 15 dias após a data de entrega.

Morrinhos (GO), 12 de outubro de 2024.

Prof. Dr. Ricardo Marques de Carvalho

Você também pode gostar