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

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

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

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

Introduction to Logic

Курс от Stanford Online
Средний≈ 47.2 чАнглийский
О курсеНавыкиПрограммаПреподаватели

О курсе

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

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

Deductive ReasoningComputational LogicLogical ReasoningMathematics and Mathematical ModelingComputational ThinkingBusiness LogicProblem Solving

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

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

01Unit 1 - Introduction7 материалов

Preface

Overview of the CourseВидеоPrefaceЧтение

Lesson 1 - Introduction

Optional: Stanford CS 157 2021 - Lecture 1ВидеоChapter 1 - IntroductionЧтение

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

Michael Genesereth

Associate Professor

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

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

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

Начать на Coursera

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

Обучение на Coursera

≈ 47.2 ч

5 модулей

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

Субтитры: Китайский (Тайвань), Арабский, Французский, Бенгальский, Узбекский, Украинский, Китайский (Китай), Греческий, Итальянский, Бразильский португальский, Вьетнамский, Нидерландский, Корейский, Немецкий, Пушту, Урду, Русский, Тайский, Индонезийский, Шведский, Турецкий, Азербайджанский, Испанский, Дари, Хинди, Японский, Финский, Казахский, Малайский, Венгерский, Польский

Часть программы вашего университета
ExercisesЧтение
ExtrasЧтение
Puzzle - Locks (easy)Чтение
02Unit 2 - Propositional Logic30 материалов

Lesson 2 - Propositional Logic

Chapter 2 - Propositional LogicЧтениеExercisesЧтениеExtrasЧтениеThe Big GameВидеоPuzzle - CoinsЧтениеEvaluationЗаданиеSatisfactionЗадание

Lesson 3 - Propositional Analysis

Chapter 3 - Propositional AnalysisЧтениеExercisesЧтениеExtrasЧтениеPuzzle - RotorsЧтениеLogical PropertiesЗаданиеLogical RelationshipsЗадание

Lesson 4 - Direct Proofs

Chapter Direct ProofsЧтениеExercisesЧтениеExtrasЧтениеPuzzle - WineЧтениеHilbert ProofЗадание

Lesson 5 - Natural Deduction

Chapter 5 - Natural DeductionЧтениеExercisesЧтениеExtrasЧтениеPuzzle - Counterfeit (easy)ЧтениеFitch ProofЗаданиеFitch ProofЗадание

Lesson 6 - Propositional Resolution

Chapter 6 Propositional ResolutionЧтениеExercisesЧтениеExtrasЧтениеBox Logic (out of focus)ВидеоPuzzle - Pills (difficult)ЧтениеResolution ProofЗадание
03Unit 3 - Relational Logic22 материалов

Lesson 7 - Relational Logic

Chapter 7 - Relational LogicЧтениеExercisesЧтениеExtrasЧтениеPuzzle - CardsЧтениеEvaluationЗадание

Lesson 8 - Relational Analysis

Chapter 8 - Relational AnalysisЧтениеExercisesЧтениеExtrasЧтениеPuzzle - SafecrackingЧтениеLogical PropertiesЗаданиеLogical RelationshipsЗадание

Lesson 9 - Model Checking

Chapter 9 - Model CheckingЧтениеExercisesЧтениеExtrasЧтениеPuzzle - PrisonersЧтениеGoldrushЗадание

Lesson 10 - Fitch Proofs

Chapter 10 - Fitch ProofsЧтениеExercisesЧтениеExtrasЧтениеPuzzle - Chessboard (very difficult)ЧтениеFitch ProofЗаданиеFitch ProofЗадание
04Unit 4 - Functional Logic20 материалов

Lesson 11 - Functional Logic

Chapter 11 - Functional LogicЧтениеExercisesЧтениеPuzzle - LogiciansЧтение

Lesson 12 - Fitch Proofs

Chapters 12 and 14 - Fitch ProofsЧтениеExtrasЧтениеPuzzle - NationsЧтениеLogical Properties and RelationshipsЗадание

Lesson 13 - Induction

Chapter 13 - InductionЧтениеExercisesЧтениеExtrasЧтениеPuzzle - ZoomЧтениеLinear InductionЗаданиеTree InductionЗаданиеStructural InductionЗадание

Lesson 14 - Resolution

ResolutionЧтениеExercisesЧтениеExtrasЧтениеPuzzle - NimЧтениеClausal FormЗаданиеResolutionЗадание
05Unit 5 - Conclusion3 материалов

Lesson 15 - Conclusion

Chapter 16 - ConclusionЧтениеExtrasЧтениеPuzzle - EnlightenmentЧтение