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: 0
OrientationAttendance TypeSemesterYearECTS
CoreElective Courses belonging to the selected specialization745.5

Class Information
Academic Year2015 – 2016
Class PeriodWinter
Faculty Instructors
Weekly Hours3
Class ID
600016977
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