|Duration:||13-May-2019 – 29-Jun-2019|
|Study group:||Telegram, link on SIGAA (soon)|
|Office hours:||send email to book (first try to discuss your question on the study group)|
This course demands a good understanding of—what I consider to be—the important topics of FMC1–FMC2 (but see below if you haven't passed FMC2 yet). To enroll, a student should be comfortable with (most of):
- common mathematical language and notation;
- writing and reading mathematical proofs in natural language (English and Portuguese);
- elementary notions of mathematical logic: syntax and basic semantics of FOL;
- very good understanding of sets, functions, relations; [12,13,15]
- elements of order theory: posets; lub/glb (sup/inf); wosets (well ordered sets); product orders; etc.; 
- limits of sequences of real numbers; 
- continuity of real functions;
- definitions by recursion and proofs by (nested) induction(s), at the very least on the natural numbers; 
- algebraic structures; group theory in particular; [17,18,19]
- infinite sets: cardinal and ordinal numbers; countable and uncountable sets; 
- Russell's paradox; and ZF should at least ring a bell; 
Numbers [in brackets] refer to chapters of fmcbook.
Especially about Chapter 11 (this is mandatory studying!) you can also watch the corresponding lectures of FMC2, 2018.2 on YouTube (the first three lectures on that playlist).
Please do read the links on mathematical writing and style on the Bibliography as well.
Students who have not passed FMC2 yet
During the first two thirds (unidades) of FMC2 I cover most of the common prerequisites mentioned above, so if you are taking FMC2 on this semester, you should still be able to enroll in this topics course as well. (But do heed the warning above.)
WARNING! This will be a fast-paced and quite demanding course on the student's part. In the 2+ months that we have before the lectures start I will give pointers and help enrolled students brush up possibly rusty prerequisites via the study group.
(Heard of libgen.io?)
- Matemática fundacional para computação [fmcbook] :
- Notes on set theory [NST] :
- Classic set theory, for guided independent study (7, 8) :
- Introduction to topology and modern analysis :
- Topology :
- General Topology :
- Topology :
- Counterexamples in Analysis :
- Counterexamples in Topology :
- Topology via Logic :
- How to write mathematics badly (video lecture) :
- How to write mathematics :
- Comments on style :
- Mathematical writing :
Probably your grade will be 50pts from homework and 50pts from a final written exam. Or something like that. It will depend on the topic selected as well.
No extra points yet.
- Estudar o capítulo 1 de [Simmons] e resolver todos os seus problemas.
The course hasn't even begun yet.