Undergraduate Certificate in {courseTitle} Computational Logic
-- ViewingNowThe Undergraduate Certificate in Computational Logic is a comprehensive course that equips learners with fundamental skills in computational logic, an essential area of study for computer science professionals. This certificate program covers topics such as propositional and predicate logic, mathematical reasoning, and formal systems.
6.756+
Students enrolled
GBP £ 140
GBP £ 202
Save 44% with our special offer
AboutThisCourse
HundredPercentOnline
LearnFromAnywhere
ShareableCertificate
AddToLinkedIn
TwoMonthsToComplete
AtTwoThreeHoursAWeek
StartAnytime
NoWaitingPeriod
CourseDetails
โข Introduction to Computational Logic
โข Propositional Logic and Boolean Algebra
โข First-Order Logic and Predicate Calculus
โข Resolution-Based Reasoning and Theorem Proving
โข Computational Complexity and Logic
โข Description Logics and Ontologies
โข Logic Programming and Prolog
โข Tableaux Method and Automated Theorem Proving
โข Modal Logic and Temporal Reasoning
CareerPath
EntryRequirements
- BasicUnderstandingSubject
- ProficiencyEnglish
- ComputerInternetAccess
- BasicComputerSkills
- DedicationCompleteCourse
NoPriorQualifications
CourseStatus
CourseProvidesPractical
- NotAccreditedRecognized
- NotRegulatedAuthorized
- ComplementaryFormalQualifications
ReceiveCertificateCompletion
WhyPeopleChooseUs
LoadingReviews
FrequentlyAskedQuestions
CourseFee
- ThreeFourHoursPerWeek
- EarlyCertificateDelivery
- OpenEnrollmentStartAnytime
- TwoThreeHoursPerWeek
- RegularCertificateDelivery
- OpenEnrollmentStartAnytime
- FullCourseAccess
- DigitalCertificate
- CourseMaterials
GetCourseInformation
EarnCareerCertificate