Escolar Documentos
Profissional Documentos
Cultura Documentos
De fato, a matemática é, no fundo, muito simples: é apenas raciocínio, como todo mundo faz,
mas é feita com muita precisão. Este curso tem como objetivo atualizá-lo com o formalismo
lógico, subjacente a todo raciocínio, com alguns conceitos básicos fundamentais, como
conjuntos e números, e com algumas das principais estruturas de prova, como indução
matemática ou raciocínio por contradição.
Para manter a apresentação alegre, uso alguns quebra-cabeças do tipo "Senhora ou Tigre", do
lógico Raymond Smullyan (1919–2017). Eles são divertidos de resolver e são ideais para ilustrar
o mecanismo lógico, apenas para convencê-lo de que esse mecanismo só deve ser usado
quando for absolutamente necessário.