Mathematics

Logic II(PH106)

Course Code Course Name Semester Theory Practice Lab Credit ECTS
PH106 Logic II 2 3 0 0 3 6
Prerequisites
Admission Requirements
Language of Instruction Turkish
Course Type Compulsory
Course Level Bachelor Degree
Course Instructor(s) T.necati ILGICIOĞLU nilgicioglu@gsu.edu.tr (Email)
Assistant
Objective First order logic
Content First order logic, semantic and syntax
Course Learning Outcomes proficiency in first order logic
Teaching and Learning Methods Course, exercices
References
Print the course contents
Theory Topics
Week Weekly Contents
Practice Topics
Week Weekly Contents
Contribution to Overall Grade
  Number Contribution
Contribution of in-term studies to overall grade 0 0
Contribution of final exam to overall grade 0 100
Toplam 0 100
In-Term Studies
  Number Contribution
Assignments 0 0
Presentation 0 0
Midterm Examinations (including preparation) 0 0
Project 0 0
Laboratory 0 0
Other Applications 0 0
Quiz 0 0
Term Paper/ Project 0 0
Portfolio Study 0 0
Reports 0 0
Learning Diary 0 0
Thesis/ Project 0 0
Seminar 0 0
Other 0 0
Toplam 0 0
No Program Learning Outcomes Contribution
1 2 3 4 5
1 understands principles of deductive reasoning; has experience to verify well-foundedness and exactness of mathematical statements in systematic ways;
2 can properly state and use concepts and results of major mathematical interest;
3 masters current computational techniques and algorithms; has a good ability in their use; can identify relevant tools, among those one has learned, suitable to solve a problem and is able to judge whether or not one is in possession of these tools; X
4 is able to express one’s mathematical ideas in an organised way both in written and oral forms; X
5 understands relations connecting substantial concepts and results; can switch from one viewpoint to another on mathematical objects (pictures, formulae, precise statements, heuristic trials, list of examples,...);
6 has followed individually a guided learning strategy; has pursued steps toward the resolution of unfamiliar problems; X
7 has a theoretical and practical knowledge in computer science well adapted for learning a programming language;
8 has investigated the relevance of modeling and using mathematical tools in natural sciences and in the professional life; is conscious about historical development of mathematical notions;
9 has followed introduction to some mathematical or non-mathematical disciplines after one’s proper choice; had experience to learn selected subjects according to one’s proper arrangement;
Activities Number Period Total Workload
Total Workload 0
Total Workload / 25 0,00
Credits ECTS 0
Scroll to Top