TOPICS IN MATHEMATICAL LOGIC
| Title | ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ / TOPICS IN MATHEMATICAL LOGIC |
| Code | Θ011 |
| Faculty | Sciences |
| School | Mathematics |
| Cycle / Level | 2nd / Postgraduate |
| Teaching Period | Winter/Spring |
| Coordinator | Ioannis Souldatos |
| Common | No |
| Status | Active |
| Course ID | 600025891 |
Programme of Study: PMS Tmīmatos Mathīmatikṓn (2025-2030)
Registered students: 0
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| THEŌRĪTIKA MATHĪMATIKA | Elective Courses belonging to the selected specialization | Spring | - | 10 |
| Academic Year | 2025 – 2026 |
| Class Period | Spring |
| Faculty Instructors | |
| Weekly Hours | 3 |
| Total Hours | 39 |
| Class ID | 600268421
|
Course Type 2021
Specialization / Direction
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/600268421
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
- Greek (Instruction, Examination)
- English (Instruction, Examination)
Prerequisites
General Prerequisites
Familiarity with the fundamentals of Mathematical Logic and Set Theory.
General Competences
- Adapt to new situations
- Work autonomously
- Generate new research ideas
- Advance free, creative and causative thinking
Keywords
Mathematical Logic, Model Theory, Set Theory, Recursion Theory, Computability Theory
Educational Material Types
- Notes
- Video lectures
- Book
Use of Information and Communication Technologies
Use of ICT
- Use of ICT in Course Teaching
Course Organization
| Activities | Workload | ECTS | Individual | Teamwork | Erasmus |
|---|---|---|---|---|---|
| Lectures | 39 | ✓ | ✓ | ||
| Reading Assigment | 254 | ✓ | ✓ | ||
| Exams | 5 | ✓ | ✓ | ||
| Student Presentations | 2 | ✓ | ✓ | ||
| Total | 300 |
Student Assessment
Student Assessment methods
- Written Exam with Extended Answer Questions (Formative, Summative)
- Written Assignment (Formative, Summative)
- Oral Exams (Formative, Summative)
- Performance / Staging (Formative, Summative)
- Written Exam with Problem Solving (Formative, Summative)
Last Update
02-12-2024
