Course Information
TitleΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι / Mathematical Logic I
Code0133
FacultySciences
SchoolMathematics
Cycle / Level1st / Undergraduate
Teaching PeriodWinter
CommonYes
StatusActive
Course ID40000302

Programme of Study: UPS of School of Mathematics (2014-today)

Registered students: 92
OrientationAttendance TypeSemesterYearECTS
CoreElective Courses belonging to the selected specializationWinter-5.5

Class Information
Academic Year2019 – 2020
Class PeriodWinter
Instructors from Other Categories
Weekly Hours3
Class ID
600147640
Course Category
Knowledge Deepening / Consolidation
Mode of Delivery
  • Face to face
Digital Course Content
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Greek (Instruction, Examination)
General Competences
  • Make decisions
  • Work autonomously
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness theorems.
Course Organization
ActivitiesWorkloadECTSIndividualTeamworkErasmus
Lectures391.3
Reading Assigment1234.1
Exams30.1
Total1655.5
Student Assessment
Student Assessment methods
  • Written Exam with Short Answer Questions (Formative, Summative)
  • Written Exam with Extended Answer Questions (Formative, Summative)
  • Written Exam with Problem Solving (Formative, Summative)
Bibliography
Course Bibliography (Eudoxus)
- Στοιχεία Μαθηματικής Λογικής, Α. Τζουβάρας, Ζήτη, 1998. - Μαθηματική Εισαγωγή στην Λογική, H. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013
Last Update
15-03-2020