list 8 последовательности
assignment Уровень : Начальный
chat_bubble_outline Язык: английский
card_giftcard 384 баллы
Мнение сообщества
-
starstarstarstarstar

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

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

Резюме

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

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

Программа

Week 1The Syntax of Predicate LogicTranslations using quantifiers

Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

Week 3Tree Proofs for Predicate LogicSoundness and Completeness

Week 4. Identity; Functions; Counting 

Weeks 5–8. Applications to different reasoning domains (take at least three):
  • Electronic Engineering — simplifying digital circuits with timing
  • Philosophy — definite descriptions and existence
  • Computer Science — databases, resolution and Prolog
  • Linguistics — quantificational scope
  • Mathematics — limits, continuity and quantifier alternation
record_voice_over

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

  • - Historical and Philosophical Studies
  • Jen Davoren - Department of Electrical & Electronic Engineering
store

Разработчик

The University of Melbourne
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
assistant

Платформа

Coursera

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

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

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