A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Mathematical Logic and Deduction in Computer Science Education
2008
Informatics in Education. An International Journal
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education. We present a heterogeneous study both theoretical based and empirically based which points out the key role of logic in computer science, computer science education and knowledge representation. We focus on the key contrast of semantics and syntax, the resolution principle
doi:10.15388/infedu.2008.05
fatcat:nuiu6olbcfe57oy5y4fzhfk2vu