Curso: Sistemas de Informação, DOURADOS, Noturno (2016) - 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: 02/2016 a 12/2016
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:
Metodologia:
As aulas serão ministradas em salas com o uso do datashow, giz e quadro negro.
Serão efetuadas 4 provas. As prováveis datas das provas são:
SUBSTITUTIVA 29/11
EXAME 06/12
Bibliografia:
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.
Aviso!!
Entre os dias 17/10 e 21/10 será realizado e evento Latinoware 2016 (Foz do Iguaçu). Como professor responsável pela caravana de alunos da UEMS, não estarei presente para ministrar as aulas dessa semana. Maiores detalhes sobre como se darão as atividades nessa semana serão discutidos em sala de aula.