1 |
Defines the logical systems of each of the five systems. |
2 |
Specifies the postulates used for each format. |
3 |
Mentally draw the steps of the solution and discuss them before starting to write them down. |
B. Mental (skills)
At the end of the course, the student should be able to:
1 |
Compare the strategies used in proofs. |
2 |
Explains the extent to which the correct use of postulates for each format. |
3 |
Discusses the strategies used in the proofs and proves all the proofs for each format. |
C. Practical & Professional Skills)
At the end of the course, the student should be able to:
1 |
Logical formats are used to prove proofs. |
2 |
He employs his knowledge of the postulates of each system to prove different proofs. |
3 |
Designs proofs for each of the five systems and criticizes the validity of the strategies used in the proofs. |
D. Generic and transferable skills)
At the end of the course, the student should be able to:
1 |
The student's ability to communicate orally and in writing in the course vocabulary. |
2 |
The student's ability to work as a team, respect the opinions of his colleagues and his commitment to the ethics of scientific research. |
3 |
The student's ability to use modern technology in searching for information about the course and self-learning and continuous. |
Teaching and learning methods
- · Lectures.
- · Discussion and dialogue
- · Research & Inquiry
Methods of assessments
The dates on which the assessment is conducted must be determined during the academic year/semester.
Rating No. |
Evaluation methods |
Evaluation Duration |
Evaluation weight |
Percentage |
Evaluation Date (Week) |
First Assessment |
Written test (essay) |
Two hours |
40 scheduled |
40% |
Sixth |
Second Assessment |
Scientific activities (e.g. writing a report or making a presentation) and making a presentation |
15-20m |
10scheduled |
10% |
Throughout the semester |
Final Evaluation |
Final written exam (essay) |
3 hours |
50 scheduled |
50% |
End of Semester |
Total |
100° |
100% |
|
(References)
Bibliography |
Publisher |
Version |
Author |
Where it is located |
Logic for Mathematicians , |
Cambridge University Press1978 |
The first |
A. G. Hamilton |
Faculty Photography Office |
Completeness of Propositional Logic |
sciences. Institute of technology. Florida 2001 |
Second |
Ryan Satisfier |
Faculty Photography Office |
Problem Course in Mathematical Logic, |
University, Peterborough, Ontario, Canada , 1991. |
The first |
Stefan Bilaniuk |
Faculty Photography Office |
Internet Sites |
http//www-history.mcs.st andrews.ac.uk/Mathematicians/Hilbrt.html |
|||
http://www-history.mcs.st andrews.ac.uk/Mathematicians/Hilbert.html |
||||
http://www-history.mcs.st andrews.ac.uk/Mathematicians/Kleene.html |