Ciência da Computação

    Introdução à Lógica. Sistemas Dicotômicos. Operações Lógicas Sobre Proposições. Construção de Tabelas-Verdade. Tautologia, Contradição e Contingência. Implicação e Equivalências. Argumento Válido e Regras de Inferência. Sentenças Abertas e Quantificadores. Análise Combinatória.

    Capacitar o aluno nos conceitos fundamentais de lógica matemática necessários para a definição formal de conceitos computacionais e para aplicar os conhecimentos adquiridos na resolução de problemas pelos métodos indutivo e dedutivo, encontrados na Ciência da Computação. Na Análise Combinatória dar condições para o aluno estudar as possibilidades de um determinado evento ocorrer, calcular o número dessas possibilidades e fornecer elementos para diferenciar as possíveis categorias onde esses eventos se situam.

    Desenvolver nos alunos o conhecimento sobre a lógica matemática e o raciocínio dedutivo (lógico) através de sistemas e problemas lógico-matemáticos. Definir as implicações na lógica de argumentação e de equivalência, através dos critérios da lógica. Desenvolver nos alunos habilidades e competências da lógica através de atividades que envolvam enigmas, problemas e situações- Na análise Combinatória depois de descrever todas as possibilidades e contar o número delas,fazer o aluno diferenciar Contagem,Arranjos e Permutações.

    Aula expositiva (Quadro e giz e Sala Multimídia) Dinâmica de Grupo Listas de Exercícios

    Duas avaliações individuais Conceitos de participação, assiduidade e de rendimento Resolução de Exercícios