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

Curso: Sistemas de Informação, DOURADOS, Noturno (2024) - 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/2024 a 12/2024. 

Horário: Quinta-feira (20:50) .

 

Ementa:

Cálculo proposicional e de predicados. Sistemas de numeração e representação de dados. Álgebra de Boole e circuitos lógicos. Conceitos básicos de matemática discreta, teoria de conjuntos 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:

 


Links Interessantes:

Organização Pessoal - Artigo sobre o método Get Things Done para a organização pessoal, produtividade e realização de tarefas.

Introduction to Logic - Curso online de introdução à lógica da Universidade de Stanford.

ProofWiki - Várias definições de Lógica de acordo com diversos autores no ProofWiki.

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.


Videoaulas:

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 no final desta página web.


Metodologia:

As aulas serão ministradas de maneira presencial usando quadro e apresentação de slides. A aula será realizada de maneira expositiva, além de contar com a discussão com os alunos sobre os temas e conceitos abordados, por meio de exemplos e exercícios. Será realizado o registro de frequência dos alunos em cada aula por meio de chamada. Serão utilizadas ferramentas e conteúdos complementares de apoio, como videoaulas de universidades renomadas no país.

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

 SUBSTITUTIVA  05/12/2024

 EXAME  12/12/2024

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).

 

Este website é 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 nesta página. É responsabilidade do aluno acompanhar as alterações deste website.

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 terças-feiras e quintas-feiras presencialmente e via webconferência, exceto em datas de provas.

Contato: cleber "arroba" comp.uems.br

Website: https://sites.google.com/site/clebermira/


Bibliografia Básica:


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

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, 2010.

LIPSCHUTZ, S.; Lipson, M. L. Teoria e problemas de matemática discreta. 2.ed. Porto Alegre: Bookman, 2006.


Bibliografia Complementar:

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

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

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

GOMIDE, A; STOLFI, J. Elementos de Matemática Discreta para Computação. Manuscrito, 2018. Disponível em: <http://www.ic.unicamp.br/~stolfi/fmc-book/2018-01-02-js/livro.pdf>. Acesso em: 22 mar. 2021.

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

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

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



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 é optativa e 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 aluno obtiver MF igual ou superior a 6,0 e tiver frequência em aula igual ou superior a 75%, então o aluno será aprovado na disciplina.

Caso o valor de MF do aluno for entre 3,0 e 6,0 (exclusive) e tiver frequência em aula igual ou superior a 75%, 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

Caso tenha realizado o Exame, será aprovado o aluno cuja nota final F for igual ou superior a 5,0.