Introdução a Lógica da Computação

Curso: Sistemas de Informação, DOURADOS, Noturno (2018) - 1a Série

Professor: CLEBER VALGAS GOMES MIRA

Disciplina: Introdução a Lógica da Computação

Carga Horária: 68 h Período Letivo: 01/2018 a 12/2018

Ementa:

Sistemas de numeração e representação de dados. Álgebra de Boole e circuitos lógicos. Conceitos básicos de matemática discreta e de lógica para computação.

Objetivos:

Compreender a importância e manipular sistemas de numeração e lógica proposicional além de compreender a aplicação da teoria de conjuntos, matrizes e lógica matemática à computação.

Conteúdo:

    1. Conceitos fundamentais de lógica (inferências, argumentos válidos, paradoxos).
    2. Cálculo Proposicional (semântica e sintaxe).
    3. Álgebra de Boole, circuitos elétricos e circuitos de portas lógicas.
    4. Cálculo de Predicados (semântica e sintaxe).
    5. Sistemas de numeração e representação de dados.
    6. Técnicas de demonstração
    7. Conceitos básicos de teoria de conjuntos.
    8. Recursividade
    9. Conceitos básicos de matemática discreta.

Links Interessantes:

Circuits Cloud - Ferramenta Web de Simulação de Circuitos Digitais

Metodologia:

As aulas serão ministradas em salas com o uso do datashow, giz e quadro branco.

Serão efetuadas 4 provas. As prováveis datas das provas são:

    • P1 24/04
    • P2 03/07
    • P3 25/09
    • P4 20/11

SUBSTITUTIVA 27/11

EXAME 04/12

Bibliografia Básica:

ABE, J. M.; SCALZITTI, A. E.; SILVA FILHO, J. I. Introdução à lógica para a ciência da computação. São Paulo: Arte e Ciência. 2002.

LIPSCHUTZ, S. Teoria dos Conjuntos. São Paulo: McGraw-Hill, 1972.

SHIMIZU, T. Introdução à Ciência da Computação. São Paulo: Atlas. 1988.

BARRETO, J. M. et al. Fundamentos de Matemática Aplicada à Informática. Informática e Estatística. 1998. Disponível em: <http://www.inf.ufsc.br/~mauro/ine5381/leituras/apostila.pdf>. Acesso em: 22 mar. 2009.

Bibliografia Complementar:

ALENCAR FILHO, E. Iniciação à lógica matemática. São Paulo: Nobel, 2002.

GUIMARÃES, A. M.; LAGES, N. A. C. L. Introdução à Ciência da Computação. Rio de Janeiro: LTC, 1991.

DAGHIAN, J. Lógica e Álgebra de Boole. São Paulo: Atlas, 1995.

GERSTING, J. L. Fundamentos matemáticos para a Ciência da Computação: um tratamento moderno de Matemática discreta. 5. ed. Rio de Janeiro: LTC, 2004.

SIPSER, M. Introduction to the Theory of Computation. Boston: PWS Publishing Co, 1996.

STEINBRUCH, A.; WINTERLE, P. Álgebra linear. São Paulo: Pearson Education do Brasil; Makron Books, 2005.

GOMIDE, A; STOLFI, J. Elementos de Matemática Discreta para Computação. Manuscrito. Versão Preliminar de 1 de julho de 2014.

Critérios de Avaliação:

Serão efetuadas 4 provas. Além disso, a entrega de listas de exercícios resolvidas contribuirá com as notas das provas. Cada lista de exercícios resolvida vale até 1,0 ponto que será adicionada à nota final da prova. A nota da prova não pode ultrapassar o valor de 10.

A média final será computada pela fórmula :

MF = (P1 + P2 + P3 + P4) / 4 onde

P1, P2, P3 e P4 são as notas das respectivas provas (já acrescidas de valores de notas de listas de exercícios) com valor entre 0 e 10.

A prova substitutiva substitui a prova com menor nota. A substitutiva tem valor entre 0 e 10,0 e o conteúdo é referente a toda a matéria.

A Nota Final (F) é calculada da seguinte maneira:

Caso o valor de MF do aluno for igual ou superior a 6,0, então a nota final é F = MF.

Caso o valor de MF do aluno for entre 3,0 e 6,0, o aluno terá direito a fazer o Exame Final (E) com valor entre 0 e 10 e a nota final será F = (MF + E)/2.

O aluno com nota de MF inferior a 3,0 é automaticamente reprovado.

O Exame Final cobrará o conteúdo de toda a matéria

Será aprovado o aluno cuja nota final F for igual ou superior a 5,0.