К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
An Introduction to Logic for Computer Science · LearnSpace
Назад в каталог
courseraПрограммирование

An Introduction to Logic for Computer Science

Курс от University of Leeds
Начальный≈ 7.7 чАнглийский
О курсеНавыкиПрограммаПреподаватели

О курсе

Logic plays a fundamental role in computer science. This course is designed to equip you with a solid understanding of the fundamental principles of logic and their relevance in the field of computer science. In this course, you'll explore proposition logic and discover its practical applications in problem-solving, algorithm design, and the development of intelligent systems. By engaging in hands-on exercises, exploring real-world examples, and participating in discussions, you'll develop strong logical reasoning and critical thinking skills. Join this course to build a solid foundation in logic, enhance your problem-solving abilities, and unlock new opportunities in the world of computer science. This course is one of many, offered by Click Start, a UK training programme designed to help young people develop digital skills. Click Start offers a limited number of scholarships giving free access to young people in the UK. Check the FAQs to see more detail and follow the link to check if you are eligible for free access today.

Навыки, которые вы освоите

Computational LogicAlgorithmsDeductive ReasoningGraph TheoryCryptographyComputational ThinkingLogical ReasoningArtificial Intelligence

Программа курса

2 модулей · 45 учебных материалов

01Week 1: Propositional logic24 материалов

Course introduction

Welcome to An Introduction to Logic for Computer ScienceЧтениеThe course and its creatorВидеоWhat are you looking forward to?Обсуждение

Lesson 1: An introduction to propositional logic

Lesson 1: Introduction

Учитесь у экспертов

Sam Wilson

Dr

Click Start

Преподаватель курса

An Introduction to Logic for Computer Science
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 7.7 ч

2 модулей

Язык: Английский

Часть программы вашего университета
Чтение
What is 'propositional logic'?Чтение
Check your understanding: Propositional statementsЗадание
Symbols and notation in propositional logicЧтение
The conjunction operatorЧтение
Check your understanding: Conjunction operatorЗадание
Introducing the truth tableЧтение
Is it making sense?Обсуждение
Lesson 1: Summary and next stepsЧтение

Lesson 2: Using logical operators to create more complex expressions

Lesson 2: IntroductionЧтениеDisjunction operatorЧтениеCheck your understanding: Disjunction operatorЗаданиеExclusive disjunction operatorЧтениеCheck your understanding: Exclusive disjunction operatorЗаданиеNegation operatorЧтениеCheck your understanding: Negation operatorЗаданиеImplication operatorЧтениеCheck your understanding: Implication operatorЗаданиеOptional practice exercisesЧтениеLesson 2: Summary and next stepsЧтениеWeek 1 reflectionОбсуждение
02Week 2: Modelling with logic21 материалов

Lesson 3: Using logic to solve puzzles

Lesson 3: IntroductionЧтениеFilling in truth tablesВидеоTruth tables: A recapЧтениеApplying logic to solve puzzlesЧтениеExercise: Modelling with logic: Give it a goЧтениеModelling with logic: SolutionВидеоDid you work out who stole the cookies?ОбсуждениеCheck your understanding: LogicЗаданиеRecap: Why learn about logic?ЧтениеLesson 3: Summary and next stepsЧтение

Lesson 4: Sharing your detective skills

Lesson 4: IntroductionЧтениеExercise: Share your detective skillsЧтениеSharing your detective skills: How did it go?ОбсуждениеLesson 4: Summary and next stepsЧтение

Artificial Intelligence - How does it relate to logic?

OverviewЧтениеArtificial Intelligence - How does it related to logic?ЧтениеSummaryЧтение

Course summary

Course summaryВидеоReflectionОбсуждениеTest your learning and get your certificateЗаданиеTaking your learning furtherЧтение