Introduction to Logic

МООК
en
Английский
Subtitles available
40 h
This content is rated 5 out of 5
Source
  • From www.coursera.org
Conditions
  • Self-paced
  • Free Access
  • Fee-based Certificate
More info
  • 10 Sequences
  • Intermediate Level
  • Субтитры доступны на Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

Course details

Syllabus

  • Week 1 - Lesson 1 - Introduction
     
  • Week 2 - Lesson 2 - Propositional Logic
     
  • Week 2 - Lesson 3 - Propositional Analysis
     
  • Week 3 - Lesson 4 - Propositional Proofs
     
  • Week 4 - Lesson 5 - Propositional Resolution
     
  • Week 5 - Lesson 6 - Relational Logic
     
  • Week 5 - Lesson 7 - Relational Analysis
     
  • Week 6 - Lesson 8 - Relational Proofs
    The description goes here
  • Week 7 - Lesson 9 - Herbrand Logic
     
  • Week 8 - Lesson 10 - Herbrand Proofs
     
  • Week 8 - Lesson 11 - Induction
    The description goes here
  • Week 9 - Lesson 12 - Resolution
    The description goes here
  • Week 10 - Supplementary Material
     

Prerequisite

None.

Instructors

Michael Genesereth
Associate Professor
Computer Science Department

Editor

La Leland Stanford Junior University, plus connue sous le nom d'université Stanford, est une université américaine privée, située dans la Silicon Valley au sud de San Francisco.

Sa devise est « Die Luft der Freiheit weht » qui signifie « Le vent de la liberté souffle ».

Arrivant parmi les premières universités au monde dans la plupart des classements internationaux, elle jouit d'un grand prestige.

Platform

Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.

Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.

Complete this resource to write a review