Curso: Sistemas de Informação, DOURADOS, Noturno (2020) - 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/2020 a 12/2020
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:
Conceitos fundamentais de lógica (inferências, argumentos válidos, paradoxos).
Cálculo Proposicional (semântica e sintaxe).
Álgebra de Boole, circuitos elétricos e circuitos de portas lógicas.
Cálculo de Predicados (semântica e sintaxe).
Sistemas de numeração e representação de dados.
Técnicas de demonstração
Conceitos básicos de teoria de conjuntos.
Recursividade
Conceitos básicos de matemática discreta.
Links Interessantes:
Vida Organizada - Blog sobre produtividade e organização pessoal
Circuits Cloud - Ferramenta Web de Simulação de Circuitos Digitais
CircuitLab - Ferramenta Web de Simulação de Circuitos Digitais
Yourlogicalfallacyis - Coleção de falácias lógicas mais comuns (em inglês)
Guia de Falácias - Tradução do Guia de Falácias Lógicas de Stephen Downes
Fundamentos Matemáticos da Computação - Lista de videoaulas com o material básico de Lógica e Matemática Discreta.
Lógica e Matemática Discreta - Lista de videoaulas que discute os assuntos de técnicas de demonstrações e combinatória.
Circuitos Lógicos - Lista de videoaulas que apresenta circuitos lógicos, sistemas de numeração, simplificação por mapas de Karnaugh e aritmética binária. Apenas os vídeos das aulas de 1 a 7 serão cobertos nessa disciplina.
IMPORTANTE! O material didático da disciplina (slides de aulas, listas de exercícios, etc.) está disponível neste LINK.
Metodologia:
As aulas serão ministradas de maneira remota por meio de ferramentas de comunicação do Gsuite for Education (Classroom e Meet). A aula será expositiva e contará com a discussão com os alunos sobre os temas e conceitos abordados, por meio de exemplos e exercícios.
Serão efetuadas 4 provas. As prováveis datas das provas são:
P1 31/7
P2 4/9
P3 4/12
P4 22/01/2021
SUBSTITUTIVA 27/01/2021
EXAME 3/02/2021
As datas das avaliações podem sofrer alterações conforme o desenvolvimento da disciplina, desde que haja um intervalo mínimo de 7 dias entre o dia da alteração e a data da efetiva realização da avaliação (conforme artigo 84 do Regimento Acadêmico).
Esse web site é o canal oficial de comunicação do docente com os alunos. Quaisquer mudanças referentes a datas de avaliações ou de entregas de trabalhos serão divulgadas nessa página. É responsabilidade do aluno acompanhar as alterações deste web site.
Atendimento e plantão de dúvidas: O professor da disciplina estará disponível para atendimento aos discentes no horário das 18:00 às 19:00, às quartas-feiras e sextas-feiras de maneira, exceto em datas de provas.
Contato: cleber "arroba" comp.uems.br
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.
DAGHLIAN, 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 ou com frequência inferior a 75% das aulas é 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.