Назад в каталог
Курс от University of London, Goldsmiths, University of London
courseraПрограммирование
Logic and Reasoning for Computing
Курс от University of London, Goldsmiths, University of LondonО курсе
Logic forms the backbone of computer science, providing the language and methods for precise reasoning, rigorous analysis, and formal proof. Logic and Reasoning for Computing equips learners with essential tools to represent statements, analyse arguments, and verify correctness. Across four modules—Propositional Logic, Predicate Logic, Boolean Algebra, and Proof Techniques—you will build a solid foundation in formal reasoning and connect abstract concepts directly to computing practice. You’ll explore truth tables, quantifiers, Boolean operations, and methods of proof, applying them to areas such as programming, digital circuits, and algorithm verification. By the end of this course, you’ll not only be able to reason critically and communicate arguments clearly, but also have the confidence to apply logical structures to both theoretical and practical problems in computer science.
Навыки, которые вы освоите
Computational LogicDeductive ReasoningLogical ReasoningTheoretical Computer ScienceComputational ThinkingBusiness LogicCritical ThinkingVerification And ValidationMathematical ModelingComputer ScienceAlgebraStrategic CommunicationAlgorithmsProblem SolvingMathematical Theory & AnalysisProgramming Principles
Программа курса
4 модулей · 71 учебных материалов
01Propositional Logic23 материалов
Учитесь у экспертов
Omar Karakchi
Lecture