An introduction to mathematical logic focused on analysis
This course is designed to introduce the fundamental principles of mathematical logic with a focus on analysis. It aims to equip students with the conceptual tools and logical frameworks necessary for rigorous mathematical reasoning, particularly within the realms of real analysis. The curriculum will cover key topics, including propositional logic, first-order logic, proof strategies, and the theory of quantifiers. Additionally, the course will address the application of logical principles in analysis, exploring continuity, differentiation, and integration from a logical perspective. Through lectures, problem-solving sessions, and assignments, students will develop the ability to construct and critique mathematical arguments, thereby enhancing their analytical skills.
Pau Amaro Seoane (Valencia University, Spain)
线上