Estruturas Discretas 2018

Cabulum Demonstrandis, feito para os alunos de Modelos de Computação do ano passado.
Muito incompleto, mas já qualquer coisa: Introdução ao Pensamento Matemático, versão β.1 – 26-Setembro-2018
Recomenda-se um dos seguintes livros:
Ralph P. Grimaldi. Discrete and Combinatorial Mathematics: an Applied Introduction, Capítulo 2.
Daniel J. Velleman. How to Prove It: A Structured Approach. (Foi por este que eu aprendi a fazer demonstrações, quando era aluno de licenciatura.)
Lembra-se que é ilegal utilizar sites piratas para fazer download de livros ciêntíficos, sites como por exemplo o Library Genesis, e também é ilegal utilizar sites pirates para fazer download de artigos ciêntíficos, sites como por exemplo o Sci-Hub.
Uma aplicação muito interessante para experimentar com os princípios símples de demonstração, é a QED: https://teorth.github.io/QED/

Horário de atendimento

O meu horário de atendimento será às quartas feiras, das 16:30 às 17:30, no meu gabinete — 1.51:

Procurarei garantir que estou no meu gabinete entre as 16:30 e as 16:40 à espera de algum aluno que possa vir, mas se ninguém aparecer nesse intervalo de tempo considero dada a permissão de me ir embora.
Caso não lá esteja entre as 16:30 e as 16:40, é por falha minha (sou muito distraído, acontece-me com frequência esquecer-me destas coisas). Nesse caso podem telefonar-me: 924 308 174. Só entre as 16:30 e as 16:40, se faz favor, não sou uma linha de apoio ao cliente.
Se não atender, respondo mais tarde para o número que me ligou (e só se me ligou no horário certo). Então combinamos uma hora para mais tarde ou para o dia seguinte.
Fora deste horário podem enviar um email: bruno.loff@gmail.com.