Carga horária: 100h

Neste curso você estudará a base sobre Lógica Matemática de modo a ajudá-lo a construir seu raciocínio analítico formal.

Ementa do Curso.

- Proposição matemática.

- Conectivos lógicos: "não"; "e"; "ou".

- Condicionais.

- Quantificadores.

- Prova por contradição.

- Provando condicionais.

- Provando proposições com quantificadores.

- Prova por indução.

Bibliografia

[1] Alencar Filho, Edgar. Iniciação à Lógica Matemática. Editora Nobel. São Paulo, 2002.

[2] Devlin, Keith. Introduction to Mathematical Thinking. Editor: Keith Devlin. Palo Alto - US, 2012.

[3] Iezzi, Gelson; Murakami, Carlos. Fundamentos de Matemática Elementar - Conjuntos, Funções. Vol 1. 9ª Edição. Atual Editora. São Paulo, 2013.