Mathematical Logic

Home >> Courses Catalogue >> Mathematical Logic
Course Code: 
MTH 3112
Course Credit Units: 
3
Semester: 
Semester 1
Year of Study: 
Year 3
Undergraduate or Graduate Level: 
Undergraduate Level
Course Description & Objectives: 

This is a problem oriented course in mathematical logic and computability for students with some degree of mathematical sophistication. The course is divided into the following five major topics: Basics of Proposition Logic, Basics of first-order logic (Predicate Calculus), Computability using Turing machines and recursive functions, Incompleteness, Computable and Incomputable functions.

Learning Outcomes: 
  • Demonstrate  basic competence in the concepts, principles, procedures  and applications of mathematical logic
  • Demonstrate knowledge of the reasoning behind mathematical proofs and methodology
  • model real life problems using concepts of set theory and mathematical logic
  • state computable and non-computable functions
  • apply their knowledge and understanding to theoretical computer science e.g., in such critical areas as complier designs.
yarak
Mathematical Logic
File Attachments:
AttachmentSize
Microsoft Office document icon MTH 3112.doc31 KB
vergineporno.com samba porno https://www.douxporno.com/5/francais-salope-rachel-adjani-est-d-sireux-de-prendre-torride-double-p-n-tration-bite/ porno gratis x