FIRST ORDER LOGIC

FIRST ORDER LOGIC

AF monodisc.
Course details
Academic year: 
2019/2020
Available in academic year: 
2020/2021
Type of course: 
Supplementary
Lesson type: 
Elective
Scientific-disciplinary sector: 
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Course language: 
English
Credits: 
6
Course year: 
2
Teaching staff: 
Semester: 
First Semester
Hours of lectures: 
36
Hours of self study: 
114
Requirements: 

The student should be familiar with classical propositional logic.