Mathematical Logic I

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: 8
OrientationAttendance TypeSemesterYearECTS
CoreElective Courses belonging to the selected specializationWinter-5.5

Class Information
Academic Year2016 – 2017
Class PeriodWinter
Faculty Instructors
Weekly Hours3
Total Hours39
Class ID
600038170
Mode of Delivery
  • Face to face
Digital Course Content
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness theorems.
Last Update
19-09-2013