list 10 последовательности
assignment Уровень : Средний
chat_bubble_outline Язык: английский
language Субтитры : китайский, греческий, португальский, немецкий, турецкий, испанский, польский
card_giftcard 400 баллы
Мнение сообщества
5
starstarstarstarstar
смотреть

Важная информация

credit_card Обучение платное
verified_user Сертификация платная
timer 40 час(ы) курса

Резюме

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.

more_horiz Подробнее
more_horiz Свернуть
dns

Программа

  • 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
     
record_voice_over

Пользователи

Michael Genesereth
Associate Professor
Computer Science Department

store

Разработчик

Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
assistant

Платформа

Coursera

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

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

Оценка сообщества
5 /5 Средняя
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Контент
5/5
Платформа
5/5
Анимация
5/5
Лучшая оценка

Great course!

8 марта 2016 г.
Вы разработчик этого МООК ?
Какую оценку вы бы дали этому ресурсу ?
Содержание
0/5
Платформа
0/5
Анимация
0/5