(MATH 642) | GSÜ - ECTS Information Guide

Content

Objective

Course Content

Overview of functional programming, Types, Terms, Equality,
di?erent kinds of types, structures, classes
Setting up well-known mathematical structures in Lean,
proving well-known theorems via Lean

Course Learning Outcomes

1. Understand the need for a formalism in mathematics.
2. To learn functional programming basics
3. To be able to use proof assistants

Teaching and Learning Methods

Face to face or online

References

How To Prove It (with Lean), Daniel J. Velleman
Theorem Proving in Lean 4, Jeremy Avigad, Leonardo de Moura, Soonho Kong, and Sebastian Ullrich,

Weekly Contents

Theory Topics
Week	Weekly Contents
1	Overview and Installation
2	Lean Syntax and Proof Interface
3	Logic Review in Lean
4	Proof Tactics and Style
5	Structures and Type Classes
6	Inductive Types and Recursion
7	Proofs by Induction
8	Sets and Relations
9	Algebraic Hierarchy
10	Number Theory in Lean I
11	Number Theory in Lean II
12	Finite Structures and Combinatorics I
13	Finite Structures and Combinatorics II
14	Analysis in R

Practice Topics
Week	Weekly Contents
1	---
2	---
3	---
4	---
5	---
6	---
7	---
8	---
9	---
10	---
11	---
12	---
13	---
14	---

Assessment System

Contribution to Overall Grade
Activities	Number	Contribution
Contribution of in-term studies to overall grade	4	60
Contribution of final exam to overall grade	1	40
Total	5	100

In-Term Studies
Activities	Number	Contribution
Assignments	0	0
Presentation	3	45
Midterm Examinations (including preparation)	0	0
Project	1	15
Laboratory	0	0
Other Applications	0	0
Quiz	0	0
Term Paper/ Project	0	0
Portfolio Study	0	0
Reports	0	0
Learning Diary	0	0
Thesis/ Project	0	0
Seminar	0	0
Other	0	0
Make-up	0	0
Total	4	60

Relation of Proficiency

No	Program Learning Outcomes	Contribution
No	Program Learning Outcomes	1	2	3	4	5
1					X
2						X
3						X
4						X
5					X
6						X
7				X
8		X
9			X
10		X

ECTS

Activities	Number	Period	Total Workload
Class Hours	14	3	42
Working Hours out of Class	14	5	70
Assignments	0	0	0
Presentation	3	8	24
Midterm Examinations (including preparation)	0	0	0
Project	1	10	10
Laboratory	0	0	0
Other Applications	0	0	0
Final Examinations (including preparation)	1	36	36
Quiz	0	0	0
Term Paper/ Project	0	0	0
Portfolio Study	0	0	0
Reports	0	0	0
Learning Diary	0	0	0
Thesis/ Project	0	0	0
Seminar	0	0	0
Other	0	0	0
Make-up	0	0	0
Yıl Sonu	0	0	0
Hazırlık Yıl Sonu	0	0	0
Hazırlık Bütünleme	0	0	0
Total Workload			182
Total Workload / 25			7.28
Credits ECTS			7

Week	Weekly Contents
1	---
2	---
3	---
4	---
5	---
6	---
7	---
8	---
9	---
10	---
11	---
12	---
13	---
14	---

Week	Weekly Contents
1	---
2	---
3	---
4	---
5	---
6	---
7	---
8	---
9	---
10	---
11	---
12	---
13	---
14	---

Week	Weekly Contents
1	---
2	---
3	---
4	---
5	---
6	---
7	---
8	---
9	---
10	---
11	---
12	---
13	---
14	---